Probabilistic system opacity in discrete event systems

DOI10.1007/s10626-017-0263-8zbMath1398.93216OpenAlexW2768356411MaRDI QIDQ1788695

Christoforos Keroglou, Christoforos N. Hadjicostis

Publication date: 8 October 2018

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-017-0263-8

zbMATH Keywords

privacyopacityprobabilistic finite automata

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Cellular automata (computational aspects) (68Q80) Stochastic systems in control theory (general) (93E03)

Related Items

Strong current-state and initial-state opacity of discrete-event systems, Matrix approach for verification of opacity of partially observed discrete event systems, Information control in networked discrete event systems and its application to battery management systems, Enforcing opacity by insertion functions under multiple energy constraints, Current-state opacity modelling and verification in partially observed Petri nets, Opacity of networked discrete event systems

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Comparative analysis of related notions of opacity in centralized and coordinated architectures
• Verification of initial-state opacity in security applications of discrete event systems
• Hoeffding's inequality for uniformly ergodic Markov chains
• Concurrent secrets
• Non-negative matrices and Markov chains.
• Current-State Opacity Formulations in Probabilistic Finite Automata
• Kronecker products and matrix calculus in system theory
• Probabilistic detection of FSM single state-transition faults based on state occupancy measurements
• Quantifying opacity