STORMED Hybrid Systems

DOI10.1007/978-3-540-70583-3_12zbMath1155.68421OpenAlexW1594438783MaRDI QIDQ3519497

Mahesh Viswanathan, Vladimeros Vladimerou, Pavithra Prabhakar, Geir E. Dullerud

Publication date: 19 August 2008

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70583-3_12

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Model theory of ordered structures; o-minimality (03C64)

Related Items (9)

Verification and Control of Probabilistic Rectangular Hybrid Automata ⋮ Deciding Concurrent Planar Monotonic Linear Hybrid Systems ⋮ A game-theoretic approach to fault diagnosis and identification of hybrid systems ⋮ STORMED Hybrid Systems ⋮ Specifications for decidable hybrid games ⋮ Verification and control for probabilistic hybrid automata with finite bisimulations ⋮ A decidable class of planar linear hybrid systems ⋮ Periodically Controlled Hybrid Systems ⋮ STORMED Hybrid Games

Cites Work

• The algorithmic analysis of hybrid systems
• On the real exponential field with restricted analytic functions
• A theory of timed automata
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• O-minimal hybrid systems.
• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• STORMED Hybrid Systems
• A Decidable Class of Planar Linear Hybrid Systems
• Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Formal Modeling and Analysis of Timed Systems
• Deciding stability and mortality of piecewise affine dynamical systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: STORMED Hybrid Systems