# A game theoretic approach to controller design for hybrid systems

@article{Tomlin2000AGT, title={A game theoretic approach to controller design for hybrid systems}, author={Claire J. Tomlin and John Lygeros and S. Shankar Sastry}, journal={Proceedings of the IEEE}, year={2000}, volume={88}, pages={949-970} }

We present a method to design controllers for safety specifications in hybrid systems. The hybrid system combines discrete event dynamics with nonlinear continuous dynamics: the discrete event dynamics model linguistic and qualitative information and naturally accommodate mode switching logic, and the continuous dynamics model the physical processes themselves, such as the continuous response of an aircraft to the forces of aileron and throttle. Input variables model both continuous and…

## Figures from this paper

## 575 Citations

### The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective

- MathematicsHSCC
- 2006

This work revisits the problem of designing controllers to meet safety specifications for hybrid systems, whose evolution is affected by both control and disturbance inputs and develops a characterization of these winning states using methods from non-smooth analysis and viability theory.

### Hybrid control synthesis for eventuality specifications using level set methods

- Mathematics
- 2003

This paper is concerned with the extraction of controllers for hybrid systems with respect to eventuality specifications. Given a hybrid system modelled by a hybrid automaton and a target set of…

### On the Reachability Problem for Uncertain Hybrid Systems

- MathematicsIEEE Transactions on Automatic Control
- 2007

This paper revisits the problem of designing controllers to meet safety specifications for hybrid systems, whose evolution is affected by both control and disturbance inputs and develops a characterization of these winning states using methods from nonsmooth analysis and viability theory.

### Logic-based design and synthesis of controllers for hybrid systems

- Mathematics, Computer Science
- 2007

An abstract algorithm is given which solves this hybrid controller synthesis problem for arbitrary differential equations with unique solutions, and an analytic proof of finite termination is given from an assumption of compactness of the sets given in the data of the specifications.

### Time-optimal control for discrete-time hybrid automata

- Mathematics, Computer Science
- 2005

It is shown that by solving the reachability problem for the discrete time hybrid automata, the time optimal solution to the problem of time-optimal control for hybrid systems with discrete-time dynamics is obtained.

### Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation

- MathematicsProceedings of the 45th IEEE Conference on Decision and Control
- 2006

The result provides a mathematical guarantee that for all states within the computed set, there exists a control law that simultaneously satisfy two separate goals: envelope protection (no violation of state constraints), and stabilization despite saturation.

### Methods for Reachability-based Hybrid Controller Design

- Computer Science, Mathematics
- 2012

This dissertation describes several efforts aimed towards the development of theoretical analysis tools and computational synthesis techniques to facilitate the systematic design of feedback control policies satisfying safety and target attainability specifications with respect to subclasses of hybrid system models.

### Robust reach-avoid controller synthesis for switched nonlinear systems

- Mathematics49th IEEE Conference on Decision and Control (CDC)
- 2010

A method to automatically synthesize controllers that provide hard guarantees of safety and target reachability for sampled-data switched systems under bounded continuous disturbances is described.

### Computational techniques for the verification of hybrid systems

- Computer ScienceProc. IEEE
- 2003

A particular verification technique for hybrid systems, based on two-person zero-sum game theory for automata and continuous dynamical systems is described, and its use in the design and analysis of aircraft collision avoidance protocols and in verification of autopilot logic is demonstrated.

### Switching controller synthesis for delay hybrid systems under perturbations

- Computer Science, MathematicsHSCC
- 2021

A novel method is proposed to synthesize switching controllers based on the computation of differential invariants for continuous evolution and backward reachable sets of discrete jumps with delays to capture the dynamics of systems with the aforementioned two kinds of delays.

## References

SHOWING 1-10 OF 94 REFERENCES

### A unified framework for hybrid control: model and optimal control theory

- Mathematics, Computer ScienceIEEE Trans. Autom. Control.
- 1998

This work introduces a mathematical model of hybrid systems as interacting collections of dynamical systems, evolving on continuous-variable state spaces and subject to continuous controls and discrete transitions, and develops a theory for synthesizing hybrid controllers for hybrid plants in all optimal control framework.

### Theory of hybrid systems and discrete event systems

- Mathematics, Computer Science
- 1996

It is shown that for hybrid automata with rectangular inclusions, the reachability question can be answered in a finite number of steps and that an $\omega$-automata game with the chain acceptance condition can be solved as a mean payoff game.

### Decidable Controller Synthesis for Classes of Linear Systems

- MathematicsHSCC
- 2000

This paper shows that for classes of linear systems, the controller synthesis problem is decidable: There exists a computational algorithm which, after a finite number of steps, will exactly compute the least restrictive controller.

### AN OPTIMAL CONTROL THEORY FOR DISCRETE EVENT SYSTEMS

- Computer Science
- 1998

A theory of optimal control is proposed to meet such design requirements for deterministic systems and it is shown that this framework generalizes some of the existing literature.

### H∞-0ptimal Control and Related Minimax Design Problems: A Dynamic Game Approach

- MathematicsIEEE Trans. Autom. Control.
- 1996

The authors believe that the H-infinity-optimal control theory is now at a stage where it can easily be incorporated into a second-level graduate course in a control curriculum, that would follow a basic course in linear control theory covering LQ and LQG designs.

### On controller synthesis for nonlinear hybrid systems

- Computer Science, MathematicsProceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171)
- 1998

A conceptual algorithm is presented that extends game theoretic methodologies developed for controller synthesis for finite automata and continuous systems to the hybrid setting to satisfy safety specifications.

### Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints

- LawHART
- 1997

An algorithm is presented for the synthesis of minimally restrictive legal controllers for CHMs with rate-limited dynamics, where legal guards are conjunctions or disjunctions of atomic formulas in the dynamic variables.

### Hierarchical, Hybrid Control of Large Scale Systems

- Engineering
- 1996

This dissertation presents a hierarchical, hybrid point of view to the control of large-scale systems. The analysis is based on a new hybrid dynamical system formulation that allows for the modelling…

### Symbolic Controller Synthesis for Discrete and Timed Systems

- Computer ScienceHybrid Systems
- 1994

Algorithms for the symbolic synthesis of discrete and real-time controllers are presented, extended from analysis to synthesis and from purely discrete systems to real- time systems.