PG

Pierre-Loïc Garoche

57
Documents
Affiliation actuelle
  • Ecole Nationale de l'Aviation Civile (ENAC)
Contact

Présentation

Homepage: www.garoche.net

Publications

13
12
7
5
4
4
2
2
2
1
1
1
1
1
1
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
12
6
6
4
4
4
4
4
4
4
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
2
5
6
6
4
2
2
3
3
11
2
1
1
1
2
2
1
13
6
3
1
1
1
1
1
1
1
22
18
8
6
2
1
1
1
1

Publications

Deposit thumbnail

Set-based value operators for non-stationary and uncertain Markov decision processes

Sarah H Q Li , Assalé Adjé , Pierre-Loïc Garoche , Behçet Açıkmeşe

Automatica, 2025, 171, pp.111970. ⟨10.1016/j.automatica.2024.111970⟩

Article dans une revue hal-05554032v1

Formally proved specification of non-nested STL formulas as synchronous observers

Céline Bellanger , Pierre-Loic Garoche , Matthieu Martel , Celia Picard

Science of Computer Programming, 2025, 245, pp.103315. ⟨10.1016/j.scico.2025.103315⟩

Article dans une revue hal-05444099v1
Deposit thumbnail

Emergency Trajectory Structure for UAVs

Maëva Ongale-Obeyi , Damien Goubinat , Daniel Delahaye , Pierre-Loïc Garoche

Aerospace, 2024, 12, ⟨10.3390/aerospace12010021⟩

Article dans une revue hal-04865334v1
Deposit thumbnail

Autoencoder Neural Networks for LPV Embedding of Nonlinear Systems

Arash Sadeghzadeh , Pierre-Loïc Garoche

IFAC-PapersOnLine, 2023, 56 (2), pp.9062-9067. ⟨10.1016/j.ifacol.2023.10.137⟩

Article dans une revue hal-04635025v1
Deposit thumbnail

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

Lélio Brun , Christophe Garion , Pierre-Loïc Garoche , Xavier Thirioux

ACM Transactions on Embedded Computing Systems (TECS), 2023, 22 (5), pp.151. ⟨10.1145/3609393⟩

Article dans une revue hal-04201875v1

Computation of invariant sets for discrete‐time uncertain systems

Elias Khalife , Dany Abou Jaoude , Mazen Farhood , Pierre-Loïc Garoche

International Journal of Robust and Nonlinear Control, 2023, 33 (14), pp.8452-8474. ⟨10.1002/rnc.6834⟩

Article dans une revue hal-04412034v1

Exact Computation of Maximal Invariant Sets for Safe Markov Chains—Lattice Theoretic Approach

Dylan Janak , Pierre-Loïc Garoche , Behcet Ackmese

IEEE Transactions on Automatic Control, 2022, 67 (12), pp.6980-6986. ⟨10.1109/TAC.2022.3211959⟩

Article dans une revue hal-04051117v1
Deposit thumbnail

Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint

Paul Rousse , Pierre-Loïc Garoche , Didier Henrion

European Journal of Control, 2021, 58, pp.152-167. ⟨10.1016/j.ejcon.2020.08.002⟩

Article dans une revue hal-02049158v2
Deposit thumbnail

From Lustre to Simulink: reverse compilation for verifying Embedded Systems Applications

Hamza Bourbouh , Pierre-Loïc Garoche , Christophe Garion , Xavier Thirioux

ACM Transactions on Cyber-Physical Systems, 2021, 5 (3), pp.1-20. ⟨10.1145/3461668⟩

Article dans une revue hal-03323076v1
Deposit thumbnail

Bounding Fixed Points of Set-based Bellman Operator and Nash Equilibria of Stochastic Games

Sarah H Q Li , Assalé Adjé , Pierre-Loïc Garoche , Behçet Açikmeşe Article dans une revue hal-03187698v1
Deposit thumbnail

Verification and Validation of Convex Optimization Algorithms for Model Predictive Control

Raphaël Cohen , Eric Féron , Pierre-Loïc Garoche

Journal of Aerospace Information Systems, 2020, 17 (5), pp.257-270. ⟨10.2514/1.I010686⟩

Article dans une revue hal-02617432v1
Deposit thumbnail

Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems

Victor Magron , Pierre-Loïc Garoche , Didier Henrion , Xavier Thirioux

SIAM Journal on Control and Optimization, 2019, 57 (4), pp.2799-2820. ⟨10.1137/17M1121044⟩

Article dans une revue hal-01490897v1
Deposit thumbnail

Formal Verification for Embedded Implementation of Convex Optimization Algorithms

Raphael Cohen , Guillaume Davy , Eric Féron , Pierre-Loïc Garoche

IFAC-PapersOnLine, 2017, 50 (1), pp.5867-5874. ⟨10.1016/j.ifacol.2017.08.1300⟩

Article dans une revue hal-01850596v1
Deposit thumbnail

Credible Autocoding of Convex Optimization Algorithms

Timothy Wang , Romain Jobredeaux , Marc Pantel , Pierre-Loïc Garoche , Eric Féron et al.

Optimization and Engineering, 2016, 17 (4), pp.781-812. ⟨10.1007/s11081-016-9320-7⟩

Article dans une revue hal-00961133v1

Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs

Assalé Adjé , Pierre-Loïc Garoche

Computer Languages, Systems and Structures, 2015, ⟨10.1016/j.cl.2015.12.002⟩

Article dans une revue hal-01369946v1
Deposit thumbnail

Formal Verification of Critical Aerospace Software

Virginie Wiels , Robert Delmas , David Doose , Pierre-Loïc Garoche , J. Cazin et al.

Aerospace Lab, 2012, 4, p. 1-8

Article dans une revue hal-01184099v1
Deposit thumbnail

Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification

Benoit Combemale , Xavier Crégut , Pierre-Loïc Garoche , Xavier Thirioux

Journal of Software, 2009, 4 (9), pp.943-958

Article dans une revue hal-00371553v1
Deposit thumbnail

A Property-Driven Approach to Formal Verification of Process Models

Benoit Combemale , Xavier Crégut , Pierre-Loïc Garoche , Xavier Thirioux , François Vernadat

Enterprise Information Systems, 2008, 12, pp.286-300. ⟨10.1007/978-3-540-88710-2⟩

Article dans une revue hal-00369884v1
Deposit thumbnail

Formal Verification of Quantized Neural Network

Wahiba Bachiri , Yassamine Seladji , Pierre-Loïc Garoche

2024 International Conference of the African Federation of Operational Research Societies (AFROS), Nov 2024, Tlemcen, Algeria. https://ieeexplore.ieee.org/document/11037165, ⟨10.1109/AFROS62115.2024.11037165⟩

Communication dans un congrès hal-05127878v1

SCvxPyGen: Autocoding SCvx Algorithm

Danil Berrah , Alexandre Chapoutot , Pierre-Loïc Garoche

2024 IEEE 63rd Conference on Decision and Control (CDC), Dec 2024, Milan, Italy. pp.5086-5093, ⟨10.1109/CDC56724.2024.10886875⟩

Communication dans un congrès hal-04992546v1
Deposit thumbnail

Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers

Céline Bellanger , Pierre-Loïc Garoche , Matthieu Martel , Célia Picard

FMAS 2023 - 5th International Workshop on Formal Methods for Autonomous Systems, Nov 2023, Leiden, Netherlands. pp.188-204, ⟨10.4204/EPTCS.395.14⟩

Communication dans un congrès hal-04387928v1
Deposit thumbnail

Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems

Elias Khalife , Pierre-Loïc Garoche , Mazen Farhood

Nasa Formal Methods, May 2023, Houston, TX, United States. pp.157-173, ⟨10.1007/978-3-031-33170-1_10⟩

Communication dans un congrès hal-04387907v1
Deposit thumbnail

An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods

Farah Benmouhoub , Pierre-Loïc Garoche , Matthieu Martel

Numerical Software Verification, Jul 2021, Los Angeles, United States. pp.165-181, ⟨10.1007/978-3-030-95561-8_10⟩

Communication dans un congrès hal-03664170v1
Deposit thumbnail

Successive Convexification for Optimal Control with Signal Temporal Logic Specifications

Yuanqi Mao , Behcet Acikmese , Pierre-Loïc Garoche , Alexandre Chapoutot

25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '22), May 2022, Milan, Italy. ⟨10.1145/3501710.3519518⟩

Communication dans un congrès hal-03663984v1

Reachability Set Analysis of Closed-Loop Nonlinear Systems with Neural Network Controllers

Arash Sadeghzadeh , Pierre-Loïc Garoche

2022 American Control Conference (ACC), Jun 2022, Atlanta, United States. pp.2289-2294, ⟨10.23919/ACC53348.2022.9867572⟩

Communication dans un congrès hal-03851617v1
Deposit thumbnail

Reachability Analysis of Linear Parameter-Varying Systems with Neural Network Controllers

Arash Sadeghzadeh , Pierre-Loïc Garoche

2022 IEEE Conference on Control Technology and Applications (CCTA), Aug 2022, Trieste, France. pp.1372-1377, ⟨10.1109/CCTA49430.2022.9966104⟩

Communication dans un congrès hal-04412111v1
Deposit thumbnail

Computing State Invariants Using Point-Wise Integral Quadratic Constraints and the S-procedure

Dany Abou Jaoude , Pierre-Loïc Garoche , Mazen Farhood

American Control Conference 2021, May 2021, New Orleans, United States

Communication dans un congrès hal-03187629v1
Deposit thumbnail

The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained

Anastasia Mavridou , Hamza Bourbouh , Dimitra Giannakopoulou , Thomas Pressburger , Mohammad Hejase et al.

IRE 2020 IEEE 28th International Requirements Engineering Conference, Aug 2020, Zurich, Switzerland. pp.300-310 / ISBN: 978-1-7281-7439-6, ⟨10.1109/RE48521.2020.00040⟩

Communication dans un congrès hal-02967437v1

Probabilistic swarms guidance within the Gama-platform

Zahia Matta , Robin Barbier , Zakaria Ezzahed , Quentin Vaquier , Pierre-Loïc Garoche

1st conference GAMA Days 2021, Frédéric Amblard; Kevin Chapuis; Alexis Drogoul; Benoit Gaudou; Dominique Longin; Nicolas Verstaevel, Jun 2021, Toulouse (Online), France

Communication dans un congrès hal-03521268v1
Deposit thumbnail

Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems

Paul Rousse , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Pierre-Loïc Garoche

9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, Oct 2019, New York, United States. pp.89-107, ⟨10.1007/978-3-030-41131-2_5⟩

Communication dans un congrès hal-03199339v1
Deposit thumbnail

CoCoSim, a code generation framework for control/command applications An overview of CoCoSim for multi-periodic discrete Simulink models

Hamza Bourbouh , Pierre-Loïc Garoche , Thomas Loquen , Éric Noulard , Claire Pagetti

10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France

Communication dans un congrès hal-02441334v1
Deposit thumbnail

Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs

Raphael Cohen , Eric Féron , Pierre-Loïc Garoche

57th IEEE Conference on Decision and Control, Dec 2018, Miami, United States

Communication dans un congrès hal-01983383v1
Deposit thumbnail

Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm

Guillaume Davy , Eric Féron , Pierre-Loïc Garoche , Didier Henrion

22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-22), Nov 2018, Hawassa, Ethiopia. 17p., ⟨10.29007/qt5j⟩

Communication dans un congrès hal-02384908v3
Deposit thumbnail

Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code

Guillaume Davy , Christophe Garion , Pierre-Loïc Garoche , Pierre Roux , Xavier Thirioux

2018 Forum on specification & Design Languages (FDL), Sep 2018, Munich, Germany. pp.5-16, ⟨10.1109/FDL.2018.8524044⟩

Communication dans un congrès hal-02163873v1
Deposit thumbnail

Automated analysis of Stateflow models

Hamza Bourbouh , Pierre-Loïc Garoche , Christophe Garion , Arie Gurfinkel , Temesghen Kahsai et al.

21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), May 2017, Maun, Botswana. pp.144-161

Communication dans un congrès hal-02092930v1
Deposit thumbnail

Hierarchical State Machines as Modular Horn Clauses

Pierre-Loïc Garoche , Temesghen Kahsai , Xavier Thirioux

3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016), Apr 2016, Eindhoven, Netherlands. pp.15-28

Communication dans un congrès hal-02092915v1
Deposit thumbnail

Closed loop analysis of control command software

Pierre Roux , Romain Jobredeaux , Pierre-Loïc Garoche

18th International Conference on Hybrid Systems: Computation and Control - HSCC 2015, Apr 2015, Seattle, United States. ⟨10.1145/2728606.2728623⟩

Communication dans un congrès hal-01521987v1
Deposit thumbnail

Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics

Adjé Assalé , Pierre-Loïc Garoche , Alexis Werey

13th Asian Symposium on Programming Languages and Systems, Nov 2015, Pohang, South Korea. page 127-145

Communication dans un congrès hal-01709077v1

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

Assalé Adjé , Pierre-Loïc Garoche , Victor Magron

Verification Model Checking and Abstract Interpretation 2015 (VMCAI 2015), Jan 2015, Mumbai, India. pp.99-116

Communication dans un congrès hal-01371514v1

Property-based Polynomial Invariant Generation Using Sums-Of-Squares

Assalé Adjé , Pierre-Loïc Garoche , Victor Magron

Static Analysis Symposium 2015 (2015), Sep 2015, Saint-Malo, France. pp.235-251

Communication dans un congrès hal-01371508v1
Deposit thumbnail

Testing-Based Compiler Validation for Synchronous Languages

Pierre-Loïc Garoche , Folk Howar , Temesghen Kahsai , Xavier Thirioux

6th International Symposium on NASA Formal Methods (NFM 2014), Apr 2014, Houston, United States. pp.246-251, ⟨10.1007/978-3-319-06200-6_19⟩

Communication dans un congrès hal-02092914v1
Deposit thumbnail

Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study

Benoit Combemale , Pierre-Loïc Garoche , Xavier Crégut , Xavier Thirioux , François Vernadat

9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. pp.80-89

Communication dans un congrès hal-00160807v1
Deposit thumbnail

A Framework to Formalise the MDE Foundations

Xavier Thirioux , Benoit Combemale , Xavier Crégut , Pierre-Loïc Garoche

International Workshop on Towers of Models (TOWERS 2007), Jun 2007, Zurich, Switzerland. pp.14-30

Communication dans un congrès hal-00159748v2
Deposit thumbnail

Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

Pierre-Loïc Garoche , Marc Pantel , Xavier Thirioux

IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2006, Bologne, Italy. pp.78-92, ⟨10.1007/11768869_8⟩

Communication dans un congrès hal-00116251v1

Parallel Accurate and Reproducible Summation

Farah Benmouhoub , Pierre-Loïc Garoche , Matthieu Martel

Intelligent Computing, 283, Springer International Publishing, pp.363-382, 2022, Lecture Notes in Networks and Systems, ⟨10.1007/978-3-030-80119-9_21⟩

Chapitre d'ouvrage hal-04634824v1
Deposit thumbnail

From Design to Implementation: An Automated Credible Autocoding Chain for Control Systems

Timothy Wang , Romain Jobredeaux , Heber Henrencia , Pierre-Loïc Garoche , Eric Feron et al.

Féron, Eric. Advances in Control System Technology for Aerospace Applications, Springer-Verlag, pp.137--180, 2015, 978-3-662-47693-2. ⟨10.1007/978-3-662-47694-9_5⟩

Chapitre d'ouvrage hal-03155036v1

Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization

Assalé Adjé , Pierre-Loïc Garoche , Victor Magron

Blazy Sandrine; Jensen Thomas. Static Analysis, Springer Berlin Heidelberg, pp.235-251, 2015, 978-3-662-48287-2. ⟨10.1007/978-3-662-48288-9_14⟩

Chapitre d'ouvrage hal-01369974v1

Quadratic Zonotopes

Assalé Adjé , Pierre-Loïc Garoche , Alexis Werey

Feng Xinyu; Park Sungwoo. Programming Languages and Systems, 9458, Springer International Publishing, pp.127-145, 2015, ⟨10.1007/978-3-319-26529-2_8⟩

Chapitre d'ouvrage hal-01369969v1

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

Assalé Adjé , Pierre-Loïc Garoche

Verification, Model Checking, and Abstract Interpretation, 8931, , pp.99-116, 2015, 978-3-662-46081-8. ⟨10.1007/978-3-662-46081-8_6⟩

Chapitre d'ouvrage hal-01369963v1
Deposit thumbnail

Static Analysis of an Actor-based Process Calculus by Abstract Interpretation

Pierre-Loïc Garoche

Software Engineering [cs.SE]. Institut National Polytechnique de Toulouse - INPT, 2008. English. ⟨NNT : 2008INPT006H⟩

Thèse tel-00310923v1
Deposit thumbnail

Convex Optimization-based Static Analysis for Control Systems

Pierre-Loïc Garoche

Computation and Language [cs.CL]. INPT; Université de toulouse, 2016

HDR tel-01371978v1