相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Robust supervisory control of discrete event systems against intermittent loss of observations
Marcos V. S. Alves et al.
INTERNATIONAL JOURNAL OF CONTROL (2021)
Synthesis of Supervisors Robust Against Sensor Deception Attacks
Romulo Meira-Goes et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2021)
Towards probabilistic intrusion detection in supervisory control of discrete event systems
Romulo Meira-Goes et al.
IFAC PAPERSONLINE (2020)
Mitigation of Classes of Attacks using a Probabilistic Discrete Event System Framework
Ze Yang Wang et al.
IFAC PAPERSONLINE (2020)
Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems
Romulo Meira-Goes et al.
AUTOMATICA (2020)
Supervisory Control of Discrete-Event Systems Under Attacks
Masashi Wakaiki et al.
DYNAMIC GAMES AND APPLICATIONS (2019)
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
Yiding Ji et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2019)
Supervisory Control of Discrete-Event Systems under Attacks: An Overview and Outlook
Aida Rashidinejad et al.
2019 18TH EUROPEAN CONTROL CONFERENCE (ECC) (2019)
Supervisor Obfuscation Against Actuator Enablement Attack
Yuting Zhu et al.
2019 18TH EUROPEAN CONTROL CONFERENCE (ECC) (2019)
Security Against Communication Network Attacks of Cyber-Physical Systems
Publio Macedo Lima et al.
JOURNAL OF CONTROL AUTOMATION AND ELECTRICAL SYSTEMS (2019)
Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
Rong Su
AUTOMATICA (2018)
Detection and mitigation of classes of attacks in supervisory control systems
Lilian Kawakami Carvalho et al.
AUTOMATICA (2018)
Overview of discrete event systems opacity: Models, validation, and quantification
Romain Jacob et al.
ANNUAL REVIEWS IN CONTROL (2016)
Robust Networked Control of Discrete Event Systems
Fei Wang et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2016)
Synthesis of insertion functions for enforcement of opacity security properties
Yi-Chin Wu et al.
AUTOMATICA (2014)
CONTROL OF NETWORKED DISCRETE EVENT SYSTEMS: DEALING WITH COMMUNICATION DELAYS AND LOSSES
Feng Lin
SIAM JOURNAL ON CONTROL AND OPTIMIZATION (2014)
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
Jun Liu et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2013)
Synthesis of opaque systems with static and dynamic masks
Franck Cassez et al.
FORMAL METHODS IN SYSTEM DESIGN (2012)
Opacity of discrete event systems and its applications
Feng Lin
AUTOMATICA (2011)
Supervisory Control for Opacity
Jeremy Dubreil et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2010)
Probabilistic Supervisory Control of Probabilistic Discrete Event Systems
Vera Pantelic et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2009)
Maximizing robustness of supervisors for partially observed discrete event systems
S Takai
AUTOMATICA (2004)
Control of stochastic discrete event systems modeled by probabilistic languages
R Kumar et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2001)