E.M. Clarke, A Fehnker, Zhi Han, B. Krogh, J. Ouaknine, O. Stursberg, M. Theobald. Abstraction and Counterexample-guided Refinement of Hybrid Systems. To appear in International Journal of Foundations of Computer Science, 2003.

Download the pdf file

E.M. Clarke, A Fehnker, Zhi Han, B. Krogh, O. Stursberg, M. Theobald. Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. Proc. TACAS'2003.

Download the TACAS presentation as pdf file

B. H. Krogh and O. Stursberg, On efficient representation and computation of reachable sets for hybrid systems, in Hybrid Systems: Computation and Control (HSCC'03), Lecture Notes in Computer Science (LNCS), Springer..

Download the pdf file

O. Stursberg, A. Fehnker, Z. Han, and B. H. Krogh, Specification-guided analysis of hybrid systems using a hierarchy of validation methods, IFAC Sympsosium on Analysis and Design of Hybrid Systems (ADHS03).

Download the pdf file

J. Kapinski and B. H. Krogh, A new tool for verifying computer controlled systems, IEEE Conference on Computer-Aided Control System Design, Glasgow, Scotland, Sept. 2002, pp. 98-103.

Download the pdf file

A. Chutinan and B. H. Krogh, Computational techniques for hybrid system verification, IEEE Trans. on Automatic Control, vol. 48, no. 1, 2003, pp. 64-75.

A. Chutinan and B. H. Krogh, Verification of infinite-state dynamic systems using approximate quotient transition systems, IEEE Trans. on Automatic Control, vol. 46, no. 9, pp. 1401-1410, Sept. 2001.

B. I. Silva, O. Stursberg, B. H. Krogh and S. Engell. An assessment of the current status of algorithmic approaches to the verification of hybrid systems. 40th Conference on Decision and Control. Dec 2001.

Download the pdf file.

B. I. Silva and B. H. Krogh. Modeling and verification of hybrid system with clocked and unclocked events. 40th Conference on Decision and Control. Dec 2001.

Download the pdf file.

B. I. Silva and B. H. Krogh. Formal Verification of Hybrid System Using CheckMate: A Case Study. American Control Conference. June 2000.

Download the pdf file.

B. I. Silva, K. Richeson, B. H. Krogh and A. Chutinan. Modeling and verification of hybrid dynamical system using CheckMate. ADPM 2000. Sept 2000.

Download the pdf file.

B. I. Silva and B. H. Krogh. Modeling and verification of sampled-data hybrid systems. ADPM 2000. Sept 2000.

Download the pdf file..

A. Chutinan. Hybrid System Verification Using Discrete Model Approximations. PhD thesis, Department of Electrical and Computer Engineering, Carnegie Mellon University, May 1999.

Download the (zipped) postscript file.

Download the MS PowerPoint file for the thesis defense.

A. Chutinan and B. H. Krogh. Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In Hybrid systems: Computation and Control, Second International Workshop,. LNCS 1569. pp. 76-90. Springer-Verlag, 1999.

Download the postscript file.

A. Chutinan and B. H. Krogh. Computing polyhedral approximations to flow pipes for dynamic systems. In The 37th IEEE Conference on Decision and Control: Session on Synthesis and Verification of Hybrid Control Laws (TM-01), Dec 1998.

Download the postscript file.

A. Chutinan and B. H. Krogh. Computing approximating automata for a class of linear hybrid systems. In Hybrid Systems V, LNCS 1567. pp. 16-37. Springer-Verlag, 1999.

Download the postscript file.

A. Chutinan and B. H. Krogh. Computing approximating automata for a class of hybrid systems. Mathematical and Computer Modeling of Dynamical Systems: Special Issue on Discrete Event Models of Continuous Systems. vol. 6, March 2000, pp. 30-50.

Download the postscript file.