Combined synthesis/verification approach to programmable logic control of a production line

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 16, Issue , 2005, Pages 98-103

  Mušič, Gašper ^a   Matko, Drago ^a  

^a UNIVERSITY OF LJUBLJANA   (Slovenia)

Author keywords

Discrete event systems; Manufacturing systems; Petri nets; Programmable logic controllers; Supervisory control

Indexed keywords

COMPUTER CIRCUITS; CONTROLLABILITY; DISCRETE EVENT SIMULATION; MANUFACTURE; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS; PROGRAMMED CONTROL SYSTEMS; SPECIFICATIONS;

DISCRETE EVENT MODELS; NONBLOCKING OPERATIONS; PROGRAMMABLE LOGIC CONTROL; REACHABILITY ANALYSIS; SEQUENTIAL SPECIFICATIONS; SPECIFICATION MODELS; SUPERVISORY CONTROL; SUPERVISORY CONTROL THEORY;

CONTROLLERS;

EID: 79960713112     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20050703-6-cz-1902.01441     Document Type: Conference Paper

References (9)

1. Cassandras, C.G. and S. Lafortune (1999). Introduction to Discrete Event Systems. Kluwer Academic Publishers. Dordrecht.
2. Frey, G. and L. Litz (2000). Formal methods in plcprogramming. In: Proc. of the SMC'2000.
3. Murata, T. (1989). Petri nets: Properties, analysis and applications. Proc. IEEE 77, 541-580.
4. Mušič, G. and D. Matko (2003). Petri net control of systems under discrete-event supervision. In: ECC'03 European Control Conference. Cambridge, UK.
5. Mušič, G., B. Zupančič and D. Matko (2002). Model based programmable control logic design. In: Preprints of the 15th Triennial IFAC World Congress. Barcelona, Spain.
6. Ramadge, P.J. and W.M.Wonham (1987). Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization 25, 206-230.
7. Vaz, A.F. and W.M. Wonham (1986). On supervisor reduction in discrete-event systems. International J. Control 44, 475-491.
8. Wonham, W.M. (2003). Notes on Control of Discrete Event Systems: ECE 1636F/1637S 2003-2004. Systems Control Group, Dept. of ECE, University of Toronto.
9. Zhou, M. and E. Twiss (1998). Design of industrial automated systems via relay ladder logic programming and petri nets. IEEE Trans. on Systems, Man, and Cybernetics - Part C 28, 137-150.