标题
Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems
作者
关键词
-
出版物
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
Volume 67, Issue 10, Pages 5289-5303
出版商
Institute of Electrical and Electronics Engineers (IEEE)
发表日期
2021-10-26
DOI
10.1109/tac.2021.3121249
参考文献
相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。- Enforcing current-state opacity through shuffle and deletions of event observations
- (2021) Raphael Julio Barcelos et al. AUTOMATICA
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- (2019) Yiding Ji et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Enforcement of opacity by public and private insertion functions
- (2018) Yiding Ji et al. AUTOMATICA
- Verification of State-Based Opacity Using Petri Nets
- (2017) Yin Tong et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Synthesis of Obfuscation Policies to Ensure Privacy and Utility
- (2017) Yi-Chin Wu et al. JOURNAL OF AUTOMATED REASONING
- Synthesis of Optimal Insertion Functions for Opacity Enforcement
- (2016) Yi-Chin Wu et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Synthesis of insertion functions for enforcement of opacity security properties
- (2014) Yi-Chin Wu et al. AUTOMATICA
- Enforcement and validation (at runtime) of various notions of opacity
- (2014) Yliès Falcone et al. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS
- Current-State Opacity Formulations in Probabilistic Finite Automata
- (2013) Anooshiravan Saboori et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Synthesis of opaque systems with static and dynamic masks
- (2012) Franck Cassez et al. FORMAL METHODS IN SYSTEM DESIGN
- Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
- (2012) S. Takai et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
- (2011) Anooshiravan Saboori et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Verification of Infinite-Step Opacity and Complexity Considerations
- (2011) Anooshiravan Saboori et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Supervisory Control for Opacity
- (2010) Jeremy Dubreil et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
Find Funding. Review Successful Grants.
Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.
ExploreDiscover Peeref hubs
Discuss science. Find collaborators. Network.
Join a conversation