Safety verification for distributed parameter systems using barrier functionals

Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01721707
Contributor : Giorgio Valmorbida <>
Submitted on : Friday, March 2, 2018 - 2:17:25 PM
Last modification on : Friday, November 9, 2018 - 11:50:06 AM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

103