Login / Signup
Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations.
Katsuyuki Kimura
Shigemasa Takai
Published in:
IEICE Trans. Inf. Syst. (2014)
Keyphrases
</>
discrete event systems
petri net
discrete event
model based diagnosis
complex systems
event detection
dynamic systems
timed petri nets
control method
databases
search algorithm
control system
dynamic programming
state space
constraint satisfaction
human activities