STORMED Hybrid Systems

DOI10.1007/978-3-540-70583-3_12MaRDI QIDQ3519497zbMATH OpenOpenAlexFDO

Authors Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, 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

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

Recommendations

• STORMED Hybrid Games
• O-minimal hybrid systems.
• Specifications for decidable hybrid games
• scientific article; zbMATH DE number 1303067
• On the expressiveness and decidability of o-minimal hybrid systems

Cites work

• A Decidable Class of Planar Linear Hybrid Systems
• A theory of timed automata
• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• Deciding stability and mortality of piecewise affine dynamical systems
• Formal Modeling and Analysis of Timed Systems
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1263213 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• O-minimal hybrid systems.
• On the real exponential field with restricted analytic functions
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• STORMED Hybrid Systems
• The algorithmic analysis of hybrid systems
• Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!

Cited in

(10)

• Verification and control for probabilistic hybrid automata with finite bisimulations
• O-minimal hybrid systems.
• A decidable class of planar linear hybrid systems
• Verification and control of probabilistic rectangular hybrid automata
• Deciding concurrent planar monotonic linear hybrid systems
• STORMED Hybrid Systems
• Periodically Controlled Hybrid Systems
• STORMED Hybrid Games
• A game-theoretic approach to fault diagnosis and identification of hybrid systems
• Specifications for decidable hybrid games

This page was built for publication: STORMED Hybrid Systems

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