Adrien Le Coënt

发表

Guaranteed control of switched control systems using model order reduction and state-space bisection

Laurent Fribourg, Ludovic Chamoin, Christian Rey, 2015, SynCoP.

Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method

Jonathan Vacher, Laurent Fribourg, Adrien Le Coënt, 2018, ADHS.

SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes pdf

Kim G. Larsen, Jan Kretínský, Jakob Haahr Taankvist, 2019, QEST.

Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga

Kim G. Larsen, Marius Mikucionis, Jakob Haahr Taankvist, 2018, CyPhy/WESE.

An improved algorithm for the control synthesis of nonlinear sampled switched systems

Julien Alexandre Dit Sandretto, Laurent Fribourg, Alexandre Chapoutot, 2018, Formal Methods Syst. Des..

Control of nonlinear switched systems based on validated simulation

Julien Alexandre Dit Sandretto, Laurent Fribourg, Alexandre Chapoutot, 2016, 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR).

Guaranteed control synthesis of nonlinear switched systems using Euler method

Laurent Fribourg, Ludovic Chamoin, Florian De Vuyst, 2017 .

Guaranteed control synthesis for switched space-time dynamical systems. (Synthèse de contrôle garanti pour des systèmes dynamiques spatio-temporels à commutation)

Adrien Le Coënt, Adrien Le Coënt, 2017 .

An adaptation of the tool MINIMATOR for the control of PDEs using interpolating model order reduction techniques

Laurent Fribourg, Ludovic Chamoin, Christian Rey, 2014 .

Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants

Laurent Fribourg, Adrien Le Coënt, L. Fribourg, 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

Controlled Recurrence of a Biped with Torso pdf

Laurent Fribourg, Adrien Le Coënt, 2018, CyPhy/WESE.

Compositional synthesis of state-dependent switching control

Nicolas Markey, Laurent Fribourg, Ludovic Chamoin, 2018, Theor. Comput. Sci..

Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method

Laurent Fribourg, Ludovic Chamoin, Florian De Vuyst, 2017, SNR@ETAPS.

Cosimulation-Based Control Synthesis

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Adrien Le Coënt, 2020, IEEE International Conference on Software Engineering and Formal Methods.

Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction pdf

Laurent Fribourg, Adrien Le Coënt, L. Fribourg, 2019, CyPhy/WESE.

Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations

Laurent Fribourg, Romain Soulat, Adrien Le Coënt, 2016, RP.

Distributed Synthesis of State-Dependent Switching Control

Nicolas Markey, Laurent Fribourg, Ludovic Chamoin, 2016, RP.

Distributed Control Synthesis Using Euler's Method

Julien Alexandre Dit Sandretto, Laurent Fribourg, Ludovic Chamoin, 2017, RP.

Guaranteed master for interval-based cosimulation

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Adrien Le Coënt, 2021, Software and Systems Modeling.

Control of mechanical systems using set based methods

Laurent Fribourg, Ludovic Chamoin, Christian Rey, 2017 .

Explicit solution format for complex-valued natural frequency of beam with R-shunted piezoelectric laminate transducer

Adrien Le Coënt, J. Høgsberg, 2014 .

Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method

Adrien Le Coënt, L. Fribourg, R. Wisniewski, 2020, Nonlinear Analysis: Hybrid Systems.

Kinetic parameter estimation and modelling of sucrose esters synthesis without solvent

Adrien Le Coënt, M. Tayakout-Fayolle, Y. Queneau, 2003 .

An original image-processing technique for obtaining the mixing time : The box-counting with erosions method

Adrien Le Coënt, J. Lieto, J. Lieto, 2005 .