Login / Signup
Formal Modeling and Synthesis of Event-Transferring Communication among Decentralized Supervisors for Discrete-Event Systems (II).
Amin Mannani
Peyman Gohari
Published in:
SMC (2009)
Keyphrases
</>
discrete event systems
petri net
cooperative
telecommunication networks
event detection
model based diagnosis
complex systems
discrete event
failure diagnosis
formal models
databases
multi agent
distributed systems
peer to peer
integrity constraints
communication networks