Automatic scheduling and verification of the control function of flexible assembly cells in an information reuse environment
Authors:
- Kristin DanielssonKDKristin Danielsson
- Johan RichardssonJRJohan Richardsson
- Bengt LennartsonBLBengt Lennartson
- Martin FabianMFMartin Fabian
- 1 January 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 80-85
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Reuse of information as a base for development and verification of control programs for flexible manufacturing cells2004
- Automated control synthesis for an assembly line using discrete event system control theoryIEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), 2003
- Verification of a controller for a flexible manufacturing line written in Ladder Diagram via model-checking2002
- Formal verification of PLC programs1998
- Application of discrete-event-system theory to flexible manufacturingIEEE Control Systems, 1996
- The control of discrete event systemsProceedings of the IEEE, 1989