Search: (WAKA:ref) pers:(Lennartson Bengt 1956)
> (2005-2009) >
Synthesis of Restar...
Synthesis of Restart States for Manufacturing Cell Controllers
-
- Andersson, Kristin, 1976 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Lennartson, Bengt, 1956 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Fabian, Martin, 1960 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- 2009
- 2009
- English.
-
In: 2nd IFAC Workshop on Dependable Control of Discrete Systems, DCDS’09, Bari, Italy.
- Related links:
-
https://research.cha...
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publication and Content Type
- kon (subject category)
- ref (subject category)
To the university's database