Transforming Opacity Verification to Nonblocking Verification in Modular Systems

DOI10.1109/TAC.2019.2934708OpenAlexW2968762186MaRDI QIDQ5125596

Stéphane Lafortune, Sahar Mohajerani

Publication date: 7 October 2020

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

Full work available at URL: https://arxiv.org/abs/1904.06242

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (3)

A framework for current-state opacity under dynamic information release mechanism ⋮ Current-state opacity and initial-state opacity of modular discrete event systems ⋮ Enhancement of opacity for distributed state estimation in cyber-physical systems

This page was built for publication: Transforming Opacity Verification to Nonblocking Verification in Modular Systems