Computation of invariant sets for discrete‐time uncertain systems von Khalife, Elias, Abou Jaoude, Dany, Farhood, Mazen, Garoche, Pierre‐Loic

Volltext

Exact Computation of Maximal Invariant Sets for Safe Markov Chains-Lattice Theoretic Approach von Janak, Dylan, Garoche, Pierre-Loic, Ackmese, Behcet

Volltext

Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems von Magron, Victor, Garoche, Pierre-Loic, Henrion, Didier, Thirioux, Xavier

Volltext

Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint von Rousse, Paul, Garoche, Pierre-Loïc, Henrion, Didier

Volltext

Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games von Li, Sarah H.Q., Adjé, Assalé, Garoche, Pierre-Loïc, Açıkmeşe, Behçet

Volltext

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation von Brun, Lélio, Garion, Christophe, Garoche, Pierre-Loïc, Thirioux, Xavier

Volltext

Formal Verification of Control System Software von Garoche, Pierre-Loïc

Volltext

Practical policy iterations: A practical use of policy iterations for static analysis: the quadratic case von Roux, Pierre, Garoche, Pierre-Loïc

Volltext

An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods von Benmouhoub, Farah, Garoche, Pierre-Loic, Martel, Matthieu

Volltext

From Lustre to Simulink: Reverse Compilation for Embedded Systems Applications von Bourbouh, Hamza, Garoche, Pierre-Loïc, Garion, Christophe, Thirioux, Xavier

Volltext

Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification von Combemale, Benoît, Crégut, Xavier, Garoche, Pierre-Loïc, Thirioux, Xavier

Volltext

Credible autocoding of convex optimization algorithms von Wang, Timothy, Jobredeaux, Romain, Pantel, Marc, Garoche, Pierre-Loic, Feron, Eric, Henrion, Didier

Volltext

A Sums-of-Squares extension of policy iterations von Adjé, Assalé, Garoche, Pierre-Loïc, Magron, Victor

Volltext

Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems von Khalife, Elias, Garoche, Pierre-Loic, Farhood, Mazen

Volltext

Autoencoder Neural Networks for LPV Embedding of Nonlinear Systems von Sadeghzadeh, Arash, Garoche, Pierre-Loïc

Volltext

Hierarchical State Machines as Modular Horn Clauses von Garoche, Pierre-Loïc, Kahsai, Temesghen, Thirioux, Xavier

Volltext

Set-based value operators for non-stationary and uncertain Markov decision processes von Li, Sarah H.Q., Adjé, Assalé, Garoche, Pierre-Loïc, Açıkmeşe, Behçet

Volltext

Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs von Adjé, Assalé, Garoche, Pierre-Loïc

Volltext

Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems von Rousse, Paul, Alexandre dit Sandretto, Julien, Chapoutot, Alexandre, Garoche, Pierre-Loïc

Volltext

Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers von Bellanger, Céline, Garoche, Pierre-Loïc, Martel, Matthieu, Picard, Célia

Volltext