Adrien Le Coënt
Publications
Publications
Guaranteed master for interval-based cosimulationSoftware and Systems Modeling, 2021, ⟨10.1007/s10270-020-00858-7⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
Compositional synthesis of state-dependent switching controlTheoretical Computer Science, 2018, 750, pp.53-68. ⟨10.1016/j.tcs.2018.01.021⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
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 |
|
Guaranteed control synthesis of nonlinear switched systems using Euler method3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, Apr 2017, Uppsala, Sweden |
|
|
|
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 |
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 |
|
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 |
|
|
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⟩ |
|
|
Guaranteed control synthesis for switched space-time dynamical systemsGeneral Mathematics [math.GM]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLN039⟩ |