Compositional and Efficient Controller Synthesis for Cyber-Physical Systems / Adnane
Saoud ; sous la direction de Antoine Girard et Laurent Fribourg. Thèse de doctorat
: Automatique : Paris Saclay : 2019
Information trouvée : Membre du jury en tant que Professeur, University of California Berkeley (USA)
Networks of dissipative systems : compositional certification of stability, performance,
and safety / Murat Arcak, Chris Meissen, Andrew Packard, 2016
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial