Pierre-Loïc Garoche

Available identifiers

zbMath Open garoche.pierre-loicMaRDI QIDQ681341

List of research outcomes

Publication	Date of Publication	Type
Computation of invariant sets for discrete‐time uncertain systems	2024-03-12	Paper
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications	2024-02-21	Paper
Exact Computation of Maximal Invariant Sets for Safe Markov Chains—Lattice Theoretic Approach	2023-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q5015367	2021-12-07	Paper
Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games	2021-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q4997233	2021-06-28	Paper
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation	2021-05-25	Paper
Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint	2021-02-25	Paper
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems	2019-08-30	Paper
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm	2019-07-04	Paper
Automated analysis of Stateflow models	2019-01-10	Paper
Formal Verification of Control Systems Software	2018-11-09	Paper
Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs	2018-01-30	Paper
A sums-of-squares extension of policy iterations	2017-10-04	Paper
Credible autocoding of convex optimization algorithms	2017-06-21	Paper
Closed loop analysis of control command software	2017-05-19	Paper
Formal Analysis of Robustness at Model and Code Level	2017-05-19	Paper
A generic ellipsoid abstract domain for linear time invariant systems	2017-05-16	Paper
Quadratic Zonotopes	2016-01-08	Paper
Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case	2015-10-30	Paper
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs	2015-02-04	Paper
Integrating Policy Iterations in Abstract Interpreters	2014-07-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pierre-Loïc Garoche