Contributions à la synthèse de commande des systèmes à évènements discrets: nouvelle modélisation des états interdits et application à un atelier flexible

Abstract : A manufacturing system may be represented by Discrete Event System (DES). Apart from planning (where people work with ratios of products fabricated per week or per day), any modelling could be based on the concepts of event and activities. An event corresponds to a state change. An activity is a black-box summarizing what is occurring between two events. When using Petri Nets, events are associated with transitions, and activities with places. Our work proposes a supervisory synthesis for Discrete Event System modelled by a class of Petri Net called Marked Graph. The objective of this synthesis is to build a control law that enforces the system to respect a set of given specifications. To model these specifications, we propose new mathematical formulas called Marking Exclusion Constraint (MEC). This model is our first contribution. The Second main contribution of my thesis is to synthesize a computationally efficient technique to build a supervisor that enforces the system to respect the constraints by avoiding a set of forbidden states modelled by MEC specifications. We extend this synthesis technique to solve the problem in the presence of uncontrollable events and unobservable events. Sometimes in order to study the performance aspects, we must take in consideration the time data. Thus we address control synthesis for Timed Discrete Event Systems under MEC specifications by using Timed Petri Nets
Document type :
Theses
Complete list of metadatas

Cited literature [53 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01750418
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 12:45:46 PM
Last modification on : Tuesday, April 10, 2018 - 1:27:59 AM

File

DDOC_T_2012_0412_ATLI.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01750418, version 1

Collections

Citation

Maen Atli. Contributions à la synthèse de commande des systèmes à évènements discrets: nouvelle modélisation des états interdits et application à un atelier flexible. Autre. Université de Lorraine, 2012. Français. ⟨NNT : 2012LORR0412⟩. ⟨tel-01750418⟩

Share

Metrics

Record views

15

Files downloads

24