Formal analysis of existing control software in cyclic closed production line

IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM

Volumn 1, Issue , 2001, Pages 539-544

  Lenart, L ^a  

^a JO EF STEFAN INSTITUTE   (Slovenia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CONTROL SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; FLEXIBLE MANUFACTURING SYSTEMS; MATHEMATICAL TRANSFORMATIONS; PROBABILISTIC LOGICS; PROGRAMMABLE LOGIC CONTROLLERS; SCADA SYSTEMS; SET THEORY;

DYNAMIC EVENT SYSTEMS (DES);

COMPUTER SOFTWARE;

EID: 0034876956     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. An operational approach for the control of manufacturing process
2. Supervisory control of a class of discrete event processes
3. Application of discrete event system theory to flexible manufacturing
4. Control of discrete event systems