On-line verification of current-state opacity by Petri nets and integer linear programming

From MaRDI portal
Publication:1797108

DOI10.1016/j.automatica.2018.04.021zbMath1401.93043OpenAlexW2800404248WikidataQ129882258 ScholiaQ129882258MaRDI QIDQ1797108

Zhiwu Li, Xuya Cong, Agostino Marcello Mangini, Maria Pia Fanti

Publication date: 17 October 2018

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2018.04.021




Related Items (10)



Cites Work


This page was built for publication: On-line verification of current-state opacity by Petri nets and integer linear programming