Login / Signup
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator.
Jan Komenda
Tomás Masopust
Jan H. van Schuppen
Published in:
Syst. Control. Lett. (2011)
Keyphrases
</>
discrete event systems
petri net
complex systems
telecommunication networks
model based diagnosis
discrete event
timed petri nets
failure diagnosis
temporal constraints
texture synthesis
program synthesis
databases
special case
visual features