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

hybrid gameslogics for hybrid systemsformal verification of hybrid systemsrobust simulation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) 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

• scientific article; zbMATH DE number 1361131 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 2085340 (Why is no real title available?)
• scientific article; zbMATH DE number 5263038 (Why is no real title available?)
• Almost ASAP semantics: from timed models to timed implementations
• Approximate simulation relations for hybrid systems
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• 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
• Hybrid Systems: Computation and Control
• 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
• Robust satisfaction of temporal logic over real-valued signals
• Robustness of temporal logic specifications for continuous-time signals
• STORMED Hybrid Games
• 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

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

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)