Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By:...
-
Upload
matilda-porter -
Category
Documents
-
view
216 -
download
0
Transcript of Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By:...
![Page 1: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/1.jpg)
Application, Implementation and
Integration of Discrete-Event Systems
Control Theory
Presented By: Michael Wood
![Page 2: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/2.jpg)
Outline
• Background Theory
• Initiated Event Methodology
• Cat and Mouse
• IDES Software
• Contributions
2
![Page 3: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/3.jpg)
Background Theory
3
![Page 4: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/4.jpg)
Background Theory
Automaton (Q,,,q0,Qm)
4
![Page 5: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/5.jpg)
Background Theory
• Disablement commands are for the purpose of achieving a goal
• The solution (supervisor) should be automatically generated
5
![Page 6: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/6.jpg)
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
![Page 7: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/7.jpg)
The Event Set
∑7
![Page 8: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/8.jpg)
The Event Set
∑
• Complexity of plant
• Expressible objectives
• Ease of implementation
8
![Page 9: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/9.jpg)
Why DES?
• Efficient solution
• Correct solution
… But beware the human component
9
![Page 10: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/10.jpg)
Initiated Event Methodology
10
![Page 11: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/11.jpg)
Initiated Event
• An abstract ideology for the definition of the event space
• An integrated variant of the generated solution
11
![Page 12: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/12.jpg)
A Vending Machine
12
![Page 13: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/13.jpg)
A Vending Machine
∑ = {token, pop, refill}
13
![Page 14: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/14.jpg)
Specification
Pop costs two tokens
14
![Page 15: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/15.jpg)
Specification
Don’t steal tokens
15
![Page 16: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/16.jpg)
Monolithic Specification
16
![Page 17: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/17.jpg)
Integrated Approach
System Variable: tokensInitial Value: 0
Meaning: The current number of unspent tokens
17
System Variable: popsInitial Value: 3
Meaning: The current number of pop in the machine
![Page 18: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/18.jpg)
System Variables
∑ = {token, pop, refill}
tokens pops
token
tokens = tokens + 1 ---
pop tokens = tokens - 2
pops = pops - 1
refill --- pops = 3
18
![Page 19: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/19.jpg)
Review
19
![Page 20: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/20.jpg)
Cat and Mouse
20
![Page 21: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/21.jpg)
Cat and Mouse
21
![Page 22: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/22.jpg)
Cat and Mouse
• Realistic model of resource management
• Nontrivial solution
• Behaviour unrelated to control objectives
22
![Page 23: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/23.jpg)
Cat and Mouse
23
![Page 24: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/24.jpg)
Cat and Mouse
24
![Page 25: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/25.jpg)
Cat and Mouse
mouse
State size:5
Marker states:0
Vocal states:
Transitions:0 1 11 3 22 11 44 7 33 5 22 9 0
Correct by construction
?25
![Page 26: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/26.jpg)
IDES Software
26
![Page 27: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/27.jpg)
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
![Page 28: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/28.jpg)
IDES Software
28
![Page 29: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/29.jpg)
IDES Software
28
![Page 30: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/30.jpg)
IDES Software
28
![Page 31: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/31.jpg)
IDES Software
28
![Page 32: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/32.jpg)
IDES Software
28
![Page 33: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/33.jpg)
IDES Software
28
![Page 34: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/34.jpg)
IDES Software
28
![Page 35: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/35.jpg)
IDES Software
28
![Page 36: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/36.jpg)
IDES Software
28
![Page 37: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/37.jpg)
IDES Software
28
![Page 38: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/38.jpg)
IDES Software
28
![Page 39: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/39.jpg)
IDES Software
28
![Page 40: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/40.jpg)
IDES Software
28
![Page 41: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/41.jpg)
IDES Software
28
![Page 42: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/42.jpg)
IDES Software
28
![Page 43: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/43.jpg)
IDES Software
28
![Page 44: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/44.jpg)
Antialiasing
29
![Page 45: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/45.jpg)
Custom Hardware
30
![Page 46: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/46.jpg)
IDES Software
31
![Page 47: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/47.jpg)
IDES Software
31
![Page 48: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/48.jpg)
IDES Software
31
![Page 49: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/49.jpg)
IDES Software
31
![Page 50: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/50.jpg)
IDES Software
31
![Page 51: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/51.jpg)
IDES Software
31
![Page 52: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/52.jpg)
IDES Software
31
![Page 53: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/53.jpg)
IDES Software
31
![Page 54: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/54.jpg)
Contributions
32
![Page 55: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/55.jpg)
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
![Page 56: Application, Implementation and Integration of Discrete-Event Systems Control Theory Presented By: Michael Wood.](https://reader036.fdocuments.in/reader036/viewer/2022062421/56649dc75503460f94abbc40/html5/thumbnails/56.jpg)
Thank You.
34