Decentralized control of discrete event systems with specializations to local control and concurrent systems.
Shengbing JiangRatnesh KumarPublished in: IEEE Trans. Syst. Man Cybern. Part B (2000)
Keyphrases
- discrete event systems
- concurrent systems
- petri net
- decentralized control
- discrete event
- complex systems
- markov decision processes
- distributed systems
- smart grid
- modular robots
- multiagent systems
- temporal logic
- multi agent systems
- model based diagnosis
- collective behavior
- telecommunication networks
- model checking
- simulation model
- dynamic systems
- goal oriented
- robotic systems
- formal specification
- control strategy
- decision makers
- control system