Login / Signup
Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications.
Shigemasa Takai
Published in:
IEEE Trans. Autom. Control. (2021)
Keyphrases
</>
discrete event systems
petri net
complex systems
model based diagnosis
finite state
failure diagnosis
finite automata
telecommunication networks
timed petri nets
database
discrete event
temporal constraints
databases
program synthesis
initial state
dynamic systems
cost effective
high level