Hybrid Systems: Computation and Control

DOI10.1007/11730637zbMath1178.93072OpenAlexW2478741156MaRDI QIDQ5898976

Laurent Doyen, Martin De Wulf, Jean-François Raskin

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11730637

Mathematics Subject Classification ID

Noncooperative games (91A10) 2-person games (91A05) 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

Compositional and symbolic synthesis of reactive controllers for multi-agent systems ⋮ Compositional Control Synthesis for Partially Observable Systems ⋮ Timed Control with Observation Based and Stuttering Invariant Strategies ⋮ Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation ⋮ Strategy construction for parity games with imperfect information ⋮ Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control ⋮ Partial-Observation Stochastic Games ⋮ Alternating-time stream logic for multi-agent systems ⋮ Computing Weakest Strategies for Safety Games of Imperfect Information ⋮ Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure ⋮ Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure