UPDF AI

A game theoretic approach to controller design for hybrid systems

C. Tomlin,J. Lygeros,S. Sastry

2000 · DOI: 10.1109/5.871303
Proceedings of the IEEE · 604 Citations

TLDR

This work presents a method to design controllers for safety specifications in hybrid systems, using analysis based on optimal control and game theory for automata and continuous dynamical systems to derive Hamilton-Jacobi equations whose solutions describe the boundaries of reachable sets.