default search action
Adrien Le Coënt
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j4]Adrien Le Coënt, Benoît Barbot, Nihal Pekergin:
Efficient probabilistic inference in biochemical networks. Comput. Biol. Medicine 183: 109280 (2024) - 2023
- [c13]Adrien Le Coënt, Benoît Barbot, Nihal Pekergin, Cüneyt Güzelis:
Bayesian Networks as Approximations of Biochemical Networks. EPEW 2023: 216-233 - 2021
- [j3]Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot:
Guaranteed master for interval-based cosimulation. Softw. Syst. Model. 20(3): 711-724 (2021) - 2020
- [c12]Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot:
Cosimulation-Based Control Synthesis. SEFM 2020: 318-333
2010 – 2019
- 2019
- [c11]Adrien Le Coënt, Laurent Fribourg:
Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants. CDC 2019: 599-604 - [c10]Adrien Le Coënt, Laurent Fribourg:
Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction. CyPhy/WESE 2019: 181-202 - [c9]Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger:
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. QEST 2019: 147-164 - [i6]Adrien Le Coënt, Laurent Fribourg:
Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants. CoRR abs/1903.05882 (2019) - [i5]Adrien Le Coënt, Laurent Fribourg:
Controlled Recurrence of a Biped with Torso. CoRR abs/1903.10746 (2019) - [i4]Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger:
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. CoRR abs/1906.10640 (2019) - [i3]Adrien Le Coënt, Laurent Fribourg:
Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction. CoRR abs/1907.12155 (2019) - 2018
- [j2]Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg:
An improved algorithm for the control synthesis of nonlinear sampled switched systems. Formal Methods Syst. Des. 53(3): 363-383 (2018) - [j1]Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin:
Compositional synthesis of state-dependent switching control. Theor. Comput. Sci. 750: 53-68 (2018) - [c8]Adrien Le Coënt, Laurent Fribourg, Jonathan Vacher:
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method. ADHS 2018: 259-264 - [c7]Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikucionis, Jakob Haahr Taankvist:
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. CyPhy/WESE 2018: 113-133 - [c6]Adrien Le Coënt, Laurent Fribourg:
Controlled Recurrence of a Biped with Torso. CyPhy/WESE 2018: 154-169 - 2017
- [b1]Adrien Le Coënt:
Guaranteed control synthesis for switched space-time dynamical systems. (Synthèse de contrôle garanti pour des systèmes dynamiques spatio-temporels à commutation). University of Paris-Saclay, France, 2017 - [c5]Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian De Vuyst, Ludovic Chamoin:
Distributed Control Synthesis Using Euler's Method. RP 2017: 118-131 - [c4]Adrien Le Coënt, Florian De Vuyst, Ludovic Chamoin, Laurent Fribourg:
Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method. SNR@ETAPS 2017: 18-33 - 2016
- [c3]Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin:
Distributed Synthesis of State-Dependent Switching Control. RP 2016: 119-133 - [c2]Adrien Le Coënt, Laurent Fribourg, Romain Soulat:
Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations. RP 2016: 134-147 - [i2]Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin:
Distributed Synthesis of State-Dependent Switching Control. CoRR abs/1604.01745 (2016) - [i1]Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg:
Control of nonlinear switched systems based on validated simulation. CoRR abs/1611.06692 (2016) - 2015
- [c1]Adrien Le Coënt, Florian De Vuyst, Christian Rey, Ludovic Chamoin, Laurent Fribourg:
Guaranteed control of switched control systems using model order reduction and state-space bisection. SynCoP 2015: 33-47
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-04 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint