Control synthesis for admissible paths based on theory of regions: Application to a flexible manufacturing system

Author

Rezg, N. ; Rezig, S. ; Kammoun, M.-A. ; Achour, Z.

Author_Institution

Univ. of Lorraine, Metz, France

fYear

2014

fDate

8-10 Oct. 2014

Firstpage

1807

Lastpage

1811

Abstract

This work presents a new approach of control specification. Many researches on control synthesis sacrificed some requirement of control in order to satisfy control specifications that are expressed by a linear combination of place markings in a given reachability graph. However, these control specifications cannot usually fulfil some requirement of control; this is why we introduce a new approach based on admissible paths constraints and not on the combination of place markings. An application of this approach of control specification is implemented on a flexible manufacturing system (FMS) at ENIM (National School of Engineering of Metz) in France.

Keywords

control system synthesis; flexible manufacturing systems; reachability analysis; ENIM; France; National School of Engineering of Metz; admissible path constraints; control specification; control synthesis; flexible manufacturing system; linear combination; place markings; reachability graph; Conferences; Law; Petri nets; Supervisory control; Vectors; Workstations; Control specification; Discrete event systems; Petri nets; Supervisory control; Theory of regions;

fLanguage

English

Publisher

ieee

Conference_Titel

Control Applications (CCA), 2014 IEEE Conference on

Conference_Location

Juan Les Antibes

Type

conf

DOI

10.1109/CCA.2014.6981575

Filename

6981575