Timed Automata Supervisory Control of a Glass Bonding System * * The first author received financial support from the Brazilian Higher Education Personnel Improvement Coordination(CAPES)

摘要

We work with the case study of an industrial glass bonding system for truck cabins that presents interesting timing aspects to be investigated. Specifically, at the same time that different processes have their starting and finishing conditions interlaced, a final timeout condition must be cyclically verified. A supervisor is synthesized by the list of strategies generated by some queries using the timed game automata theory. The supervisor guarantees the timing aspects, terminating each product cycle before the timeout.