Modular Supervisory Control with General Indecomposable Specification Languages.

Jan Komenda Jan H. van Schuppen Benoit Gaudin Hervé Marchand

Published in: CDC/ECC (2005)

Keyphrases

specification languages
supervisory control
formal specification
natural language
machine learning
knowledge base
fuzzy logic
software development
intelligent systems
complex systems