Abstract Usually, in an industrial context, the design of discrete control law to drive manufacturing system is assumed off line by several experts. This is mainly due to the lack of a generic method to model the controlled system abilities. Consequently, not only the design of all the control laws mobilizes many PLC program developers, but also, in case of unexpected resource failures, the reconfiguration process can be only considered from a manual point of view. So, to bring a solution in this field, a specific controlled system model based on the operation point of view is proposed. And from the formalization of the operation behavior, the operations properties are defined.
[1]
Stefan Edelkamp,et al.
Automated Planning: Theory and Practice
,
2007,
Künstliche Intell..
[2]
P. Ramadge,et al.
Supervisory control of a class of discrete event processes
,
1987
.
[3]
M. Niclet,et al.
On the Recent Advances in Grafcet
,
1997
.
[4]
Sushil K. Gupta.
n jobs and m machines job-shop problems with sequence-dependent set-up times
,
1982
.
[5]
Abdelhakim Khatab,et al.
Supervision and Monitoring of Production Systems
,
2000
.
[6]
Z Liu,et al.
Scheduling Theory and its Applications
,
1997
.