论文信息 - Hybrid Dynamic Systems: Overview and Discussion on Verification Methods - 字舞流文

Hybrid Dynamic Systems: Overview and Discussion on Verification Methods

[1] Stefan Pettersson,et al. Analysis and Design of Hybrid Systems , 1999 .

[2] Bruce H. Krogh,et al. Verification of infinite-state dynamic systems using approximate quotient transition systems , 2001, IEEE Trans. Autom. Control..

[3] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[4] Olaf Stursberg,et al. Block-diagram based modelling and analysis of hybrid processes under discrete control , 1998 .

[5] Pravin Varaiya,et al. Ellipsoidal Techniques for Reachability Analysis , 2000, HSCC.