Design of Supervisors for Active Diagnosis in Discrete Event Systems

DOI10.1109/TAC.2020.2970011OpenAlexW3004266930MaRDI QIDQ5853937

Yihui Hu, Zhiwu Li, Ziyue Ma

Publication date: 12 March 2021

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2020.2970011

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (3)

Diagnosability enforcement in labeled Petri nets using supervisory control ⋮ Performance safety enforcement in strongly connected timed event graphs ⋮ Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers

This page was built for publication: Design of Supervisors for Active Diagnosis in Discrete Event Systems