Documentation
Français (FR)

Anglais (EN)

PG

Pierre-Loïc Garoche

11

Documents

Affiliations actuelles

380071

Identifiants chercheurs

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

Contact

Présentation

Publications

54519

	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
	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⟩ Article dans une revue 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⟩ Article dans une revue hal-02049158v2
	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
	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

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