Comparing detailed and abstract timed models of automated discrete manufacturing systems

Matthieu Perin (1) , Jean-Marc Faure (1)

1 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

This paper proposes an equivalence relation that permits to compare the external behaviors of two models of the same component of an automated discrete system: a detailed model suitable to design the control of this component and a more abstract model where only the order and the durations of the operations performed by this component are considered. A first definition of the relation is given assuming that both models are deterministic; then a second definition that integrates tolerances on values and time is proposed when this assumption is no more true. These definitions are exemplified on a simple case study.

Mots clés: Timed automata; Multi-scale; Urgency; Trace equivalence

Domaines: Automatique / Robotique

Matthieu Perin, Jean-Marc Faure. Comparing detailed and abstract timed models of automated discrete manufacturing systems. 9th annual IEEE International Conference on Automation Science and Engineering (CASE 2013), Aug 2013, Madison (WI), United States. pp.TuBT5.2. ⟨hal-00865616⟩