Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control-Reference-Cited by-同舟云学术

Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control

Published:2022-05-17 Issue: Volume: Page:
ISSN:
Container-title:2022 8th International Conference on Control, Decision and Information Technologies (CoDIT)
language:
Short-container-title:

Author:

Souid Nour Elhouda¹,Klai Kais²,Abid Chiheb Ameur³,Ben Ahmed Samir⁴

Affiliation:

1. LIPN Research Lab, University Sorbonne Paris Nord,Villetaneuse,France

2. LIPN UMR CNRS 7030, University Sorbonne Paris Nord,Villetaneuse,France

3. Mediatron Lab, Université de Tunis El Manar, Sup'Com,Tunis,Tunisia

4. LIPSIC Lab, Université de Tunis El Manar, Faculty of Sciences of Tunis,Tunis,Tunisia

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9803856/9803880/09804039.pdf?arnumber=9804039

Reference18 articles.

1. A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems

2. Design and Evaluation of a Symbolic and Abstraction-Based Model Checker

3. Symbolic Boolean manipulation with ordered binary-decision diagrams

4. MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs

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

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

2. 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