Login / Signup
Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata.
Sven Schneider
Anne-Kathrin Schmuck
Uwe Nestmann
Jörg Raisch
Published in:
WODES (2014)
Keyphrases
</>
supervisory control
data acquisition
discrete event
finite state automaton
power grid
turing machine
dynamic systems
model checking
human operators
control system
decision making
monitoring system
low cost
real time
control architecture
high speed
distributed control