CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Synthesis of Restart States for Manufacturing Cell Controllers

Kristin Andersson (Institutionen för signaler och system, Automation) ; Bengt Lennartson (Institutionen för signaler och system, Automation) ; Martin Fabian (Institutionen för signaler och system, Automation)
2nd IFAC Workshop on Dependable Control of Discrete Systems, DCDS’09, Bari, Italy (2009)
[Konferensbidrag, refereegranskat]

In earlier work we presented a method for restart of manufacturing systems. After correction of an error, the system resumes normal production by returning to a certain restart state in the control function, and from there reexecuting parts of the work schedule. The current paper concerns automatically finding (synthesizing) the restart states. The control function is modeled by finite automata, and properties of the restart states are defined. The synthesis process finds all possible restart states, guaranteeing that the execution restrictions are fulfilled during a restart, and that the production goals can be maintained. The error and the corrective actions preceding the restart need not be modeled; neither is it necessary to know the exact physical states of the machines at the time of the error. The number of restart states is finally minimized to reduce the need for extensions to the control program.



Denna post skapades 2009-04-15. Senast ändrad 2016-02-01.
CPL Pubid: 92490

 

Institutioner (Chalmers)

Institutionen för signaler och system, Automation

Ämnesområden

Information Technology

Chalmers infrastruktur