scientific article; zbMATH DE number 1444354

MaRDI QIDQ4953395zbMATH OpenFDO

Authors Michael D. Lemmon

Publication date 1 February 2001

zbMATH Keywords

hybrid automatalinear systemsglobal periodic non-terminating solutions

Mathematics Subject Classification ID

Linear systems in control theory (93C05) Discrete event control/observation systems (93C65)

Recommendations

• Reachability Problems for Hybrid Automata
• On reachability for hybrid automata over bounded time
• Continuity controlled hybrid automata
• Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
• scientific article; zbMATH DE number 1429791
• Formal Modeling and Analysis of Timed Systems
• Stabilization of finite automata with application to hybrid systems control
• Some problems of analysis of hybrid automata
• scientific article; zbMATH DE number 2085340
• Minimalilty of Finite Automata Representation in Hybrid Systems Control

Cited in

(7)

• Conservative and non‐conservative arbitrary Lagrangian–Eulerian forms for ventricular flows
• Discussion on: ``Switched integrator control schemes for integrating plants
• Reachability Problems for Hybrid Automata
• Continuity controlled hybrid automata
• Formal Modeling and Analysis of Timed Systems
• Periodically Controlled Hybrid Systems
• Minimalilty of Finite Automata Representation in Hybrid Systems Control

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