Meeting October 15, 2020

The virtual meeting is scheduled for Thursday October 15 (weblink).

The tentative program is as follows.

14h — 17h

  • Welcome and update
  • 14:15 – 15:00 Antoine Girard. A Symbolic Control Approach to the Programming of Cyber-Physical Systems (Slides)
  • 15:00 – 15:30 Francois Bidet (Ph.D.). Analyse d’atteignabilité de systèmes affines par rapport à des entrées bornées variant arbitrairement (Slides)
  • Break
  • 15:45 – 16:30 Marc Pouzet. An Executable Synchronous Semantics. (Slides)
  • 16:30 – 17:00 Ismail Lahkim Bennani (Ph.D.). Falsification of synchronous systems using automatic differentiation (Slides).

Comments are closed.