Supervisory Control of Discrete-Event Systems via IC3.

Mohammad Reza Shoaei Laura Kovács Bengt Lennartson

Published in: Haifa Verification Conference (2014)

Keyphrases

discrete event systems
supervisory control
discrete event
dynamic systems
simulation model
data acquisition
dynamical systems
complex systems
petri net
real time
computational intelligence
cost effective
power grid