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

4 Citations (Scopus)

Abstract

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.
LanguageEnglish
Title of host publicationWODES 2010, 10th International Workshop on Discrete Event Systems (Berlin, Germany, August 30-September 1, 2010)
Place of PublicationGermany, Berlin
Pages300-305
DOIs
StatePublished - 2010

Fingerprint

Controllers

Cite this

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). Germany, Berlin. DOI: 10.3182/20100830-3-DE-4013.00048
Markovski, J. ; Jacobs, K.G.M. ; Beek, van, D.A. ; Somers, L.J.A.M. ; Rooda, J.E./ Coordination of resources using generalized state-based requirements. WODES 2010, 10th International Workshop on Discrete Event Systems (Berlin, Germany, August 30-September 1, 2010). Germany, Berlin, 2010. pp. 300-305
@inproceedings{ef864b549e254b86b3b689238e75cce3,
title = "Coordination of resources using generalized state-based requirements",
abstract = "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.",
author = "J. Markovski and K.G.M. Jacobs and {Beek, van}, D.A. and L.J.A.M. Somers and J.E. Rooda",
year = "2010",
doi = "10.3182/20100830-3-DE-4013.00048",
language = "English",
pages = "300--305",
booktitle = "WODES 2010, 10th International Workshop on Discrete Event Systems (Berlin, Germany, August 30-September 1, 2010)",

}

Markovski, J, Jacobs, KGM, Beek, van, DA, Somers, LJAM & Rooda, JE 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). Germany, Berlin, pp. 300-305. DOI: 10.3182/20100830-3-DE-4013.00048

Coordination of resources using generalized state-based requirements. / Markovski, J.; Jacobs, K.G.M.; Beek, van, D.A.; Somers, L.J.A.M.; Rooda, J.E.

WODES 2010, 10th International Workshop on Discrete Event Systems (Berlin, Germany, August 30-September 1, 2010). Germany, Berlin, 2010. p. 300-305.

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

TY - GEN

T1 - Coordination of resources using generalized state-based requirements

AU - Markovski,J.

AU - Jacobs,K.G.M.

AU - Beek, van,D.A.

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

AU - Rooda,J.E.

PY - 2010

Y1 - 2010

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

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

U2 - 10.3182/20100830-3-DE-4013.00048

DO - 10.3182/20100830-3-DE-4013.00048

M3 - Conference contribution

SP - 300

EP - 305

BT - WODES 2010, 10th International Workshop on Discrete Event Systems (Berlin, Germany, August 30-September 1, 2010)

CY - Germany, Berlin

ER -

Markovski J, Jacobs KGM, Beek, van DA, Somers LJAM, Rooda JE. 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). Germany, Berlin. 2010. p. 300-305. Available from, DOI: 10.3182/20100830-3-DE-4013.00048