The hierarchical lattices of a finite machine
Systems & Control Letters
Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Hybrid Automata with Finite Bisimulatioins
ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
On Dynamically Consistent Hybrid Systems
Hybrid Systems II
Hybrid Control Models of Next Generarion AIr Traffic Management
Hybrid Systems IV
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Theory of Optimal Control Using Bisimulations
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
On the Decidability of the Reachability Problem for Planar Differential Inclusions
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Optimal Control Using Bisimulations: Implementation
HSCC '01 Proceedings of the 4th International Workshop 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
A fully automated framework for control of linear systems from LTL specifications
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Finite abstractions for hybrid systems with stable continuous dynamics
Discrete Event Dynamic Systems
| Hi-index | 0.01 |
An approximate verification method for hybrid systems in which sets of the automaton are over-approximated, while leaving the vector fields intact, is presented. The method is based on a geometrically-inspired approach, using tangential and transversal foliations, to obtain bisimulations. Exterior differential systems provide a natural setting to obtain an analytical representation of the bisimulation, and to obtain the bisimulation under parallel composition. We define the symbolic execution theory and give applications to coordinated aircraft and robots.