共 50 条
- [1] Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods STATIC ANALYSIS, 2010, 6337 : 373 - +
- [2] An algebraic geometric approach to the identification of a class of linear hybrid systems 42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 167 - 172
- [7] Recent progress in an algebraic analysis approach to linear systems Multidimensional Systems and Signal Processing, 2015, 26 : 349 - 388
- [8] Algebraic Analysis on Asymptotic Stability of Switched Hybrid Systems HSCC 12: PROCEEDINGS OF THE 15TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2012, : 187 - 196
- [9] Analysis of Linear Hybrid Systems in CLP LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2009, 5438 : 55 - 70