Adrien Le Coënt
20
Documents
Publications
Guaranteed master for interval-based cosimulationSoftware and Systems Modeling, 2021, ⟨10.1007/s10270-020-00858-7⟩
Article dans une revue
hal-03158710v1
|
|
|
Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler methodNonlinear Analysis: Hybrid Systems, 2020, 36 (100860), ⟨10.1016/j.nahs.2020.100860⟩
Article dans une revue
hal-02987885v1
|
Compositional synthesis of state-dependent switching controlTheoretical Computer Science, 2018, 750, pp.53-68. ⟨10.1016/j.tcs.2018.01.021⟩
Article dans une revue
hal-01860379v1
|
|
|
An improved algorithm for the control synthesis of nonlinear sampled switched systemsFormal Methods in System Design, 2018, 53 (3), pp.363-383. ⟨10.1007/s10703-017-0305-8⟩
Article dans une revue
hal-01399337v2
|
|
Distributed Synthesis of State-Dependent Switching ControlLecture Notes in Computer Science, 2016, Reachability Problems (RP 2016), 9899, pp.119-133. ⟨10.1007/978-3-319-45994-3_9⟩
Article dans une revue
hal-01295738v1
|
|
Bayesian Networks as Approximations of Biochemical NetworksEuropean Workshop on Performance Engineering, Jun 2023, Florence, Italy. pp.216-233, ⟨10.1007/978-3-031-43185-2_15⟩
Communication dans un congrès
hal-04235150v1
|
|
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method.6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018 ADHS'18,, Jul 2018, Oxford, United Kingdom. ⟨10.1016/j.ifacol.2018.08.044⟩
Communication dans un congrès
hal-01959845v1
|
Guaranteed control synthesis of nonlinear switched systems using Euler method3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, Apr 2017, Uppsala, Sweden
Communication dans un congrès
hal-01583164v1
|
|
Guaranteed stability control synthesis of coupled ODE-PDE switched systemsECCOMAS MSF 2017, 3rd International Conference on Multiscale Computational Methods for Solids and Fluids, Sep 2017, Ljubljana, Slovenia
Communication dans un congrès
hal-01693597v1
|
|
|
Contrôle garanti de systèmes quantifiés par décomposition de l'espace des états d'un modèle différentiel réduit12e colloque national en calcul des structures, CSMA, May 2015, Giens, France
Communication dans un congrès
hal-01400456v1
|
Guaranteed control of switched control systems using model order reduction and state-space bisection2nd International Workshop on Synthesis of Complex Parameters (SynCoP 2015), Apr 2015, Londres, United Kingdom
Communication dans un congrès
hal-01588728v1
|
|
An adaptation of the tool MINIMATOR for the control of PDEs using interpolating model order reduction techniques2nd International Workshop on Simulation at the System Level, Oct 2014, Cargèse, France
Communication dans un congrès
hal-01588734v1
|
|
Distributed control synthesis using Euler's methodInternational Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩
Chapitre d'ouvrage
hal-01593225v1
|
|
Guaranteed cosimulation of Cyber-Physical Systems2020
Pré-publication, Document de travail
hal-02505237v1
|
|
Guaranteed control synthesis for continuous systems in Uppaal Tiga2019
Pré-publication, Document de travail
hal-02076824v1
|
|
Controlled Recurrence of a Biped with Torso2019
Pré-publication, Document de travail
hal-02076800v1
|
|
Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants2019
Pré-publication, Document de travail
hal-02066896v1
|
|
Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction2019
Pré-publication, Document de travail
hal-02193769v3
|
|
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method2017
Pré-publication, Document de travail
hal-01670579v1
|
|
Guaranteed control synthesis for switched space-time dynamical systemsGeneral Mathematics [math.GM]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLN039⟩
Thèse
tel-01625363v2
|