Communication and Concurrency
Hybrid Systems with Finite Bisimulations
Hybrid Systems V
Composing Abstractions of Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Compositional Abstractions of Hybrid Control Systems
Discrete Event Dynamic Systems
Predicate abstraction for reachability analysis of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Approximately bisimilar finite abstractions of stable linear systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Approximate simulation relations and finite abstractions of quantized control systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Stabilization of Finite Automata with Application to Hybrid Systems Control
Discrete Event Dynamic Systems
| Hi-index | 0.00 |
This paper addresses the design of approximately bisimilar finite abstractions of systems that are composed of the interconnection of smaller subsystems. First, it is shown that the ordinary notion of approximate bisimulation does not preserve the interconnection structure of the concrete model. Next, a new definition of approximate bisimulation that is compatible with interconnection is proposed. Based on this definition of approximate bisimulation, the design of interconnection-compatible finite abstractions of linear subsystems is discussed.