Specifications for decidable hybrid games

DOI10.1016/J.TCS.2011.08.036MaRDI QIDQ650914zbMATHOpenAlexFDO

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

Publication date 7 December 2011

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.08.036

zbMATH Keywords

verificationcontrolhybrid systemsweighted CTLhybrid games

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• STORMED Hybrid Games
• STORMED Hybrid Systems
• Weighted o-minimal hybrid systems
• scientific article; zbMATH DE number 1361131
• Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets

Cites work

• scientific article; zbMATH DE number 1263213 (Why is no real title available?)
• scientific article; zbMATH DE number 1304998 (Why is no real title available?)
• scientific article; zbMATH DE number 1361131 (Why is no real title available?)
• scientific article; zbMATH DE number 1157649 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 1794360 (Why is no real title available?)
• scientific article; zbMATH DE number 1794367 (Why is no real title available?)
• scientific article; zbMATH DE number 1794383 (Why is no real title available?)
• scientific article; zbMATH DE number 2085321 (Why is no real title available?)
• scientific article; zbMATH DE number 1863183 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• Bisimulation relations for dynamical, control, and hybrid systems
• Computing Differential Invariants of Hybrid Systems as Fixedpoints
• Conflict resolution for air traffic management: a study in multiagent hybrid systems
• Controller synthesis for bisimulation equivalence
• Discrete-time control for rectangular hybrid automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
• Linear Time Logic Control of Discrete-Time Linear Systems
• Minimum-Time Reachability in Timed Games
• O-minimal hybrid systems.
• On the expressiveness and decidability of o-minimal hybrid systems
• On the real exponential field with restricted analytic functions
• On the synthesis of discrete controllers for timed systems
• Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
• STORMED Hybrid Games
• STORMED Hybrid Systems
• Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking
• Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
• Weighted o-minimal hybrid systems

Cited in

(5)

• Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
• STORMED Hybrid Games
• Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
• Differential game logic
• STORMED Hybrid Systems

This page was built for publication: Specifications for decidable hybrid games

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