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… Expand
The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective
TLDR
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. Expand
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 ofExpand
On the Reachability Problem for Uncertain Hybrid Systems
TLDR
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. Expand
Logic-based design and synthesis of controllers for hybrid systems
In this paper, we formulate and solve a quite general class of hybrid controller synthesis problems. The plant consists of a finite number of continuous systems, given by differential equations overExpand
Time-optimal control for discrete-time hybrid automata
In this paper, the problem of time-optimal control for hybrid systems with discrete-time dynamics is considered. The hybrid controller steers all trajectories starting from a maximal set to a givenExpand
Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation
TLDR
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. Expand
Robust reach-avoid controller synthesis for switched nonlinear systems
  • Jerry Ding, C. Tomlin
  • Mathematics, Computer Science
  • 49th IEEE Conference on Decision and Control (CDC)
  • 2010
TLDR
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. Expand
Methods for Reachability-based Hybrid Controller Design
TLDR
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. Expand
Computational techniques for the verification of hybrid systems
TLDR
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. Expand
Switching controller synthesis for delay hybrid systems under perturbations
TLDR
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. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 106 REFERENCES
A unified framework for hybrid control: model and optimal control theory
TLDR
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. Expand
Theory of hybrid systems and discrete event systems
A continuous system has a continuous state space and an evolution law given by a differential or a difference equation. A discrete event system is modeled by an automaton which changes state inExpand
Decidable Controller Synthesis for Classes of Linear Systems
TLDR
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. Expand
An Optimal Control Theory for Discrete Event Systems
In certain discrete event applications it may be desirable to find a particular controller, within the set of acceptable controllers, which optimizes some quantitative performance measure. In thisExpand
Controllers for reachability specifications for hybrid systems
TLDR
This work presents a technique, based on the principles of optimal control, for determining the class of least restrictive controllers that satisfies the most important objective and shows how the proposed synthesis technique simplifies to well-known results from supervisory control and pursuit evasion games when restricted to purely discrete and purely continuous systems respectively. Expand
H∞-0ptimal Control and Related Minimax Design Problems: A Dynamic Game Approach
TLDR
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. Expand
Level Set Methods for Computation in Hybrid Systems
TLDR
This work presents an implementation of an exact reachability operator for nonlinear hybrid systems, and an equivalent formulation is developed of the key equations governing the continuous state reachability. Expand
On controller synthesis for nonlinear hybrid systems
We present a methodology for synthesizing controllers for hybrid systems to satisfy safety specifications. Motivated by an application to conflict resolution for aircraft, we present a conceptualExpand
Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints
TLDR
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. Expand
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 modellingExpand
...
1
2
3
4
5
...