相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。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)
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
Kuize Zhang et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2019)
Supervisor Obfuscation Against Actuator Enablement Attack
Yuting Zhu et al.
2019 18TH EUROPEAN CONTROL CONFERENCE (ECC) (2019)
Enforcement of opacity by public and private insertion functions
Yiding Ji et al.
AUTOMATICA (2018)
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)
Probabilistic system opacity in discrete event systems
Christoforos Keroglou et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2018)
Supervisory Control of Timed Discrete-Event Systems Subject to Communication Delays and Non-FIFO Observations
Aida Rashidinejad et al.
IFAC PAPERSONLINE (2018)
Verification of State-Based Opacity Using Petri Nets
Yin Tong et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2017)
Deterministic Networked Control of Discrete Event Systems With Nondeterministic Communication Delays
Shaolong Shu et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2017)
Predictive Networked Control of Discrete Event Systems
Shaolong Shu et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2017)
Quantification of Secrecy in Partially Observed Stochastic Discrete Event Systems
Jun Chen et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2017)
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)
A new approach for the verification of infinite-step and K-step opacity using two-way observers
Xiang Yin et al.
AUTOMATICA (2017)
Decidability of opacity verification problems in labeled Petri net systems
Yin Tong et al.
AUTOMATICA (2017)
Distributed supervisory control of discrete-event systems with communication delay
Renyuan Zhang et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2016)
Overview of discrete event systems opacity: Models, validation, and quantification
Romain Jacob et al.
ANNUAL REVIEWS IN CONTROL (2016)
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)
Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays
Shaolong Shu et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2015)
CONTROL OF NETWORKED DISCRETE EVENT SYSTEMS: DEALING WITH COMMUNICATION DELAYS AND LOSSES
Feng Lin
SIAM JOURNAL ON CONTROL AND OPTIMIZATION (2014)
Robust diagnosis of discrete event systems against intermittent loss of observations
Lilian K. Carvalho et al.
AUTOMATICA (2012)
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)
Verification of Infinite-Step Opacity and Complexity Considerations
Anooshiravan Saboori et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2012)
Opacity of discrete event systems and its applications
Feng Lin
AUTOMATICA (2011)
Opacity generalised to transition systems
Jeremy W. Bryans et al.
INTERNATIONAL JOURNAL OF INFORMATION SECURITY (2008)
Concurrent secrets
E. Badouel et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2007)
Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems
Ratnesh Kumar et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2007)