The road ahead for supervisor synthesis

Martijn A. Goorden; Lars Moormann; Ferdie F.H. Reijnen; Jeroen J. Verbakel; D.A. (Bert) van Beek; Albert T. Hofkamp; J.M. (Asia) van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; J.E. (Koos) Rooda; L.F.P. (Pascal) Etman

doi:10.1007/978-3-030-62822-2_1

The road ahead for supervisor synthesis

Martijn A. Goorden, Lars Moormann, Ferdie F.H. Reijnen, Jeroen J. Verbakel, D.A. (Bert) van Beek, Albert T. Hofkamp, J.M. (Asia) van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, J.E. (Koos) Rooda, L.F.P. (Pascal) Etman

Control Systems Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

4 Citations (Scopus)

Abstract

This paper reports on recent research advances in supervisor synthesis, as well as industrial applications and future research challenges, especially in the context of a research project funded by Rijkswaterstaat, responsible for the construction and maintenance of infrastructure in the Netherlands.

Original language	English
Title of host publication	Dependable Software Engineering. Theories, Tools, and Applications
Subtitle of host publication	6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
Editors	Jun Pang, Lijun Zhang
Publisher	Springer
Pages	1-16
Number of pages	16
ISBN (Electronic)	978-3-030-62822-2
DOIs	https://doi.org/10.1007/978-3-030-62822-2_1
Publication status	Published - 24 Nov 2020

Publication series

Name	Lecture Notes in Computer Science (LNCS)
Volume	12153
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Name	Programming and Software Engineering (LNPSE)
Volume	12153

Access to Document

10.1007/978-3-030-62822-2_1

Cite this

Goorden, M. A., Moormann, L., Reijnen, F. F. H., Verbakel, J. J., van Beek, D. A., Hofkamp, A. T., van de Mortel-Fronczak, J. M., Reniers, M. A., Fokkink, W. J., Rooda, J. E., & Etman, L. F. P. (2020). The road ahead for supervisor synthesis. In J. Pang, & L. Zhang (Eds.), Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings (pp. 1-16). (Lecture Notes in Computer Science (LNCS); Vol. 12153), (Programming and Software Engineering (LNPSE); Vol. 12153). Springer. https://doi.org/10.1007/978-3-030-62822-2_1

Goorden, Martijn A. ; Moormann, Lars ; Reijnen, Ferdie F.H. et al. / The road ahead for supervisor synthesis. Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings. editor / Jun Pang ; Lijun Zhang. Springer, 2020. pp. 1-16 (Lecture Notes in Computer Science (LNCS)). (Programming and Software Engineering (LNPSE)).

@inproceedings{9fa892475d774a3eab2b52c51b65ff8a,

title = "The road ahead for supervisor synthesis",

abstract = "This paper reports on recent research advances in supervisor synthesis, as well as industrial applications and future research challenges, especially in the context of a research project funded by Rijkswaterstaat, responsible for the construction and maintenance of infrastructure in the Netherlands.",

author = "Goorden, {Martijn A.} and Lars Moormann and Reijnen, {Ferdie F.H.} and Verbakel, {Jeroen J.} and {van Beek}, {D.A. (Bert)} and Hofkamp, {Albert T.} and {van de Mortel-Fronczak}, {J.M. (Asia)} and Reniers, {Michel A.} and Fokkink, {Wan J.} and Rooda, {J.E. (Koos)} and Etman, {L.F.P. (Pascal)}",

year = "2020",

month = nov,

day = "24",

doi = "10.1007/978-3-030-62822-2_1",

language = "English",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "1--16",

editor = "Jun Pang and Lijun Zhang",

booktitle = "Dependable Software Engineering. Theories, Tools, and Applications",

}

Goorden, MA , Moormann, L, Reijnen, FFH, Verbakel, JJ , van Beek, DA , Hofkamp, AT , van de Mortel-Fronczak, JM , Reniers, MA , Fokkink, WJ, Rooda, JE & Etman, LFP 2020, The road ahead for supervisor synthesis. in J Pang & L Zhang (eds), Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 12153, Programming and Software Engineering (LNPSE), vol. 12153, Springer, pp. 1-16. https://doi.org/10.1007/978-3-030-62822-2_1

The road ahead for supervisor synthesis. / Goorden, Martijn A.; Moormann, Lars; Reijnen, Ferdie F.H. et al.
Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings. ed. / Jun Pang; Lijun Zhang. Springer, 2020. p. 1-16 (Lecture Notes in Computer Science (LNCS); Vol. 12153), (Programming and Software Engineering (LNPSE); Vol. 12153).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - The road ahead for supervisor synthesis

AU - Goorden, Martijn A.

AU - Moormann, Lars

AU - Reijnen, Ferdie F.H.

AU - Verbakel, Jeroen J.

AU - van Beek, D.A. (Bert)

AU - Hofkamp, Albert T.

AU - van de Mortel-Fronczak, J.M. (Asia)

AU - Reniers, Michel A.

AU - Fokkink, Wan J.

AU - Rooda, J.E. (Koos)

AU - Etman, L.F.P. (Pascal)

PY - 2020/11/24

Y1 - 2020/11/24

N2 - This paper reports on recent research advances in supervisor synthesis, as well as industrial applications and future research challenges, especially in the context of a research project funded by Rijkswaterstaat, responsible for the construction and maintenance of infrastructure in the Netherlands.

AB - This paper reports on recent research advances in supervisor synthesis, as well as industrial applications and future research challenges, especially in the context of a research project funded by Rijkswaterstaat, responsible for the construction and maintenance of infrastructure in the Netherlands.

UR - http://www.scopus.com/inward/record.url?scp=85097266563&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-62822-2_1

DO - 10.1007/978-3-030-62822-2_1

M3 - Conference contribution

T3 - Lecture Notes in Computer Science (LNCS)

SP - 1

EP - 16

BT - Dependable Software Engineering. Theories, Tools, and Applications

A2 - Pang, Jun

A2 - Zhang, Lijun

PB - Springer

ER -

Goorden MA , Moormann L, Reijnen FFH, Verbakel JJ , van Beek DA , Hofkamp AT et al. The road ahead for supervisor synthesis. In Pang J, Zhang L, editors, Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings. Springer. 2020. p. 1-16. (Lecture Notes in Computer Science (LNCS)). (Programming and Software Engineering (LNPSE)). doi: 10.1007/978-3-030-62822-2_1

The road ahead for supervisor synthesis

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this