Dealing with routing in an automated manufacturing cell: a supervisory control theory application

2011 ◽  
Vol 49 (16) ◽  
pp. 4979-4998 ◽  
Author(s):  
Daniel B. Silva ◽  
Agnelo D. Vieira ◽  
Eduardo F.R. Loures ◽  
Marco A. Busetti ◽  
Eduardo A.P. Santos
2014 ◽  
Vol 11 (4) ◽  
pp. 1229-1247 ◽  
Author(s):  
Eduardo Santos ◽  
Agnelo Vieira ◽  
Sauro Schaidt ◽  
Eduardo Loures

Constraint-based processes require a set of rules that limit their behavior to certain boundaries. In these processes, the control flow is defined implicitly as a set of constraints or rules, and all possibilities that do not violate any of the given constraints are allowed to be executed. The present paper proposes a new approach to deal with constraint-based processes. The proposed approach is based on Supervisory Control Theory, a formal foundation for building controllers for discrete-event systems. The controller proposed in this paper monitors and restricts execution sequences of activities such that constraints are always obeyed. We demonstrate that our approach may be used as a declarative language for constraint-based processes. In order to provide support for users of such processes and to facilitate the using of our control approach, we offer a set of constraints modeled by automata. This set encompasses the constraints frequently needed in workflow system.


2005 ◽  
Vol 38 (1) ◽  
pp. 78-83
Author(s):  
Gilvan O. Costa ◽  
Eduardo A P Santos ◽  
Marco A Busetti

2020 ◽  
Vol 2 (1) ◽  
pp. 31-42
Author(s):  
Quan Quan ◽  
Zhiyao Zhao ◽  
Liyong Lin ◽  
Peng Wang ◽  
Walter Murray Wonham ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document