Uniform reachability algorithms

DOI10.1007/3-540-46430-1_20MaRDI QIDQ4953394zbMATH OpenFDO

Authors Gerardo Lafferriere, Chris Miller

Publication date 2 January 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_20

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)

Review text

A parametrized family of hybrid systems is considered. Using algebraic and topological methods, reachability is discussed. Next, tools from mathematical logic are used in the analysis of the computational questions associated with the reachability concept. The paper contains several definitions and concepts concerning hybrid control systems and certain topological properties of the families of hybrid control systems. Moreover, simple illustrative examples are also given. Finally, several remarks and comments on the algebraic and topological methods used in the paper are presented. Similar problems concerning hybrid control systems have been recently discussed in the paper [\textit{G. Lafferriere, G. Pappas} and \textit{S. Yovine}, Lect. Notes Comput. Sci. 1569, 137-151 (1999; Zbl 0926.93036)]. For the entire collection see [Zbl 0934.00029].

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: Uniform reachability algorithms

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