Specifications for decidable hybrid games
type: Item
instance of: scholarly article
title: Specifications for decidable hybrid games
zbMATH Open document ID: 1229.93104
author: Vladimeros Vladimerou
author: Pavithra Prabhakar
author: Mahesh Viswanathan
author: Geir E. Dullerud
published in: Theoretical Computer Science
publication date: 2011-12-07T00:00:00Z
Mathematics Subject Classification ID: 93C30
Mathematics Subject Classification ID: 91A80
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5987003
zbMATH Keywords: hybrid systems
zbMATH Keywords: hybrid games
zbMATH Keywords: weighted CTL
zbMATH Keywords: control
zbMATH Keywords: verification
MaRDI profile type: Publication
full work available at URL: j.tcs.2011.08.036
OpenAlex ID: W2154908821
cites work: Q5692280
cites work: Q4552456
cites work: Q4251920
cites work: Q4552463
cites work: Weighted o-minimal hybrid systems
cites work: Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
cites work: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
cites work: Minimum-Time Reachability in Timed Games
cites work: On the expressiveness and decidability of o-minimal hybrid systems
cites work: Q4736580
cites work: Q4791854
cites work: Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
cites work: Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking
cites work: Bisimulation relations for dynamical, control, and hybrid systems
cites work: Q4270068
cites work: Discrete-time control for rectangular hybrid automata
cites work: Q4234084
cites work: O-minimal hybrid systems.
cites work: On the synthesis of discrete controllers for timed systems
cites work: Q4552484
cites work: Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
cites work: Computing Differential Invariants of Hybrid Systems as Fixedpoints
cites work: Controller synthesis for bisimulation equivalence
cites work: Linear Time Logic Control of Discrete-Time Linear Systems
cites work: Q4391214
cites work: Conflict resolution for air traffic management: a study in multiagent hybrid systems
cites work: On the real exponential field with restricted analytic functions
cites work: Q4392286
cites work: STORMED Hybrid Systems
cites work: STORMED Hybrid Games
DOI: 10.1016/J.TCS.2011.08.036
description: scientific article; zbMATH DE number 5987003