Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints

DOI10.1007/978-3-319-10512-3_14zbMATH Open1448.68274OpenAlexW1903063254MaRDI QIDQ5500564

Nima Roohi, Mahesh Viswanathan

Publication date: 6 August 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-319-10512-3_14

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Ordinary differential inclusions (34A60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (2)

Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata ⋮ The Discrete Time Behaviour of Restricted Linear Hybrid Automata

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Tightened reachability constraints for the verification of linear hybrid systems 👍 👎
• Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata 👍 👎
• On Reachability for Hybrid Automata over Bounded Time 👍 👎
• Reachability and optimal control for linear hybrid automata: a quantifier elimination approach 👍 👎
• Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction 👍 👎
• The Discrete Time Behaviour of Restricted Linear Hybrid Automata 👍 👎
• Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points 👍 👎
• Hybrid Systems: Computation and Control 👍 👎

This page was built for publication: Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints