State Based Control of Timed Discrete Event Systems using Binary ...

More documents

Recommendations

Info

Contents1 Introduction 11.1 Discrete-Event Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 Timed Discrete Event Systems . . . . . . . . . . . . . . . . . . . . . . . . 21.3 Objective of the Thesis . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 Supervisory Control of Timed Discrete Event Systems 52.1 Timed Discrete Event Systems . . . . . . . . . . . . . . . . . . . . . . . . 52.2 Controllability of TDES . . . . . . . . . . . . . . . . . . . . . . . . . . . 82.3 Supremal Controllable Sublanguage . . . . . . . . . . . . . . . . . . . . . 103 Introduction to Binary Decision Diagrams 123.1 Function Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133.2 Binary Decision Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . 174 Synthesis Algorithm Based on Predicates 214.1 Predicates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 214.2 Implementation of Supervisory Controller by Predicates . . . . . . . . . . 305 BDD based implementation 325.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 325.2 Previous Implementation . . . . . . . . . . . . . . . . . . . . . . . . . . . 345.3 Converting ATG to TTG . . . . . . . . . . . . . . . . . . . . . . . . . . . 35iv
5.3.1 Transition Predicates . . . . . . . . . . . . . . . . . . . . . . . . . 365.4 BDD based Computation of Supremal Controllable Sublanguage . . . . . 425.4.1 Optimization in the algorithm . . . . . . . . . . . . . . . . . . . . 475.4.2 Implementation of Controller by BDDs . . . . . . . . . . . . . . . 485.5 Modular Supervision of TDES . . . . . . . . . . . . . . . . . . . . . . . . 496 Examples 536.1 Tutorial Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 536.2 Manufacturing Cell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 586.2.1 Converting ATG to TTG . . . . . . . . . . . . . . . . . . . . . . . 586.2.2 Finding a Controller for Manufacturing Cell . . . . . . . . . . . . 626.3 Two-Machine Workcell . . . . . . . . . . . . . . . . . . . . . . . . . . . . 677 Conclusions and Future Research 71A BuDDy Package 73Bibliography 74v
Page 1 and 2: State Based Control of Timed Discre
Page 3: AcknowledgementsI would like to sin
Page 7 and 8: 6.13 Spec3 TTG . . . . . . . . . .
Page 9 and 10: Chapter 1. Introduction 2models.In
Page 11 and 12: Chapter 1. Introduction 4timize the
Page 13 and 14: Chapter 2. Supervisory Control of T
Page 19 and 20: Chapter 3Introduction to Binary Dec
Page 21 and 22: Chapter 3. Introduction to Binary D
Page 29 and 30: Chapter 4. Synthesis Algorithm Base
Page 39 and 40: Chapter 5BDD based implementation5.
Page 41 and 42: Chapter 5. BDD based implementation
Page 55 and 56:
Chapter 5. BDD based implementation
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
Chapter 6. Examples 54Thus α, β a
Page 63 and 64:
Chapter 6. Examples 56from root to
Page 65 and 66:
Chapter 6. Examples 586.2 Manufactu
Page 67:
Chapter 6. Examples 60L |Q| |T |TTC
Page 70 and 71:
Chapter 6. Examples 63700060005000T
Page 72 and 73:
Chapter 6. Examples 656.2 compares
Page 74 and 75:
Chapter 6. Examples 676.3 Two-Machi
Page 76 and 77:
Chapter 6. Examples 69Figure 6.18:
Page 78 and 79:
Chapter 7Conclusions and Future Res
Page 80 and 81:
Appendix ABuDDy PackageBuDDy [17] i
Page 82 and 83:
Bibliography[1] S. B. Akers. Functi
Page 84 and 85:
Bibliography 77[18] C. Ma. Nonblock
show all

State Based Control of Timed Discrete Event Systems using Binary ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?