Compositional abstractions of hybrid control systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2001, Pages 352-357

  Tabuada, Paulo ^a   Pappas, George J ^b   Lima, Pedro ^a  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; EMBEDDED SYSTEMS; HIERARCHICAL SYSTEMS; HYBRID COMPUTERS; SYSTEMS ANALYSIS;

HYBRID CONTROL SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0035712651     PISSN: 01912216     EISSN: None     Source Type: Journal    
DOI: 10.1109/CDC.2001.980125     Document Type: Article

References (11)

1. Machines in a category: An expository introduction
2. Hierarchical hybrid control systems: A lattice theoretic formulation
3. Subanalytic stratifications and bisimulations
4. Hybrid I/O automata
5. Hierarchically consistent control systems
6. Consistent hierarchies of nonlinear abstractions
7. Discrete approximations and supervisory control of continuous systems
8. Hybrid abstractions that preserve timed languages