List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method Nonlinear Analysis. Hybrid Systems | 2020-05-07 | Paper |
| Guaranteed control of switched control systems using model order reduction and state-space bisection | 2019-10-24 | Paper |
| Compositional synthesis of state-dependent switching control Theoretical Computer Science | 2018-11-23 | Paper |
| An improved algorithm for the control synthesis of nonlinear sampled switched systems Formal Methods in System Design | 2018-11-15 | Paper |
| Distributed synthesis of state-dependent switching control (available as arXiv preprint) | 2018-03-26 | Paper |
| Compositional analysis of Boolean networks using local fixed-point iterations | 2018-03-26 | Paper |
| Distributed control synthesis using Euler's method | 2017-12-20 | Paper |
Research outcomes over time
This page was built for person: Adrien Le Coënt
