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
Automaton (Q, , ,q 0,Q m ) 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
∑ 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: 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
System Variables ∑ = {token, pop, refill} tokenspops token tokens = tokens pop tokens = tokens - 2pops = 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: 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