One-shot computation of reachable sets for differential games

DOI10.1145/2461328.2461359zbMath1364.49051OpenAlexW2112047499MaRDI QIDQ2986922

Sabine Becker-Weimann, M. J. Bissell, Claire J. Tomlin, Insoon Yang

Publication date: 16 May 2017

Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2461328.2461359

zbMATH Keywords

differential gamesreachability analysisHamilton-Jacobi-Isaacs equationscancer cells systems biology

Mathematics Subject Classification ID

Differential games and control (49N70) Differential games (aspects of game theory) (91A23) Viscosity solutions to Hamilton-Jacobi equations in optimal control and differential games (49L25) Numerical methods of relaxation type (49M20)

Cites Work

• A note on two problems in connexion with graphs
• Enhancing model checking in verification by AI techniques
• Receding horizon control for temporal logic specifications
• Model Repair for Probabilistic Systems
• Markov decision processes and regular events
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Controlling a Class of Nonlinear Systems on Rectangles
• Diagnostic Information for Realizability
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: One-shot computation of reachable sets for differential games