Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems

This publication has 21 references indexed in Scilit:

• Verification of Hybrid Systems via Mathematical Programming
  Published by Springer Nature ,1999
• Complexity of stability and controllability of elementary hybrid systems
  Automatica, 1999
• Control of systems integrating logic, dynamics, and constraints
  Automatica, 1999
• Computation of piecewise quadratic Lyapunov functions for hybrid systems
  IEEE Transactions on Automatic Control, 1998
• Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
  IEEE Transactions on Automatic Control, 1998
• Hybrid control for automotive engine management: The cut-off case
  Published by Springer Nature ,1998
• HYTECH: a model checker for hybrid systems
  International Journal on Software Tools for Technology Transfer, 1997
• Reachability analysis of dynamical systems having piecewise-constant derivatives
  Theoretical Computer Science, 1995
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993
• Linear systems with state and control constraints: the theory and application of maximal output admissible sets
  IEEE Transactions on Automatic Control, 1991