Enforcing current-state opacity through shuffle and deletions of event observations
Published 2021 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
Enforcing current-state opacity through shuffle and deletions of event observations
Authors
Keywords
Discrete event systems, Opacity, Opacity-enforcement, Event observation delay, Event observation deletion
Journal
AUTOMATICA
Volume 133, Issue -, Pages 109836
Publisher
Elsevier BV
Online
2021-08-10
DOI
10.1016/j.automatica.2021.109836
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- On-line verification of initial-state opacity by Petri nets and integer linear programming
- (2019) Xuya Cong et al. ISA TRANSACTIONS
- Enforcing opacity by insertion functions under multiple energy constraints
- (2019) Yiding Ji et al. AUTOMATICA
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- (2019) Yiding Ji et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata
- (2019) Gustavo S. Viana et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Optimal Information Release for Mixed Opacity in Discrete-Event Systems
- (2019) Behnam Behinaein et al. IEEE Transactions on Automation Science and Engineering
- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
- (2019) Kuize Zhang et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Opacity Enforcement for Confidential Robust Control in Linear Cyber-Physical Systems
- (2019) Liwei An et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- On the history of diagnosability and opacity in discrete event systems
- (2018) Stéphane Lafortune et al. ANNUAL REVIEWS IN CONTROL
- On-line verification of current-state opacity by Petri nets and integer linear programming
- (2018) Xuya Cong et al. AUTOMATICA
- Enforcement of opacity by public and private insertion functions
- (2018) Yiding Ji et al. AUTOMATICA
- Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
- (2018) Carlos E. V. Nunes et al. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS
- Infinite-step opacity and K-step opacity of stochastic discrete-event systems
- (2018) Xiang Yin et al. AUTOMATICA
- Overview of discrete event systems opacity: Models, validation, and quantification
- (2016) Romain Jacob et al. ANNUAL REVIEWS IN CONTROL
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- (2016) Xiang Yin et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Maximum Information Release While Ensuring Opacity in Discrete Event Systems
- (2015) Bo Zhang et al. IEEE Transactions on Automation Science and Engineering
- Synthesis of insertion functions for enforcement of opacity security properties
- (2014) Yi-Chin Wu et al. AUTOMATICA
- Current-State Opacity Formulations in Probabilistic Finite Automata
- (2013) Anooshiravan Saboori et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Robust diagnosis of discrete event systems against intermittent loss of observations
- (2012) Lilian K. Carvalho et al. AUTOMATICA
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- (2012) Yi-Chin Wu et al. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS
- Synthesis of opaque systems with static and dynamic masks
- (2012) Franck Cassez et al. FORMAL METHODS IN SYSTEM DESIGN
- Opacity of discrete event systems and its applications
- (2011) Feng Lin AUTOMATICA
- The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces
- (2011) Rong Su 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.
ExploreFind the ideal target journal for your manuscript
Explore over 38,000 international journals covering a vast array of academic fields.
Search