| Authors |
|
| Publication date |
2015
|
| Journal |
Science of Computer Programming
|
| Volume | Issue number |
97 | 1
|
| Pages (from-to) |
17-22
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
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.
|
| Document type |
Article
|
| Note |
In: Special Issue on New Ideas and Emerging Results in Understanding Software
|
| Language |
English
|
| Published at |
https://doi.org/10.1016/j.scico.2013.11.016
|
|
Permalink to this page
|