Accéder directement au contenu
PG

Pierre-Loïc Garoche

12
Documents
Affiliations actuelles
  • 380071
Identifiants chercheurs
Contact

Présentation

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

Publications

54519

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

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

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

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

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

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