1. Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood

2. Outline Background Theory Initiated Event Methodology Cat and Mouse IDES Software Contributions 2

3. Background Theory 3

4. Automaton (Q, , ,q 0,Q m ) 4

5. Background Theory Disablement commands are for the purpose of achieving a goal The solution (supervisor) should be automatically generated 5

6. Primary Assumptions The plant exists Events are generated by the plant Events occur spontaneously, asynchronously and instantaneously Events are abstract Control is imposed by disablement 6

7. The Event Set ∑ 7

8. ∑ Complexity of plant Expressible objectives Ease of implementation 8

9. Why DES? Efficient solution Correct solution … But beware the human component 9

10. Initiated Event Methodology 10

11. Initiated Event An abstract ideology for the definition of the event space An integrated variant of the generated solution 11

12. A Vending Machine 12

13. A Vending Machine ∑ = {token, pop, refill} 13

14. Specification Pop costs two tokens 14

15. Specification Don’t steal tokens 15

16. Monolithic Specification 16

17. Integrated Approach System Variable: tokens Initial Value: 0 Meaning: The current number of unspent tokens 17 System Variable: pops Initial Value: 3 Meaning: The current number of pop in the machine

18. System Variables ∑ = {token, pop, refill} tokenspops token tokens = tokens + 1 --- pop tokens = tokens - 2pops = pops - 1 refill --- pops = 3 18

19. Review 19

20. Cat and Mouse 20

21. Cat and Mouse 21

22. Cat and Mouse Realistic model of resource management Nontrivial solution Behaviour unrelated to control objectives 22

23. Cat and Mouse 23

24. Cat and Mouse 24

25. Cat and Mouse mouse State size: 5 Marker states: 0 Vocal states: Transitions: 0 1 1 1 3 2 2 11 4 4 7 3 3 5 2 2 9 0 Correct by construction? 25

26. IDES Software 26

27. IDES Software A real need exists for usable and intuitive software Effective interface for specifying DES components Integrated use of DES control theory with custom hardware components 27

28. IDES Software 28

29. IDES Software 28

30. IDES Software 28

31. IDES Software 28

32. IDES Software 28

33. IDES Software 28

34. IDES Software 28

35. IDES Software 28

36. IDES Software 28

37. IDES Software 28

38. IDES Software 28

39. IDES Software 28

40. IDES Software 28

41. IDES Software 28

42. IDES Software 28

43. IDES Software 28

44. Antialiasing 29

45. Custom Hardware 30

46. IDES Software 31

47. IDES Software 31

48. IDES Software 31

49. IDES Software 31

50. IDES Software 31

51. IDES Software 31

52. IDES Software 31

53. IDES Software 31

54. Contributions 32

55. Contributions A survey of related work An analysis of the problems that arise when using DES control theory A means for the classification of systems The Initiated-Event Methodology Concrete examples with a PIC16F84 microcontroller IDES Software 33

56. Thank You. 34