scientific article; zbMATH DE number 1303062

zbMATH Open0928.93024MaRDI QIDQ4249564FDOQ4249564

Authors: Mireille E. Broucke 

Publication date: 9 January 2000

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (6)

• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• A set oriented approach to global optimal control
• Finite abstractions for hybrid systems with stable continuous dynamics
• The minimum principle of hybrid optimal control theory
• Symbolic models for control systems
• 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)