Paper Info
Title
A Logical Approach to Specification of Hybrid Systems
Abstract
The main subject of our investigation is behaviour of the continuous components of hybrid systems. By a hybrid system we mean a network of digital and analog devices interacting at discrete times. A first-order logical formalization of hybrid systems is proposed in which the trajectories of the continuous components are presented by majorantcomputable functionals.
Year
DOI
Venue
1999
10.1007/3-540-46562-6_2
Ershov Memorial Conference
Keywords
Field
DocType
hybrid systems,first-order logical formalization,hybrid system,majorantcomputable functionals,logical approach,analog device,continuous component,discrete time,main subject,complex system
Logical approach,Computer science,Theoretical computer science,Hybrid system
Conference
Volume
ISSN
ISBN
1755
0302-9743
3-540-67102-1
Citations 
PageRank 
References 
3
0.44
9
Authors
2
Name
Order
Citations
PageRank
Margarita V. Korovina18415.61
Oleg V. Kudinov210515.85