共 50 条
- [1] Hybrid Systems and Hybrid Computation 1st Part: Hybrid Systems [J]. Numerical Algorithms, 2003, 33 : 203 - 213
- [2] Models of computation and simulation of hybrid systems [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2000, 1790 : 5 - 5
- [3] Hybrid systems: Theory, computation and applications [J]. 2005 International Conference on Control and Automation (ICCA), Vols 1 and 2, 2005, : 10 - 10
- [4] Viable set computation for hybrid systems [J]. NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2013, 10 : 45 - 62
- [5] Diagnosis of Hybrid Systems: Part 1-Diagnosability [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 3334 - 3339
- [6] Computation of Virtual Regions for Constrained Hybrid Systems [J]. INTELLIGENT COMPUTING AND INFORMATION SCIENCE, PT II, 2011, 135 : 279 - +
- [7] A hybrid-systems view of discrete computation [J]. PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 2107 - 2112
- [8] Level set methods for computation in hybrid systems [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2000, 1790 : 310 - 323
- [9] Incremental Computation of Succinct Abstractions for Hybrid Systems [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2011, 6919 : 271 - 285