Enforcing Opacity in Modular Systems-Reference-Cited by-同舟云学术

Enforcing Opacity in Modular Systems

Published:2020 Issue:2 Volume:53 Page:2157-2164
ISSN:2405-8963
Container-title:IFAC-PapersOnLine
language:en
Short-container-title:IFAC-PapersOnLine

Author:

Zinck Graeme,Ricker Laurie,Marchand Hervé,Hélouët Loïc

Publisher

Elsevier BV

Subject

Control and Systems Engineering

Reference17 articles.

1. Concurrent secrets;Badouel;Discrete Event Dyn. Syst.,2007

2. Incremental verification and synthesis of discrete-event systems guided by counter-examples;Brandin;IEEE Trans. Contr. Syst. Technol.,2004

3. Opacity generalised to transition systems;Bryans;Int. J. Inf. Secur.,2008

4. Synthesis of opaque systems with static and dynamic masks;Cassez;Form. Methods Syst. Des.,2012

5. Diagnosability of discrete event systems with modular structure;Contant;Discrete Event Dyn. Syst.,2006

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control;2023 9th International Conference on Control, Decision and Information Technologies (CoDIT);2023-07-03

2. Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications;IEEE Transactions on Automatic Control;2023

3. A classification of cybersecurity strategies in the context of Discrete Event Systems;Annual Reviews in Control;2023

4. Optimal Supervisory Control of Opacity for Modular Systems;2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2022-12

5. At Design-Time Approach for Supervisory Control of Opacity;Cooperative Information Systems;2022