The role of supervisory controller synthesis in automatic control software development

• We discuss the role of supervisor synthesis in automated software code generation.
• The proposed approach is systematic and based on process theory.
• We implemented a model-based systems and software engineering framework.
• The framework has been applied to multiple industrial studies.

We give an overview of a model-driven systems engineering approach for high-tech systems that relies on supervisory controller synthesis. The proposed framework has a process-theoretic foundation and supports extensions with quantitative features. We briefly discuss several industrial case studies that highlight the advantages of the proposed approach.