Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation.

Tristan Le Gall Bertrand Jeannet Hervé Marchand

Published in: CDC/ECC (2005)

Keyphrases

supervisory control
discrete event
artificial intelligence
data acquisition
management system
complex systems
real time
expert systems
control system
computational intelligence
intelligent systems
simulation model
active rules
abstract interpretation