Safety verification for distributed parameter systems using barrier functionals

Type de document :
Article dans une revue
Systems and Control Letters, Elsevier, 2017, 108, pp.33 - 39. 〈10.1016/j.sysconle.2017.08.002〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01721707
Contributeur : Giorgio Valmorbida <>
Soumis le : vendredi 2 mars 2018 - 14:17:25
Dernière modification le : vendredi 9 novembre 2018 - 11:50:06

Lien texte intégral

Identifiants

Citation

Mohamadreza Ahmadi, Giorgio Valmorbida, Antonis Papachristodoulou. Safety verification for distributed parameter systems using barrier functionals. Systems and Control Letters, Elsevier, 2017, 108, pp.33 - 39. 〈10.1016/j.sysconle.2017.08.002〉. 〈hal-01721707〉

Partager

Métriques

Consultations de la notice

96