Networked opacity for finite state machine with bounded communication delays.
Zhipeng ZhangShaolong ShuChengyi XiaPublished in: Inf. Sci. (2021)
Keyphrases
- finite state machines
- communication delays
- control theory
- directed networks
- execution times
- precedence relations
- model checking
- np hard
- processing times
- multiprocessor systems
- regular expressions
- dynamic programming
- evolutionary algorithm
- scheduling problem
- sufficient conditions
- precedence constraints
- functional units
- multi objective