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.
|Title of host publication||WODES 2010, 10th International Workshop on Discrete Event Systems (Berlin, Germany, August 30-September 1, 2010)|
|Place of Publication||Germany, Berlin|
|Publication status||Published - 2010|
Markovski, J., Jacobs, K. G. M., Beek, van, D. A., Somers, L. J. A. M., & Rooda, J. E. (2010). Coordination of resources using generalized state-based requirements. In WODES 2010, 10th International Workshop on Discrete Event Systems (Berlin, Germany, August 30-September 1, 2010) (pp. 300-305). https://doi.org/10.3182/20100830-3-DE-4013.00048