Centralised controller for manufacturing systems through liveness extraction approach

摘要

Following our work on the control synthesis based on the Ramadge and Wonham theory, we propose a refined centralised control approach. This approach requires modelling the plant, and some safety and liveness constraints. We propose to model the plant by a method based on occurrence and precedence rules to model the plant, and to use logical equations to model the constraints. The control synthesis approach makes it possible to use liveness extraction of controller to get functional behaviour of manufacturing discrete systems. To illustrate these new concepts, we propose to test them on an example of transfer system.