4.6 Article

Opacity of Networked Supervisory Control Systems Over Insecure Communication Channels

相关参考文献

注意:仅列出部分参考文献,下载原文获取全部文献信息。
Article Automation & Control Systems

Information control in networked discrete event systems and its application to battery management systems

Feng Lin et al.

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2020)

Article Automation & Control Systems

Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach

Kuize Zhang et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2019)

Proceedings Paper Automation & Control Systems

Supervisor Obfuscation Against Actuator Enablement Attack

Yuting Zhu et al.

2019 18TH EUROPEAN CONTROL CONFERENCE (ECC) (2019)

Article Automation & Control Systems

Enforcement of opacity by public and private insertion functions

Yiding Ji et al.

AUTOMATICA (2018)

Article Automation & Control Systems

Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation

Carlos E. V. Nunes et al.

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2018)

Article Automation & Control Systems

Probabilistic system opacity in discrete event systems

Christoforos Keroglou et al.

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2018)

Proceedings Paper Automation & Control Systems

Supervisory Control of Timed Discrete-Event Systems Subject to Communication Delays and Non-FIFO Observations

Aida Rashidinejad et al.

IFAC PAPERSONLINE (2018)

Article Automation & Control Systems

Verification of State-Based Opacity Using Petri Nets

Yin Tong et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2017)

Article Automation & Control Systems

Deterministic Networked Control of Discrete Event Systems With Nondeterministic Communication Delays

Shaolong Shu et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2017)

Article Automation & Control Systems

Predictive Networked Control of Discrete Event Systems

Shaolong Shu et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2017)

Article Automation & Control Systems

Quantification of Secrecy in Partially Observed Stochastic Discrete Event Systems

Jun Chen et al.

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2017)

Article Automation & Control Systems

Supervisory Control of Networked Timed Discrete Event Systems and Its Applications to Power Distribution Networks

Bo Zhao et al.

IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS (2017)

Article Automation & Control Systems

Decidability of opacity verification problems in labeled Petri net systems

Yin Tong et al.

AUTOMATICA (2017)

Article Automation & Control Systems

Distributed supervisory control of discrete-event systems with communication delay

Renyuan Zhang et al.

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2016)

Review Automation & Control Systems

Overview of discrete event systems opacity: Models, validation, and quantification

Romain Jacob et al.

ANNUAL REVIEWS IN CONTROL (2016)

Article Automation & Control Systems

Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions

Toshimitsu Ushio et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2016)

Article Automation & Control Systems

Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays

Shaolong Shu et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2015)

Article Automation & Control Systems

CONTROL OF NETWORKED DISCRETE EVENT SYSTEMS: DEALING WITH COMMUNICATION DELAYS AND LOSSES

Feng Lin

SIAM JOURNAL ON CONTROL AND OPTIMIZATION (2014)

Article Automation & Control Systems

Robust diagnosis of discrete event systems against intermittent loss of observations

Lilian K. Carvalho et al.

AUTOMATICA (2012)

Article Automation & Control Systems

Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions

Shigemasa Takai et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2012)

Article Automation & Control Systems

Verification of Infinite-Step Opacity and Complexity Considerations

Anooshiravan Saboori et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2012)

Article Automation & Control Systems

Opacity of discrete event systems and its applications

Feng Lin

AUTOMATICA (2011)

Article Computer Science, Information Systems

Opacity generalised to transition systems

Jeremy W. Bryans et al.

INTERNATIONAL JOURNAL OF INFORMATION SECURITY (2008)

Article Automation & Control Systems

Concurrent secrets

E. Badouel et al.

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2007)

Article Automation & Control Systems

Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems

Ratnesh Kumar et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2007)