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

More documents

Recommendations

Info

AbstractState Based Control of Timed Discrete Event Systems using Binary Decision DiagramsAli SaadatpoorMaster of Applied ScienceGraduate Department of Electrical and Computer EngineeringUniversity of Toronto2004This thesis discusses a new synthesis approach to the supervisory control of TimedDiscrete Event Systems (TDES).The new approach is much more efficient than the existing synthesis approaches. Usingthis method, many practical systems can be synthesized using a personal computer.Besides, it is shown that the number of nodes in the Binary Decision Diagram (BDD)representing a TDES can be a better measurement of the complexity of the TDES thanthe number of states and transitions.The structural information of the timers in a given TDES together with the reductionproperties of BDDs are exploited to help this new method achieve more efficient performance.The algorithm is based on the fact that each flat structure can be divided intosmaller structures.The success of our new approach is illustrated with very large versions of existing examplestaken from the literature.ii
AcknowledgementsI would like to sincerely thank my supervisor Professor W. M. Wonham, for providinguseful insight in the area of Discrete Event Systems. I have been truly honoured by hisgenerosity, support and guidance throughout the course of my studies, and I feel priviledgedto have been his student.I am very grateful for the support of all my friends in Toronto and specially my colleaguesin Systems Control Group. I would like to acknowledge Maziar Khatir, who was highlysupportive and Farid Fadaie for his help and patience. Special thanks to Ma Chuan forhis complementary guidance throughout the development of this work.Financial support, in the form of University of Toronto Fellowship and Research Assistantshipfrom Professor Wonham, is gratefully appreciated.At last I devote this work to my Father and Mother in Iran for their love and support.iii
Page 1: State Based Control of Timed Discre
Page 5 and 6: 5.3.1 Transition Predicates . . . .
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 53 and 54:
Chapter 5. BDD based implementation
Page 55 and 56:
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 ...

Create successful ePaper yourself

Delete template?

Save as template?