2015
The role of supervisory controller synthesis in automatic control software development
Publication
Publication
Science of Computer Programming , Volume 97 - Issue 1 p. 17- 22
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.
| Additional Metadata | |
|---|---|
| , , | |
| North-Holland | |
| doi.org/10.1016/j.scico.2013.11.016 | |
| Science of Computer Programming | |
| Organisation | Directie |
|
Baeten, J., & Markovski, J. (2015). The role of supervisory controller synthesis in automatic control software development. Science of Computer Programming, 97(1), 17–22. doi:10.1016/j.scico.2013.11.016 |
|
