共 50 条
- [43] Seismic fragility analysis: Application to simple linear and nonlinear systems EARTHQUAKE ENGINEERING & STRUCTURAL DYNAMICS, 2007, 36 (13): : 1885 - 1900
- [44] Reduced linear fractional representation of nonlinear systems for stability analysis IFAC PAPERSONLINE, 2018, 51 (02): : 37 - 42
- [46] Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems Formal Methods in System Design, 2003, 23 : 5 - 37
- [48] LiQuor: A tool for qualitative and quantitative linear time analysis of reactive systems QEST 2006: THIRD INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, 2006, : 131 - +