Login / Signup
On the relation between reactive synthesis and supervisory control of non-terminating processes.
Anne-Kathrin Schmuck
Thomas Moor
Rupak Majumdar
Published in:
Discret. Event Dyn. Syst. (2020)
Keyphrases
</>
supervisory control
data acquisition
discrete event
power grid
control system
long term
real time
artificial intelligence
power system
short term
fault detection and diagnosis