共 50 条
- [1] Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions [J]. COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING (CASC 2015), 2015, 9301 : 440 - 456
- [2] Method of vector Lyapunov functions for impulsive fuzzy systems [J]. DYNAMIC SYSTEMS AND APPLICATIONS, 2004, 13 (3-4): : 521 - 531
- [4] Lyapunov-like conditions for the existence of zeno behavior in hybrid and Lagrangian hybrid systems [J]. PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 6109 - 6114
- [5] LYAPUNOV-LIKE FUNCTIONS AND GEODESIC-FLOWS [J]. JOURNAL OF MATHEMATICS OF KYOTO UNIVERSITY, 1986, 26 (04): : 559 - 569