Distributed control synthesis using Euler's method

Adrien Le Coënt (1) , Julien Alexandre Dit Sandretto (2) , Alexandre Chapoutot (2) , Laurent Fribourg (3) , Florian de Vuyst (4) , Ludovic Chamoin (5)

1 CMLA - Centre de Mathématiques et de Leurs Applications
2 SFL - Sûreté et Fiabilité des Logiciels
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency
4 MICS - Mathématiques et Informatique pour la Complexité et les Systèmes
5 LMT - Laboratoire de Mécanique et Technologie

Domaines: Algorithme et structure de données [cs.DS]

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian de Vuyst, et al.. Distributed control synthesis using Euler's method. International Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩. ⟨hal-01593225⟩