Coordination of resources using generalized state-based requirements

J. Markovski, K.G.M. Jacobs, D.A. Beek, van, L.J.A.M. Somers, J.E. Rooda

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

19 Citations (Scopus)


Control and coordination is an important aspect of the development of complex machines due to an ever increasing demand for better functionality, quality, and performance. We develop a coordinator for maintenance procedures for a high-tech Oc.e printer that eliminates undesired behavior which stems from unrestricted interaction of its distributed components. To this end, we extend and employ a model-based engineering framework for supervisory controller synthesis. We generalize standard state-based control requirements to increase modeling convenience. We model the use case with 23 generalized state-based requirements, which translate to 1000+ requirements in the original form.
Original languageEnglish
Title of host publicationWODES 2010, 10th International Workshop on Discrete Event Systems (Berlin, Germany, August 30-September 1, 2010)
Place of PublicationGermany, Berlin
Publication statusPublished - 2010


Dive into the research topics of 'Coordination of resources using generalized state-based requirements'. Together they form a unique fingerprint.

Cite this