Mathematical control theory: deterministic systems
Mathematical control theory: deterministic systems
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Conceptual mathematics: a first introduction to categories
Conceptual mathematics: a first introduction to categories
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Handbook of logic in computer science (vol. 4)
Towards a unified view of bisimulation: a comparative study
Theoretical Computer Science
Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
Journal of the ACM (JACM)
Branching time controllers for discrete event systems
Theoretical Computer Science
Communication and Concurrency
Bisimulation, the Supervisory Control Problem and StrongModel Matching for Finite State Machines
Discrete Event Dynamic Systems
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Composing Abstractions of Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Automatica (Journal of IFAC)
Theorem of abstraction for equivalent controllers in hybrid systems
Information Sciences—Informatics and Computer Science: An International Journal
Bisimilar Finite Abstractions of Interconnected Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Theorem of abstraction for equivalent controllers in hybrid systems
Information Sciences: an International Journal
Towards component based design of hybrid systems: safety and stability
Time for verification
| Hi-index | 0.00 |
Abstraction is a natural way to hierarchically decompose the analysis and design of hybrid systems. Given a hybrid control system and some desired properties, one extracts an abstracted system while preserving the properties of interest. Abstractions of purely discrete systems is a mature area, whereas abstractions of continuous systems is a recent activity. In this paper we present a framework for abstraction that applies to discrete, continuous, and hybrid systems. We introduce a composition operator that allows to build complex hybrid systems from simpler ones and show compatibility between abstractions and this compositional operator. Besides unifying the existing methodologies we also propose constructions to obtain abstractions of hybrid control systems.