Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

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

Fichier non déposé

Dates et versions

hal-01688842 , version 1 (19-01-2018)

Identifiants

  • HAL Id : hal-01688842 , version 1

Citer

Romain Soulat, Bertrand Revol, Laurent Fribourg. Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems. International Workshop on Verification of Infinite State Systems (INFINITY), 2011, Taipei, Taiwan. ⟨hal-01688842⟩
54 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More