Specifications for decidable hybrid games
From MaRDI portal
Publication:650914
DOI10.1016/j.tcs.2011.08.036zbMath1229.93104OpenAlexW2154908821MaRDI QIDQ650914
Pavithra Prabhakar, Vladimeros Vladimerou, 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
Applications of game theory (91A80) Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Differential Game Logic, Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
Cites Work
- Weighted o-minimal hybrid systems
- On the real exponential field with restricted analytic functions
- Discrete-time control for rectangular hybrid automata
- O-minimal hybrid systems.
- On the expressiveness and decidability of o-minimal hybrid systems
- Controller synthesis for bisimulation equivalence
- Bisimulation relations for dynamical, control, and hybrid systems
- Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
- Computing Differential Invariants of Hybrid Systems as Fixedpoints
- STORMED Hybrid Systems
- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
- STORMED Hybrid Games
- Conflict resolution for air traffic management: a study in multiagent hybrid systems
- On the synthesis of discrete controllers for timed systems
- Linear Time Logic Control of Discrete-Time Linear Systems
- Minimum-Time Reachability in Timed Games
- Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
- Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
