application, implementation and integration of discrete-event systems control theory presented by:...
TRANSCRIPT
Application, Implementation and
Integration of Discrete-Event Systems
Control Theory
Presented By: Michael Wood
Outline
• Background Theory
• Initiated Event Methodology
• Cat and Mouse
• IDES Software
• Contributions
2
Background Theory
3
Background Theory
Automaton (Q,,,q0,Qm)
4
Background Theory
• Disablement commands are for the purpose of achieving a goal
• The solution (supervisor) should be automatically generated
5
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
The Event Set
∑7
The Event Set
∑
• Complexity of plant
• Expressible objectives
• Ease of implementation
8
Why DES?
• Efficient solution
• Correct solution
… But beware the human component
9
Initiated Event Methodology
10
Initiated Event
• An abstract ideology for the definition of the event space
• An integrated variant of the generated solution
11
A Vending Machine
12
A Vending Machine
∑ = {token, pop, refill}
13
Specification
Pop costs two tokens
14
Specification
Don’t steal tokens
15
Monolithic Specification
16
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
System Variables
∑ = {token, pop, refill}
tokens pops
token
tokens = tokens + 1 ---
pop tokens = tokens - 2
pops = pops - 1
refill --- pops = 3
18
Review
19
Cat and Mouse
20
Cat and Mouse
21
Cat and Mouse
• Realistic model of resource management
• Nontrivial solution
• Behaviour unrelated to control objectives
22
Cat and Mouse
23
Cat and Mouse
24
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
IDES Software
26
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
IDES Software
28
IDES Software
28
IDES Software
28
IDES Software
28
IDES Software
28
IDES Software
28
IDES Software
28
IDES Software
28
IDES Software
28
IDES Software
28
IDES Software
28
IDES Software
28
IDES Software
28
IDES Software
28
IDES Software
28
IDES Software
28
Antialiasing
29
Custom Hardware
30
IDES Software
31
IDES Software
31
IDES Software
31
IDES Software
31
IDES Software
31
IDES Software
31
IDES Software
31
IDES Software
31
Contributions
32
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
Thank You.
34