Goran Frehse
Professor at the Hybrid Systems Semantics group,
Director of the Computer Science and System Engineering Laboratory (U2IS)
goranf squigglything gmail.com, @GoranFrehse, ORCiD ID
Office R.3.30 (getting here)
ENSTA Paris, U2IS; 828, boulevard des maréchaux; 91762 Palaiseau Cedex, France
Phone: +33 18 187 2076
M. Althoff, G. Frehse, A. Girard, Set Propagation Techniques for Reachability Analysis, Annual Review of Control, Robotics, and Autonomous Systems, 2021, 4:1
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling. Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39(11):1-1. arxiv
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling. JuliaReach: a toolbox for set-based reachability. (Tool Paper) HSCC, 2019, arxiv
Goran Frehse, Mirco Giacobbe and Thomas Henzinger. Spacetime Interpolants. CAV, 2018. pdf
G. Frehse, N. Kekatos, D. Nickovic, J. Oehlerking, S. Schuler, A. Walsch, M. Woehrle. Pattern Templates and Monitors for Verifying Safety Properties of Hybrid Automata. In Proc. American Control Conference (ACC), 2018. pdf
S. Bogomolov, M. Forets, G. Frehse, A. Podelski, C. Schilling, F. Viry. Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. HSCC, 2018. pdf
S. Bogomolov, G. Frehse, M. Giacobbe, T. Henzinger. Counterexample-guided refinement of template polyhedra. TACAS, 2017. pdf
G. Frehse. An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis. In Int. Summer School on Methods and Tools for the Design of Digital Systems, Springer, 2015. pdf
G. Frehse. Reachability of Hybrid Systems in Space-Time. Emsoft, 2015. pdf
Research
SpaceEx is a tool platform for algorithms related to reachability and safety verification.
PHAVer is a tool for formally verifying safety properties of hybrid systems with simple dynamics.
Lectures
Formal Verification of Piecewise Affine Hybrid Systems (DigiCosme Spring School, Paris, May 2016)
Model Checking of Hybrid Systems (AVACS Autumn School, Oldenburg, October 2015)
Reachability Analysis of Hybrid Systems (CPS14 Summer School, Grenoble, July 2014), Video
Verification of Hybrid Systems (MOVEP Summer School, Orleans, June 2008)
Projects
Industrial collaboration project with DENSO Automotive Deutschland: A Modeling, Identification and Verification Framework for Control Design in Large-Scale and Complex Systems (2017-2018)
IPL Modeliscale (2017-2021) is a French research collaboration project financed by INRIA
UnCoVerCPS (2015-2018) is a European research project investigating the integration of verification techniques in the control of cyber-physical systems
Multiform (2008-2012) was a European research project aiming to improve coherent tool support for the integrated control design of large and complex networked systems
Students
Abdelmouaiz Tebjou (2021 - ...)
Gwendal Priser (2021 - ...)
David Brellmann (2020 - ..., with David Filliat)
Ismail Lahkim Bennani (2018 - 2021, with Marc Pouzet and Timothy Bourke)
Nikolaos Kekatos (2015 - 2018)
Antonio Bruta da Costa (2014 - 2020, with Pallab Dasgupta)
Rajarshi Ray (2008 - 2012, now assistant professor and department head at NIT Menghalaya)
Workshops and Conferences
TACAS'18: Conference on Tools and Algorithms for the Construction and Analysis of Systems
HSCC'17: Conference on Hybrid Systems: Computation and Control
ARCH: Workshop on Applied Verification for Continuous and Hybrid Systems; proceedings 2014-2015, 2016, 2017, 2018, 2019, 2020
SynCop: Workshop on Synthesis of Continuous Parameters, 2014 proceedings (EPTCS) , 2015 proceedings (OASICS).