Publication:4249564
From MaRDI portal
zbMath0928.93024MaRDI QIDQ4249564
Publication date: 9 January 2000
hybrid systems; bisimulations; foliations; exterior differential systems; approximation verification method; symbolic execution theory
53C12: Foliations (differential geometric aspects)
58A15: Exterior differential systems (Cartan theory)
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
A set oriented approach to global optimal control, Finite abstractions for hybrid systems with stable continuous dynamics, Symbolic models for control systems, Algorithmic analysis of polygonal hybrid systems. I: Reachability, Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer