Crossing the Bridge between Similar Games

DOI10.1007/978-3-642-24310-3_12MaRDI QIDQ3172850zbMATH OpenOpenAlexFDO

Authors Jan-David Quesel, Martin Fränzle, Werner Damm

Publication date 7 October 2011

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

Full work available at URL https://doi.org/10.1007/978-3-642-24310-3_12

zbMATH Keywords

formal verification of hybrid systemshybrid gameslogics for hybrid systemsrobust simulation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of game theory (91A80) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Game comparison through play
• An amalgation of games
• A beautiful formula for game convergence
• Learning across games
• scientific article; zbMATH DE number 16387
• Cascaded Games
• The river crossing game

Cites work

• Almost ASAP semantics: from timed models to timed implementations
• Approximate simulation relations for hybrid systems
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Discrete-time refinement of hybrid automata
• Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces
• Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
• Formal Modeling and Analysis of Timed Systems
• scientific article; zbMATH DE number 5263038 (Why is no real title available?)
• Hybrid systems: computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13--15, 2009. Proceedings
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
• O-minimal hybrid reachability games
• On the synthesis of discrete controllers for timed systems
• Quantitative analysis of weighted transition systems
• Rectangular hybrid games
• Robust satisfaction of temporal logic over real-valued signals
• Robustness of temporal logic specifications for continuous-time signals
• Safety verification of hybrid systems by constraint propagation based abstraction refinement
• STORMED Hybrid Games
• The theory of hybrid automata
• Towards Component Based Design of Hybrid Systems: Safety and Stability

Cited in

(1)

• Approximate bisimulation: a bridge between computer science and control theory

Describes a project that uses

Uses Software

• PHAVer
• RSOLVER
• LinAIG
• HyTech
• SpaceEx
• KeYmaera
• MATISSE
• HSolver

This page was built for publication: Crossing the Bridge between Similar Games

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