Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
From MaRDI portal
Publication:2348371
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
Related Items (7)
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
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
This page was built for publication: Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
