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.
Original language | English |
---|---|
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 |
Pages | 300-305 |
DOIs | |
Publication status | Published - 2010 |