A game theoretic approach to controller design for hybrid systems

  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},
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… 

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

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

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

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

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

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

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

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

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

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

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.



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

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

  • A. Puri
  • 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

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.


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.

Controllers for reachability specifications for hybrid systems

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

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

  • J. LygerosC. TomlinS. Sastry
  • Computer Science, Mathematics
    Proceedings 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

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

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

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.