A game theoretic approach to controller design for hybrid systems

@article{Tomlin2000AGT,
  title={A game theoretic approach to controller design for hybrid systems},
  author={C. Tomlin and J. Lygeros and S. Shankar Sastry},
  journal={Proceedings of the IEEE},
  year={2000},
  volume={88},
  pages={949-970}
}
  • C. Tomlin, J. Lygeros, S. Shankar Sastry
  • Published 2000
  • Engineering
  • 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… CONTINUE READING
    542 Citations
    The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective
    • 30
    On the Reachability Problem for Uncertain Hybrid Systems
    • 68
    Logic-based design and synthesis of controllers for hybrid systems
    • 2
    Computing Viable Sets and Reachable Sets to Design Feedback Linearizing Control Laws Under Saturation
    • 37
    • PDF
    Time-optimal control for discrete-time hybrid automata
    • 7
    • Highly Influenced
    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
    • 28
    • PDF
    Computational techniques for the verification of hybrid systems
    • 371
    • Highly Influenced
    • PDF
    Methods for Reachability-based Hybrid Controller Design
    • 4
    • Highly Influenced
    • PDF

    References

    SHOWING 1-10 OF 108 REFERENCES
    Theory of hybrid systems and discrete event systems
    • 148
    • PDF
    An Optimal Control Theory for Discrete Event Systems
    • 90
    • PDF
    Controllers for reachability specifications for hybrid systems
    • 667
    • PDF
    Level Set Methods for Computation in Hybrid Systems
    • 265
    H/sup /spl infin//-0ptimal Control and Related Minimax Design Problems: A Dynamic Game Approach
    • 1,192
    On controller synthesis for nonlinear hybrid systems
    • 31
    • PDF