An assessment of the current status of algorithmic approaches to the verification of hybrid systems
暂无分享,去创建一个
Olaf Stursberg | Sebastian Engell | Bruce H. Krogh | B. I. Silva | O. Stursberg | S. Engell | B. Krogh
[1] Stavros Tripakis,et al. The Tool KRONOS , 1996, Hybrid Systems.
[2] Pravin Varaiya,et al. Modeling and verification of hybrid systems , 1995, Proceedings of 1995 American Control Conference - ACC'95.
[3] T. Henzinger,et al. Algorithmic Analysis of Nonlinear Hybrid Systems , 1998, CAV.
[4] Alberto Bemporad,et al. Verification of Hybrid Systems via Mathematical Programming , 1999, HSCC.
[5] Thomas A. Henzinger,et al. HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.
[6] Thomas A. Henzinger,et al. MOCHA: Modularity in Model Checking , 1998, CAV.
[7] O. Stursberg,et al. On the Generation of Timed Discrete Approximations for Continuous Systems , 2000 .
[8] Gerardo Lafferriere,et al. A New Class of Decidable Hybrid Systems , 1999, HSCC.
[9] Olaf Stursberg,et al. Block-diagram based modelling and analysis of hybrid processes under discrete control , 1998 .
[10] Amir Pnueli,et al. Orthogonal Polyhedra: Representation and Computation , 1999, HSCC.
[11] Thomas A. Henzinger,et al. Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods , 2000, HSCC.
[12] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[13] B. I. Silva,et al. Modeling and Verifying Hybrid Dynamic Systems Using CheckMate , 2001 .
[14] Oded Maler,et al. Reachability Analysis via Face Lifting , 1998, HSCC.
[15] R. P. Kurshan,et al. Computer Aided Verification , 1998, Lecture Notes in Computer Science.