Coordination control of complex machines

J.C.M. Baeten, D.A. Beek, van, J. Markovski, L.J.A.M. Somers

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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é 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.
LanguageEnglish
Title of host publicationCoordination Control of Distributed Systems
EditorsJ.H. Schuppen, van, T. Villa
Place of PublicationCham
PublisherSpringer
Pages61-68
ISBN (Print)978-3-319-10406-5
DOIs
StatePublished - 2015

Publication series

NameLecture Notes in Control and Information Sciences
Volume456

Fingerprint

Supervisory personnel
Systems engineering
Large scale systems

Cite this

Baeten, J. C. M., Beek, van, D. A., Markovski, J., & Somers, L. J. A. M. (2015). Coordination control of complex machines. In J. H. Schuppen, van, & T. Villa (Eds.), Coordination Control of Distributed Systems (pp. 61-68). (Lecture Notes in Control and Information Sciences; Vol. 456). Cham: Springer. DOI: 10.1007/978-3-319-10407-2_8
Baeten, J.C.M. ; Beek, van, D.A. ; Markovski, J. ; Somers, L.J.A.M./ Coordination control of complex machines. Coordination Control of Distributed Systems. editor / J.H. Schuppen, van ; T. Villa. Cham : Springer, 2015. pp. 61-68 (Lecture Notes in Control and Information Sciences).
@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",

}

Baeten, JCM, Beek, van, DA, Markovski, J & Somers, LJAM 2015, Coordination control of complex machines. in JH Schuppen, van & T Villa (eds), Coordination Control of Distributed Systems. Lecture Notes in Control and Information Sciences, vol. 456, Springer, Cham, pp. 61-68. DOI: 10.1007/978-3-319-10407-2_8

Coordination control of complex machines. / Baeten, J.C.M.; Beek, van, D.A.; Markovski, J.; Somers, L.J.A.M.

Coordination Control of Distributed Systems. ed. / J.H. Schuppen, van; T. Villa. Cham : Springer, 2015. p. 61-68 (Lecture Notes in Control and Information Sciences; Vol. 456).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

TY - CHAP

T1 - Coordination control of complex machines

AU - Baeten,J.C.M.

AU - Beek, van,D.A.

AU - Markovski,J.

AU - Somers,L.J.A.M.

PY - 2015

Y1 - 2015

N2 - 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é 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.

AB - 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é 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.

U2 - 10.1007/978-3-319-10407-2_8

DO - 10.1007/978-3-319-10407-2_8

M3 - Chapter

SN - 978-3-319-10406-5

T3 - Lecture Notes in Control and Information Sciences

SP - 61

EP - 68

BT - Coordination Control of Distributed Systems

PB - Springer

CY - Cham

ER -

Baeten JCM, Beek, van DA, Markovski J, Somers LJAM. Coordination control of complex machines. In Schuppen, van JH, Villa T, editors, Coordination Control of Distributed Systems. Cham: Springer. 2015. p. 61-68. (Lecture Notes in Control and Information Sciences). Available from, DOI: 10.1007/978-3-319-10407-2_8