Sign in

Modular Supervisory Control with General Indecomposable Specification Languages.

Jan KomendaJan H. van SchuppenBenoit GaudinHervé 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