scientific article; zbMATH DE number 1303062

MaRDI QIDQ4249564zbMATH OpenFDO

Authors Mireille E. Broucke

Publication date 9 January 2000

zbMATH Keywords

exterior differential systemshybrid systemsbisimulationsfoliationsapproximation verification methodsymbolic execution theory

Mathematics Subject Classification ID

Foliations (differential geometric aspects) (53C12) Exterior differential systems (Cartan theory) (58A15) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• scientific article; zbMATH DE number 1301620
• Verification and Control of Hybrid Systems
• O-minimal hybrid systems.
• Hybrid automata with finite bisimulations

Cited in

(6)

• A set oriented approach to global optimal control
• Finite abstractions for hybrid systems with stable continuous dynamics
• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• Symbolic models for control systems
• The minimum principle of hybrid optimal control theory
• Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249564)