scientific article; zbMATH DE number 1444353

MaRDI QIDQ4953394zbMATH OpenFDO

Authors Gerardo Lafferriere, Chris Miller

Publication date 2 January 2001

zbMATH Keywords

computational methodshybrid systemsreachability

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Reachability Problems for Hybrid Automata
• Reachability of linear hybrid systems described by the general model
• Hybrid discrete-continuous systems. II: controllability and reachability
• Decidable hybrid systems
• A unified approach to controllability analysis for hybrid control systems

Cited in

(1)

• Connectedness in structures on the real numbers: o-minimality and undecidability

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 Q4953394)