相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Encrypted Control for Networked Systems AN ILLUSTRATIVE INTRODUCTION AND CURRENT CHALLENGES
Moritz Schulze Darup et al.
IEEE CONTROL SYSTEMS MAGAZINE (2021)
Synthesis of Dynamic Masks for Infinite-Step Opacity
Xiang Yin et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2020)
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
Sahar Mohajerani et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2020)
Secure and Private Implementation of Dynamic Controllers Using Semihomomorphic Encryption
Carlos Murguia et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2020)
CONFIDENTIALITY OF CYBER-PHYSICAL SYSTEMS USING EVENT-BASED CRYPTOGRAPHY
Publio M. Lima et al.
IFAC PAPERSONLINE (2020)
Homomorphic Encryption of Supervisory Control Systems Using Automata
Sian Zhou et al.
IEEE ACCESS (2020)
Enforcing opacity by insertion functions under multiple energy constraints
Yiding Ji et al.
AUTOMATICA (2019)
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
Yiding Ji et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2019)
Enforcement of opacity by public and private insertion functions
Yiding Ji et al.
AUTOMATICA (2018)
State-Based Control of Discrete-Event Systems Under Partial Observation
Deguang Wang et al.
IEEE ACCESS (2018)
Enforcing current-state opacity through shuffle in event observations
Raphael Julio Barcelos et al.
IFAC PAPERSONLINE (2018)
Secure and private control using semi-homomorphic encryption
Farhad Farokhi et al.
CONTROL ENGINEERING PRACTICE (2017)
On Distributed and Parameterized Supervisor Synthesis Problems
Liyong Lin et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2016)
Maximum Information Release While Ensuring Opacity in Discrete Event Systems
Bo Zhang et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2015)
Enforcing opacity of regular predicates on modal transition systems
Philippe Darondeau et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2015)
Enforcement and validation (at runtime) of various notions of opacity
Ylies Falcone et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2015)
Quantifying opacity
Beatrice Berard et al.
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (2015)
Synthesis of insertion functions for enforcement of opacity security properties
Yi-Chin Wu et al.
AUTOMATICA (2014)
Synthesis of opaque systems with static and dynamic masks
Franck Cassez et al.
FORMAL METHODS IN SYSTEM DESIGN (2012)
Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
Anooshiravan Saboori et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2012)
Supervisory Control for Opacity
Jeremy Dubreil et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2010)
Undecidability in decentralized supervision
JG Thistle
SYSTEMS & CONTROL LETTERS (2005)
Undecidable problems of decentralized observation and control on regular languages
S Tripakis
INFORMATION PROCESSING LETTERS (2004)