Thesis:
Goran Frehse. Compositional Verification of Hybrid Systems using Simulation Relations. PhD thesis, Radboud Universiteit Nijmegen, October 10, 2005. pdf on A4, pdf on letter
Books and Book Articles:
Goran Frehse. Tools for the verification of linear hybrid automata models. In J. Lunze, F. Lamnabhi-Lagarrigue, editors, Handbook of Hybrid Systems Control, Theory – Tools – Applications, Cambridge University Press, Cambridge, 2009.
Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic. Outils pour l'analyse des modèles hybrides. In Olivier Roux, Claude Jard, editors, Approches formelles des systèmes embarqués communicants (Traité IC2, série Informatique et systèmes d'information), Hermes Lavoisier, 2008.
Sebastian Engell, Goran Frehse and Eckehard Schnieder (Eds), Modelling, Analysis and Design of Hybrid Systems, volume 279 of Lecture Notes in Control and Information Sciences. Springer-Verlag, 2002.
Ralf Huuck, Ben Lukoschus, Goran Frehse and Sebastian Engell. Compositional verification of continuous-discrete systems. In Sebastian Engell, Goran Frehse and Eckehard Schnieder, editors, Modelling, Analysis and Design of Hybrid Systems, volume 279 of Lecture Notes in Control and Information Sciences, pages 225-244. Springer-Verlag, 2002.
Gero Nenninger,
Goran Frehse and
Volker Krebs. Reachability Analysis and Control of a Special
Class of
Hybrid Systems. In Sebastian Engell, Goran Frehse and Eckehard
Schnieder,
editors, Modelling, Analysis and Design of Hybrid Systems,
volume 279 of
Lecture Notes in Control and Information Sciences, pages
173-192.
Springer-Verlag, 2002.
Journal Article:
Goran Frehse. PHAVer:
Algorithmic Verification of Hybrid Systems past HyTech. International Journal on Software
Tools for Technology Transfer (STTT) Volume 10, Number 3, June,
2008. pdf BibTeX A preliminary version appread in Manfred Morari
and Lothar Thiele, editors, Hybrid Systems: Computation and Control
(HSCC'05), volume 3414 of Lecture Notes in Computer Science,
pages
258-273, Springer-Verlag, 2005. (revised) pdf, BibTeX
(DBLP) © 2005, 2008 Springer
Conference Proceedings:
Goran Frehse, Sumit Kumar Jha, and Bruce H. Krogh. A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. In HSCC 2008. pdf
Goran Frehse. On Timed Simulation Relations for Hybrid Systems and Compositionality. In FORMATS 2006. pdf
E. Asarin, T. Dang, G. Frehse, A. Girard, C. Le Guernic, O. Maler. Recent Progress in Continuous and Hybrid Reachability Analysis. In CACSD 2006.
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar. Verifying Analog Oscillator Circuits Using Forward/Backward Abstraction Refinement. In DATE 2006: Design, Automation and Test in Europe, Munich, Germany, March 6-10, 2006. pdf
Goran Frehse, Zhi Han, Bruce Krogh. Assume-Guarantee Reasoning for Hybrid I/O-Automata by Over-Approximation of Continuous Interaction. In CDC 2004: IEEE Conference on Decision and Control, Atlantis, Bahamas, December 14-17, 2004. pdf
Goran Frehse. Compositional Verification of Hybrid Systems with Discrete Interaction using Simulation Relations. In CACSD 2004: IEEE Conference on Computer Aided Control Systems Design, Taipei, Taiwan, September 1-4, 2004. pdf
Goran Frehse, Olaf Stursberg, Sebastian Engell, Ralf Huuck, and Ben Lukoschus. Modular analysis of discrete controllers for distributed hybrid systems. In b’02: The XV. IFAC World Congress, Barcelona, Spain, July 21-26, 2002, 2002.
Goran F. Frehse, Olaf Stursberg, Sebastian Engell, Ralf Huuck and Ben Lukoschus. Verification of hybrid controlled processing systems based on decomposition and deduction. In ISIC 2001: 2001 IEEE International Symposium on Intelligent Control, Mexico City, Mexico, September 5-7, 2001, pages 150-155. IEEE Control Systems Society, IEEE Press, 2001.
G. Nenninger, G. Frehse and V. Krebs. Hybrid Regions of Attraction of Piecewise Affine Hybrid Systems. In Proc. Automation des Processus Mixtes (ADPM 2000), Dortmund, 2000.
G. Frehse and A. Paice. Optimal Control of a Gas
Compressor Field. In Proc. 14th Int. Symposium Mathematical Theory
of
Networks and Systems (MTNS 2000), Perpignan, 2000.
Workshops and nonpublic Conferences:
Hitashyam Maka, Goran Frehse, Bruce H. Krogh. Polyhedral Domains and Widening for Verification of Numerical Programs. In NSV-II: Second International Workshop on Numerical Software Verification, 2009.
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar. Verification of Hybrid Systems Using Iterative Refinement. In Semiconductor Research Corporation TECHCON 2005, Portland, USA, October 24-26, 2005.
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler. Time Domain Verification of Oscillator Circuit Properties. In Workshop on Formal Verification of Analog Circuits, Edinburgh, Scotland, April 2-10, 2005.
Goran Frehse. Solving simulation relations of timed automata for the design and verification of timed discrete controllers. In RT-TOOLS 2002: Second Workshop on Real-Time Tools, Copenhagen, Denmark, August 1, 2002, 2002.
Goran Frehse. Integrated algorithmic and deductive verification of distributed control systems for hybrid processes. In MOVEP’02: Summer School on Modelling and Verification of Parallel Processes, Nantes, France, June 19-23, 2002, 2002.