The role of supervisory controller synthesis in automatic control software development

J.C.M. Baeten; J. Markovski

doi:10.1016/j.scico.2013.11.016

The role of supervisory controller synthesis in automatic control software development

J.C.M. Baeten, J. Markovski

Research output: Contribution to journal › Article › Academic › peer-review

4 Citations (Scopus)

2 Downloads (Pure)

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. Keywords: Supervisory control theory; Model-driven development; Software synthesis

Original language	English
Pages (from-to)	17-22
Number of pages	6
Journal	Science of Computer Programming
Volume	97
Issue number	1
DOIs	https://doi.org/10.1016/j.scico.2013.11.016
Publication status	Published - 2015

Access to Document

10.1016/j.scico.2013.11.016

Cite this

@article{cecc525390ea482a81ab84f3cd6f308a,

title = "The role of supervisory controller synthesis in automatic control software development",

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. Keywords: Supervisory control theory; Model-driven development; Software synthesis",

author = "J.C.M. Baeten and J. Markovski",

year = "2015",

doi = "10.1016/j.scico.2013.11.016",

language = "English",

volume = "97",

pages = "17--22",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - The role of supervisory controller synthesis in automatic control software development

AU - Baeten, J.C.M.

AU - Markovski, J.

PY - 2015

Y1 - 2015

N2 - 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. Keywords: Supervisory control theory; Model-driven development; Software synthesis

AB - 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. Keywords: Supervisory control theory; Model-driven development; Software synthesis

U2 - 10.1016/j.scico.2013.11.016

DO - 10.1016/j.scico.2013.11.016

M3 - Article

SN - 0167-6423

VL - 97

SP - 17

EP - 22

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 1

ER -

The role of supervisory controller synthesis in automatic control software development

Abstract

Access to Document

Fingerprint

Cite this