@inbook{f8effac8a3c94ec5a85bcca49960ea53,
title = "Coordination control of complex machines",
abstract = "Control and coordination are important aspects of the development of complex machines due to an ever-increasing demand for better functionality, quality, and performance. In WP6 of the C4C project, we developed a synthesis-centric systems engineering framework suitable for supervisory coordination of complex systems. The framework was employed to synthesize and validate a supervisory coordinator for maintenance procedures for a prototype of a high-tech Oc{\'e} printer, showing proof of concept and viability of the proposed framework. The supervisor eliminates undesired behavior that could occur as a result of undesired interaction of the distributed printer components. In this chapter, we discuss the model-based systems engineering framework that was employed for synthesis of the supervisor, and we illustrate the modeling process.",
author = "J.C.M. Baeten and {Beek, van}, D.A. and J. Markovski and L.J.A.M. Somers",
year = "2015",
doi = "10.1007/978-3-319-10407-2_8",
language = "English",
isbn = "978-3-319-10406-5",
series = "Lecture Notes in Control and Information Sciences",
publisher = "Springer",
pages = "61--68",
editor = "{Schuppen, van}, J.H. and T. Villa",
booktitle = "Coordination Control of Distributed Systems",
address = "Germany",
}