constraint specification of the control logic of automated manufacturing systems - AUTomatic control Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

constraint specification of the control logic of automated manufacturing systems

Résumé

We introduce a new methodology for the specification and the design of the control logic of automated manufacturing systems. Our aim is to make specification express just what is necessary earlier in the design process. This will permit to produce an optimized work cycle for the system and will make both production recovery calculation and code generation easier. The methodology is based on a modular modeling of the plant in terms of Axes and the description of the desired behavior by a set of typed constraints. The problem consists then in finding a sequence of actions, satisfying the constraints, that leads to a desired state of the system, starting from a specific one. A reachability analysis is then carried out on the corresponding timed automata model. The resulting path, if it exists, is returned in the form of suited cycle diagram.
Fichier non déposé

Dates et versions

hal-00013692 , version 1 (09-11-2005)

Identifiants

  • HAL Id : hal-00013692 , version 1

Citer

Tewfik Meftah, Hervé Guéguen, Noel Bouteille, Véronique Boutin. constraint specification of the control logic of automated manufacturing systems. ETFA 2005 : 10th IEEE international Conference on Emerging Technologies and Factory Automation, 2005, Catania, Italy. pp.II:599-II:605. ⟨hal-00013692⟩
108 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More