On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis.
Xiang YinStéphane LafortunePublished in: WODES (2016)
Keyphrases
- partially observed
- discrete event systems
- petri net
- complex systems
- model based diagnosis
- telecommunication networks
- timed petri nets
- failure diagnosis
- model checking
- discrete event
- temporal constraints
- verification method
- signature verification
- mobile devices
- qualitative and quantitative
- video sequences
- reinforcement learning