Open AccessThis article is
- freely available
Calculating Restart States for Systems Modeled by Operations Using Supervisory Control Theory
Department of Signals and Systems, Chalmers University of Technology, Göteborg, SE-412 96, Sweden
* Author to whom correspondence should be addressed.
Received: 21 September 2013; in revised form: 4 November 2013 / Accepted: 12 November 2013 / Published: 4 December 2013
Abstract: This paper presents a supervisory control theory based offline method for calculating restart states in a manufacturing control system. Given these precalculated restart states, an operator can be given correct instructions for how to resynchronize the control system and the manufacturing resources during the online restart process. The proposed method enables restart after unforeseen errors. It is assumed that the control system is modeled by operations and that possible operation sequences emerge through dependencies between the operations. The paper shows how reexecution requirements may be included in the calculation to obtain a correct behavior for the restarted system. In addition, it is shown how to filter out restart states that require less effort for the operator during the online restart, and how to adapt the nominal production to always enable restart in desired restart states.
Keywords: discrete event systems; restart; system recovery
Article StatisticsClick here to load and display the download statistics.
Notes: Multiple requests from the same IP address are counted as one view.
Cite This Article
MDPI and ACS Style
Bergagård, P.; Fabian, M. Calculating Restart States for Systems Modeled by Operations Using Supervisory Control Theory. Machines 2013, 1, 116-141.
Bergagård P, Fabian M. Calculating Restart States for Systems Modeled by Operations Using Supervisory Control Theory. Machines. 2013; 1(3):116-141.
Bergagård, Patrik; Fabian, Martin. 2013. "Calculating Restart States for Systems Modeled by Operations Using Supervisory Control Theory." Machines 1, no. 3: 116-141.