Presentation is loading. Please wait.

Presentation is loading. Please wait.

1 M. Teixeira, José E.R. Cury and Max H. de Queiroz Local.

Similar presentations


Presentation on theme: "1 M. Teixeira, José E.R. Cury and Max H. de Queiroz Local."— Presentation transcript:

1 1 M. Teixeira, José E.R. Cury and Max H. de Queiroz Local Modular Supervisory Control of DES with Distinguishers Departamento de Automação e Sistemas Universidade Federal de Santa Catarina Florianópolis, SC, Brasil

2 2 Local Modular Supervisory Control of DES with Distinguisher – ETFA’11  LMC, an extension of the SCT, is computationally efficient for implementing supervisors in DES; (QUEIROZ and CURY, 2000)  However, modeling some control requirements can be very difficult or even impossible, in practice;  DISTINGUISHERS can make the difference! (BOUZON, CURY and QUEIROZ, 2009) Motivation

3 3 Local Modular Supervisory Control of DES with Distinguisher – ETFA’11 Presentation Outline  Preliminaries: LMC (Local Modular Control) Distinguishers  Example Manufacturing line control problem  Proposal Distinguishers in LMC:  Distinguished Local Mmmm(DLMC)  Drawbacks of the DLMC Combining LMC and DLMC  Over the same SCP  Contributions  Conclusions  References

4 4 Local Modular Supervisory Control of DES with Distinguisher – ETFA’11 Preliminaries  Distinguishers D(L) = 2  *  2  * Refine each original event  Into a new nonempty set   ≠  The refinements are driven by information received from a distinguisher model D(L) =  -1 (L) ∩ L  It identifies particular instances of execution, facilitating the modeling of specifications Moving back:  LMC E1E1 E2E2 Complexity Supervision System Plants Specifications Local Plants

5 5 Local Modular Supervisory Control of DES with Distinguisher – ETFA’11 Manufacturing Line Subsystems Modeling M1: G1 M2: G2 R: G4 TU: G

6 6 Local Modular Supervisory Control of DES with Distinguisher – ETFA’11 Specifications  Controlling the buffers overflow and underflow: E1 : avoids overflow and underflow of the Buffer 1; E2 : avoids overflow and underflow of the Buffer 2; E3 : avoids overflow and underflow of the Buffer 3; E4 : avoids overflow and underflow of the Buffer 4;  Controlling the number of reworks: E5 : limits the number of reworks (at most 2 for each part)  Distributing the manufactured parts on the output conveyor: E6 : considers the quality (number of reworks), where:  q0 : without rework;  q1 : first rework;  q2 : second rework;  qd : rejected parts.

7 7 Local Modular Supervisory Control of DES with Distinguisher – ETFA’11 Specifications Modeling E 1 = Buffer 1E 2 = Buffer 2E 3 = Buffer 3 E 4 = Buffer 4 E 6 =? E 5 =?

8 8 Local Modular Supervisory Control of DES with Distinguisher – ETFA’11 Distinguishing z t r M1: M2: TU: R: w

9 9 Local Modular Supervisory Control of DES with Distinguisher – ETFA’11 Distinguished Specifications E 1 = Buffer 1E 2 = Buffer 2E 3 = Buffer 3 E 4 = Buffer 4 ? = E 6 E 5 =?

10 10 Local Modular Supervisory Control of DES with Distinguisher – ETFA’11 Distinguishers Modeling H  = Hz || Hw || Ht || Hr

11 11 Local Modular Supervisory Control of DES with Distinguisher – ETFA’11 Distinguishers in LMC  DLMC  LMC E1E1 E2E2 Global Problem Complexity Ed 1 Ed 2 Global Problem Proposition:

12 12 Local Modular Supervisory Control of DES with Distinguisher – ETFA’11 Combined Synthesis  DLMC  LMC E1E1 E6E6 Original Global Solution Complexity Ed 1 Ed 6 Refined Global Solution Combined Global Solution

13 13 Local Modular Supervisory Control of DES with Distinguisher – ETFA’11 Comparing LMC and DLMC results LMC (i)G loc_i E ioc_i K loc_i S loc_i ‖ i  I S loc i DLMC (i)Gd loc_i Ed ioc_i Kd loc_i Sd loc_i ‖ i  I Sd loc i

14 14 Local Modular Supervisory Control of DES with Distinguisher – ETFA’11 Combined Local Modular Results LMC (i  I’’) G loc_i E ioc_i K loc_i S loc_i DLMC (i  I’) Gd loc_i Ed ioc_i Kd loc_i Sd loc_i

15 15 Local Modular Supervisory Control of DES with Distinguisher – ETFA’11  Conclusions: Control Solution Conclusions and Prospects Control Problem Distinguishers LMC DLMC Simple Control Problems Complex Control Problems CLMC Computational Savings DLMC

16 16 Local Modular Supervisory Control of DES with Distinguisher – ETFA’11 Thank you all! I'm available for questions. Acknowledgments


Download ppt "1 M. Teixeira, José E.R. Cury and Max H. de Queiroz Local."

Similar presentations


Ads by Google