Laboratoire d'informatique de l'École polytechnique

Workshop on Distributed Hybrid Systems

Speaker: Uli Fahrenberg
Location: Room Gilles Kahn
Date: Wed, 4 Jul 2018, 09:10-18:00

LIX hosts a workshop on distributed hybrid systems on wednesday, July 4th. The workshop will be in salle Gilles Kahn; we have 30 registered participants, so there should be plenty of room for extra spectators.

9:10 L. Fajstrup: Symmetries in the PV-model and of directed invariants

10:20 L. Jaulin: Distributed localization and control of underwater robots

13:30 E. Ledinot: Towards CPS certification reformation: call for effective foundations

14:20 A. Platzer: Logic of distributed hybrid systems

16:50 T. Dang: Invariance and stability verification of hybrid systems

See also http://dhs.gforge.inria.fr/#program