Pierre-Loïc Garoche

Documents

Current affiliations

380071

Researcher identifiers

pierre-loic-garoche
Arxiv : garoche_p_1
IdRef : 127405690
0000-0002-0513-6076
Google Scholar : https://scholar.google.com/citations?user=KvqkWwwAAAAJ

Contact

Presentation

Publications

	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⟩ Journal articles hal-04635025v1
	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⟩ Journal articles 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⟩ Journal articles 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⟩ Journal articles hal-04051117v1
	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 Automatica, 2021, 130, ⟨10.1016/j.automatica.2021.109685⟩ Journal articles hal-03187698v1
	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⟩ Journal articles hal-02049158v2
	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⟩ Journal articles hal-03323076v1
	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⟩ Journal articles hal-02617432v1
	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⟩ Journal articles hal-01490897v1
	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⟩ Journal articles hal-01850596v1
	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⟩ Journal articles 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⟩ Journal articles hal-01369946v1
	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 Journal articles hal-01184099v1
	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 Journal articles hal-00371553v1
	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⟩ Journal articles hal-00369884v1

	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⟩ Conference papers hal-04387928v1
	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⟩ Conference papers hal-04387907v1
	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⟩ Conference papers 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⟩ Conference papers hal-03851617v1
	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⟩ Conference papers hal-04412111v1
	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⟩ Conference papers 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 Conference papers hal-03521268v1
	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 Conference papers hal-03187629v1
	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⟩ Conference papers hal-02967437v1
	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 Conference papers hal-02441334v1
	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⟩ Conference papers hal-03199339v1
	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 Conference papers hal-01983383v1
	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⟩ Conference papers hal-02163873v1
	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⟩ Conference papers hal-02384908v3
	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 Conference papers hal-02092930v1
	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 Conference papers hal-02092915v1
	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 Conference papers hal-01371514v1
	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⟩ Conference papers hal-01521987v1
	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 Conference papers hal-01371508v1
	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 Conference papers hal-01709077v1
	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⟩ Conference papers hal-02092914v1
	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 Conference papers hal-00159748v2
	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 Conference papers hal-00160807v1
	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⟩ Conference papers 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⟩ Book sections hal-04634824v1
	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⟩ Book sections 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⟩ Book sections hal-01369969v1
	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⟩ Book sections 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⟩ Book sections hal-01369974v1

	Towards a Set-based Signal Temporal Logic Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Pierre-Loïc Garoche 2020 Preprints, Working Papers, ... hal-03084701v1
	A Sums-of-Squares Extension of Policy Iterations Assalé Adjé , Pierre-Loïc Garoche , Victor Magron 2017 Preprints, Working Papers, ... hal-01133405v2
	Automatic Synthesis of k-Inductive Piecewise Quadratic Invariants for Switched Affine Control Programs Assalé Adjé , Pierre-Loïc Garoche 2015 Preprints, Working Papers, ... hal-01155251v2
	Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization Assalé Adjé , Pierre-Loïc Garoche , Victor Magron 2015 Preprints, Working Papers, ... hal-01134816v1
	Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs Assalé Adjé , Pierre-Loïc Garoche 2014 Preprints, Working Papers, ... hal-01064408v1
	A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems Pierre Roux , Romain Jobredeaux , Pierre-Loïc Garoche , Eric Féron 2011 Preprints, Working Papers, ... hal-00608673v2

	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⟩ Theses tel-00310923v1

	Convex Optimization-based Static Analysis for Control Systems Pierre-Loïc Garoche Computation and Language [cs.CL]. INPT; Université de toulouse, 2016 Habilitation à diriger des recherches tel-01371978v1

Pierre-Loïc Garoche

Presentation

Publications

Autoencoder Neural Networks for LPV Embedding of Nonlinear Systems

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

Computation of invariant sets for discrete‐time uncertain systems

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

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

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

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

Verification and Validation of Convex Optimization Algorithms for Model Predictive Control

Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems

Formal Verification for Embedded Implementation of Convex Optimization Algorithms

Credible Autocoding of Convex Optimization Algorithms

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

Formal Verification of Critical Aerospace Software

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

A Property-Driven Approach to Formal Verification of Process Models

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

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

Successive Convexification for Optimal Control with Signal Temporal Logic Specifications

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

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

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

Probabilistic swarms guidance within the Gama-platform

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

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

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

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

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

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

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

Automated analysis of Stateflow models

Hierarchical State Machines as Modular Horn Clauses

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

Closed loop analysis of control command software

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

Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics

Testing-Based Compiler Validation for Synchronous Languages

A Framework to Formalise the MDE Foundations

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

Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

Parallel Accurate and Reproducible Summation

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

Quadratic Zonotopes

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

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

Towards a Set-based Signal Temporal Logic

A Sums-of-Squares Extension of Policy Iterations

Automatic Synthesis of k-Inductive Piecewise Quadratic Invariants for Switched Affine Control Programs

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

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems

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

Convex Optimization-based Static Analysis for Control Systems