Accéder directement au contenu
PG

Pierre-Loïc Garoche

49
Documents
Affiliations actuelles
  • 380071
Identifiants chercheurs
Contact

Présentation

Homepage: [www.garoche.net](https://www.garoche.net)

Publications

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
Image document

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

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

Dylan Janak , Pierre-Loic 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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Credible Autocoding of Convex Optimization Algorithms

Timothy Wang , Romain Jobredeaux , Marc Pantel , Pierre-Loïc Garoche , Eric Féron
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
Image document

Formal Verification of Critical Aerospace Software

Virginie Wiels , Robert Delmas , David Doose , Pierre-Loïc Garoche , J. Cazin
Aerospace Lab, 2012, 4, p. 1-8
Article dans une revue hal-01184099v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

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

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
Image document

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

Anastasia Mavridou , Hamza Bourbouh , Dimitra Giannakopoulou , Thomas Pressburger , Mohammad Hejase
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
Image document

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
Image document

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
Image document

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, Awassa, Ethiopia. 17p., ⟨10.29007/qt5j⟩
Communication dans un congrès hal-02384908v3
Image document

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, France. pp.5-16, ⟨10.1109/FDL.2018.8524044⟩
Communication dans un congrès hal-02163873v1
Image document

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
Image document

Automated analysis of Stateflow models

Hamza Bourbouh , Pierre-Loïc Garoche , Christophe Garion , Arie Gurfinkel , Temesghen Kahsai
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
Image document

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
Image document

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

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
Image document

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

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
Image document

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, Texas, United States. pp.246-251, ⟨10.1007/978-3-319-06200-6_19⟩
Communication dans un congrès hal-02092914v1
Image document

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
Image document

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
Image document

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

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
Image document

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

Timothy Wang , Romain Jobredeaux , Heber Henrencia , Pierre-Loïc Garoche , Eric Feron
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

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

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
Image document

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
Image document

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