Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems

DOI10.1007/s10626-014-0197-3zbMath1328.93166OpenAlexW2077280257MaRDI QIDQ2348371

Sébastien Chédor, Sophie Pinchinat, Hervé Marchand, Christophe Morvan

Publication date: 12 June 2015

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

Full work available at URL: https://hal.inria.fr/hal-00994970/file/jdeds-rts14.pdf

zbMATH Keywords

diagnosabilitydiscrete event systemsopacityrecursive systems

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Observability (93B07)

Related Items

Verification of opacity and diagnosability for pushdown systems, Diagnosability of fair transition systems, State-based opacity of labeled real-time automata, Game current-state opacity formulation in probabilistic resource automata, Enforcing opacity by insertion functions under multiple energy constraints, Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems, Enforcement of opacity by public and private insertion functions

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Comparative analysis of related notions of opacity in centralized and coordinated architectures
• Synthesis of opaque systems with static and dynamic masks
• Diagnosis from scenarios
• Unfolding-based diagnosis of systems with an evolving topology
• Verification of opacity and diagnosability for pushdown systems
• Concurrent secrets
• Test Generation from Recursive Tiles Systems
• Synchronization of Grammars
• Visibly pushdown languages
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Diagnosability of discrete-event systems
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Verification of Infinite-Step Opacity and Complexity Considerations
• Fault Diagnosis for Timed Automata
• Foundations of Software Science and Computational Structures