Étienne André
4
Documents
Identifiants chercheurs
- etienne-andre
Présentation
My Web page is available at [lipn.univ-paris13.fr/~andre/](https://lipn.univ-paris13.fr/~andre/ "Étienne André")
Publications
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
Robust optimal periodic control using guaranteed Euler's methodACC 2021 - American Control Conference, May 2021, New Orleans/Virtual, United States. pp.986-991, ⟨10.23919/ACC50511.2021.9482621⟩
Communication dans un congrès
hal-03174207v1
|
|
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)ARCH20 - 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, Goran Frehse and Matthias Althoff, Jul 2020, Berlin, Germany. pp.197-184, ⟨10.29007/l3k2⟩
Communication dans un congrès
hal-02972549v1
|
|
Time4sys2imi: A tool to formalize real-time system models under uncertainty16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), Robert M. Hierons; Mohamed Mosbah, Oct 2019, Hammamet, Tunisia
Communication dans un congrès
hal-02234990v1
|
|
Parametric schedulability analysis of a launcher flight control system under reactivity constraints19th International Conference on Application of Concurrency to System Design (ACSD 2019), Wil van der Aalst, Jun 2019, Aachen, Germany
Communication dans un congrès
hal-02072159v1
|