Accéder directement au contenu
PG

Pierre-Loïc Garoche

3
Documents
Affiliations actuelles
  • 380071
Identifiants chercheurs
Contact

Présentation

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

Publications

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

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

Towards a Set-based Signal Temporal Logic

 Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Pierre-Loïc Garoche
2020
Pré-publication, Document de travail hal-03084701v1