Automatic synthesis of control programs in polynomial time for an assembly line

Proceedings of the IEEE Conference on Decision and Control

Volumn 2, Issue , 1996, Pages 1749-1754

  Klein, Inger ^a   Jonsson, Peter ^a   Backstrom, Christer ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED MANUFACTURING; CONTROL SYSTEM SYNTHESIS; ERROR DETECTION; FACTORY AUTOMATION; PROCESS CONTROL; PROGRAMMABLE LOGIC CONTROLLERS;

COMBINATORIAL DYNAMICAL SYSTEMS; FAST FORMAL METHODS; POLYNOMIAL TIME ALGORITHM;

PRODUCTION CONTROL;

EID: 0030388390     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Review

References (14)