共 88 条
- [1] Alur R(2000)Discrete abstractions of hybrid systems Proc IEEE 88 971-984
- [2] Henzinger TA(2003)Abstraction and counterexample-guided refinement in model checking of hybrid systems Int J Found Comput Sci 14 583-604
- [3] Lafferriere G(2017)In-block controllability of affine systems on polytopes IEEE Trans Autom Control 62 2950-2957
- [4] Pappas GJ(2004)Optimal control of hybrid automata: design of a semiactive suspension Control Eng Pract 12 1305-1318
- [5] Clarke E(1999)Stability of switched systems: a lie-algebraic condition Syst Control Lett 37 117-122
- [6] Fehnker A(2004)Uniform stability of switched linear systems: extensions of LaSalle’s invariance principle IEEE Trans Autom Control 49 470-482
- [7] Han Z(1998)Multiple Lyapunov functions and other analysis tools for switched and hybrid systems IEEE Trans Autom Control 43 475-482
- [8] Krogh B(2000)Perspectives and results on the stability and stabilizability of hybrid systems Proc IEEE 88 1069-1082
- [9] Ouaknine J(1998)Computation of piecewise quadratic Lyapunov functions for hybrid systems IEEE Trans Autom Control 43 555-559
- [10] Stursberg O(1997)Hybrid control and dynamic programming Dyn Cont Discrete Impuls Syst Ser B Appl Algorithm 3 395-442