Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications.
Shigemasa TakaiPublished in: Autom. (2023)
Keyphrases
- partially observed
- discrete event systems
- petri net
- discrete event
- concurrent systems
- control system
- complex systems
- finite automata
- automated verification
- telecommunication networks
- model based diagnosis
- timed petri nets
- formal verification
- failure diagnosis
- model checking
- deterministic domains
- special case
- deterministic automata
- turing machine
- computational complexity
- formal specification
- simulation model
- formal methods
- model checker
- finite state
- temporal logic
- cost effective
- data management
- data model
- search space