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 - https://www.scopus.com/pages/publications/85097266563
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 -