The Role Of Supervisory Controller Synthesis In Automatic Control Software Development
| Authors |
|
|---|---|
| Publication date | 2015 |
| Journal | Science of Computer Programming |
| Volume | Issue number | 97 | 1 |
| Pages (from-to) | 17-22 |
| Organisations |
|
| 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
(Final published version)
|
| Permalink to this page | |