Login / Signup
Formal Modeling and Synthesis of State-Transferring Communication among Decentralized Supervisors for Discrete-Event Systems (I).
Amin Mannani
Peyman Gohari
Published in:
SMC (2009)
Keyphrases
</>
discrete event systems
petri net
complex systems
telecommunication networks
cooperative
state information
model based diagnosis
timed petri nets
fully distributed
formal models
intelligent systems
discrete event
communication networks
transfer learning
distributed systems
data model
image sequences