On the existence of solutions to controlled hybrid automata

DOI10.1007/3-540-46430-1_21MaRDI QIDQ4953395zbMATH OpenFDO

Authors Michael D. Lemmon

Publication date 1 February 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46430-1_21

zbMATH Keywords

global periodic non-terminating solutionshybrid automatalinear systems

Mathematics Subject Classification ID

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

Review text

This paper studies the existence of solutions to a class of hybrid automata in which the underlying continuous dynamics are represented by inhomogeneous linear time-invariant systems whose inputs are controls that can be determined by the user. The principal result of the paper is a procedure that searches for global periodic non-terminating solutions of systems having a single cycle. For the entire collection see [Zbl 0934.00029].

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

(8)

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

This page was built for publication: On the existence of solutions to controlled hybrid automata

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