Publié

Computer Science

Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems

Publié le - International Workshop on Verification of Infinite State Systems (INFINITY)

Auteurs : Romain Soulat, Bertrand Revol, Laurent Fribourg

Voir la publication sur HAL