- 3
- 1
PG
Pierre-Loïc Garoche
4
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
Présentation
Homepage: [www.garoche.net](https://www.garoche.net)
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
|
Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic ConstraintEuropean Journal of Control, 2021, 58, pp.152-167. ⟨10.1016/j.ejcon.2020.08.002⟩
Article dans une revue
hal-02049158v2
|
|
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial SystemsSIAM Journal on Control and Optimization, 2019, 57 (4), pp.2799-2820. ⟨10.1137/17M1121044⟩
Article dans une revue
hal-01490897v1
|
|
Credible Autocoding of Convex Optimization AlgorithmsOptimization and Engineering, 2016, 17 (4), pp.781-812. ⟨10.1007/s11081-016-9320-7⟩
Article dans une revue
hal-00961133v1
|
|
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm22nd 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
|