---

Motivated by the problem of coordination between the different processes of a real industrial system, a bonded glazing system in truck cabins, which presents relevant aspects of timing synchronization between processes are employed in this work, techniques and methods associated to the Supervisory Control and Formal Verification of Discrete Event Systems (DES). Initially were developed a model system for the bonded glazing in the form of a network of deterministic finite automata in which the interaction between the various components is given by the occurrence of events. Moreover, were modeled the time intervals occurrence of each event by observation of the real system. The model was developed by isolating the essential components and processes, discarding peripheral aspects. Specifications of coordination were also raised in this modeling. The method validation and evaluation of proposed performance was employed for both the bonded glazing and for a simple manufacturing system, which captures in a simplified manner the problems present in the bonded glazing system and allowing illustrate best the potential of the proposed method.

---

Joao A. V. Rodriguez, M.Sc in Electric Engineering: Military Institute of Engineering, Brazil. About 20 years of experience in the automotive industry. Quality Manager at Jaguar Land Rover, Brazil / Antônio E. C. da Cunha, D.Sc in Electric Engineering: Federal University of Santa Catarina, Brazil Lieutenant Colonel-Militar Institute of Engineering

---