The Road Ahead for Supervisor Synthesis

Martijn Goorden; L. Moormann; F.F.H. Reijnen; J.J. Verbakel; D.A. van Beek; A.T. Hofkamp; Joanna van de Mortel-Fronczak; M.A. Reniers; Wan Fokkink; J.E. Rooda; L.F.P. Etman

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

The Road Ahead for Supervisor Synthesis

Martijn Goorden, L. Moormann, F.F.H. Reijnen, J.J. Verbakel, D.A. van Beek, A.T. Hofkamp, Joanna van de Mortel-Fronczak, M.A. Reniers, Wan Fokkink, J.E. Rooda, L.F.P. Etman

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

54 Downloads (Pure)

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 Verlag
Pages	1-16
Number of pages	16
ISBN (Electronic)	9783030628222
ISBN (Print)	9783030628215
DOIs	https://doi.org/10.1007/978-3-030-62822-2_1
Publication status	Published - 2020

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	12153

Access to Document

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

The Road Ahead for Supervisor SynthesisFinal published version, 1.15 MBLicence: Article 25fa Dutch Copyright Act

Persistent URL (handle)

Copy link address

Cite this

Goorden, M., Moormann, L., Reijnen, F. F. H., Verbakel, J. J., van Beek, D. A., Hofkamp, A. T., van de Mortel-Fronczak, J., Reniers, M. A., Fokkink, W., 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; Vol. 12153). Springer Verlag. https://doi.org/10.1007/978-3-030-62822-2_1

@inproceedings{6798af2dd89e421cbd6ff15eadfc7690,

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 = "Martijn Goorden and L. Moormann and F.F.H. Reijnen and J.J. Verbakel and {van Beek}, D.A. and A.T. Hofkamp and {van de Mortel-Fronczak}, Joanna and M.A. Reniers and Wan Fokkink and J.E. Rooda and L.F.P. Etman",

year = "2020",

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

language = "English",

isbn = "9783030628215",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "1--16",

editor = "Jun Pang and Lijun Zhang",

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

address = "Germany",

}

Goorden, M, Moormann, L, Reijnen, FFH, Verbakel, JJ, van Beek, DA, Hofkamp, AT, van de Mortel-Fronczak, J, Reniers, MA, Fokkink, W, 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, vol. 12153, Springer Verlag, pp. 1-16. https://doi.org/10.1007/978-3-030-62822-2_1

The Road Ahead for Supervisor Synthesis. / Goorden, Martijn; Moormann, L.; Reijnen, F.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 Verlag, 2020. p. 1-16 (Lecture Notes in Computer Science; Vol. 12153).

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

TY - GEN

T1 - The Road Ahead for Supervisor Synthesis

AU - Goorden, Martijn

AU - Moormann, L.

AU - Reijnen, F.F.H.

AU - Verbakel, J.J.

AU - van Beek, D.A.

AU - Hofkamp, A.T.

AU - van de Mortel-Fronczak, Joanna

AU - Reniers, M.A.

AU - Fokkink, Wan

AU - Rooda, J.E.

AU - Etman, L.F.P.

PY - 2020

Y1 - 2020

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.

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

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

M3 - Conference contribution

SN - 9783030628215

T3 - Lecture Notes in Computer Science

SP - 1

EP - 16

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

A2 - Pang, Jun

A2 - Zhang, Lijun

PB - Springer Verlag

ER -

Goorden M, 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 Verlag. 2020. p. 1-16. (Lecture Notes in Computer Science). Epub 2020 Nov 9. doi: 10.1007/978-3-030-62822-2_1

The Road Ahead for Supervisor Synthesis

Abstract

Publication series

Access to Document

Persistent URL (handle)

Fingerprint

Cite this