scientific article; zbMATH DE number 1444354

zbMATH Open0953.93050MaRDI QIDQ4953395FDOQ4953395

Authors: Michael D. Lemmon 

Publication date: 1 February 2001

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

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

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)

Cited In (7)

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

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)