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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

12 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelWODES 2010, 10th International Workshop on Discrete Event Systems (Berlin, Germany, August 30-September 1, 2010)
Plaats van productieGermany, Berlin
Pagina's300-305
DOI's
StatusGepubliceerd - 2010

Vingerafdruk Duik in de onderzoeksthema's van 'Coordination of resources using generalized state-based requirements'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    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) (blz. 300-305). https://doi.org/10.3182/20100830-3-DE-4013.00048