CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.
-
Upload
emerald-phillips -
Category
Documents
-
view
213 -
download
0
Transcript of CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.
![Page 1: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/1.jpg)
CS 367: Model-Based ReasoningLecture 11 (02/19/2002)
Gautam Biswas
![Page 2: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/2.jpg)
Today’s Lecture
Today’s Lecture: Finish up Supervisory Control Onto Modeling of Continuous Systems: The Bond
Graph Approach
![Page 3: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/3.jpg)
Supervisory Controller: Examples
Admissible strings: a1 precedes a2 iff b1 precedes b2
Build trim automata Ha such that Lm(Ha) contains only those strings that contain the above ordering constraints
Is Ha blocking?
In general, how do we build supervisors? If all events controllable and observable:
)()/()()/( 11 amma HLGSLandHLGSL
![Page 4: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/4.jpg)
Realizing Supervisors
How to build an automaton that realizes S?
Build an automaton that marks K, i.e.,
)/()()()(
)/()()()()(
)()(
),,,,,,( 0
GSLGLRLGRL
GSLKGLKGLRLGRL
KRLRL
trimisRwhereYygEYR
mmmm
m
R
Note that R has the same event set as G, therefore,
Control action S(s) is encoded into transition structure of R
GRGR
))),,(((
)),((
}:{))],(([)(
00
0
0
sxyfg
syg
KsEsxfEsS
GR
R
cuc
![Page 5: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/5.jpg)
Standard Realization of S
Start with G in state x, R in state y, following the execution of
G generates that is currently enabled, i.e., this event set is present in R’s active event set at y
R executes the event as a passive observer of G and the system now moves into states x’ and y’
Set of enabled events of G given by active event set of R at y’
)/( GSLs
![Page 6: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/6.jpg)
Induced Supervisor
Reverse Question: Given C, can the product CG imply that C is controlling G
Depends on the controllability of L(C)
The supervisor for G induced by C is
ucCi EandGLwrtlecontrollabisCLiffGCLGSL )()()()/(
CiS
![Page 7: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/7.jpg)
Reduced State Realization
L(S/G) = K may not be the most economical way to represent SS in terms of an automata (memory requirements)Relax requirements L(R) = K, andCome up with
Collapse 2,5,6,7, and 8 into one state
KRL rs )()/()( GSLGRL rs
![Page 8: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/8.jpg)
Controllable sub languages and super languages of an uncontrollable language
K is not controllable wrt M and Euc
Two languages derived from K: The supremal controllable sub language K:
(Inside K) The infimal prefix-closed and controllable super
language of K: (Outside K)
MK
KMEK uc
CK
CK
MKKKK CC
K
![Page 9: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/9.jpg)
Example: Supremally Controllable Language
2
121211222
1
12211121211221
21
22
2211212112121122
},{
Re
},,{
Re
},{
},,,{
)()(
KK
lecontrollabisthisbbaababaK
prefixasacontainthatstringsallmove
lecontrollabnotKbababbaababaK
prefixasaacontainthatstringsallKfrommove
ableuncontrollKmakesbaE
bababbaabbaababaK
HLkGLM
C
uc
am
![Page 10: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/10.jpg)
Infimal Prefix-closed controllable language
}{
1
&
221
21
baaKK
lengthof
eventsableuncontrollofstringwithaastringExtend
beforeasKM
C
![Page 11: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/11.jpg)
Supervisory Control Problems
BSCP: Basic Supervisory Control Problem Given G with event set E, and Euc E, and an admissible
language La = La L(G) find supervisor such that
Look up standard realization presented couple of lectures ago (sec. 3.4.2)
DuSCP: Dual Version of SCP:minimum required language Lr L(G)
)/()/()/(
.,.,)/(
)/(
GSLGSLLGSL
eibecanitlargesttheisGSL
LGSL
otheraother
a
)/()/()/(
.,.,)/(
)/(
GSLGSLLGSL
eibecanitmalleststheisGSL
LGSL
otherrother
r
![Page 12: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/12.jpg)
Supervisory Controller Problems
SCPT: Supervisory Controller with Tolerance Ldes: desired language, try and achieve as much of it as
possible Ltot: tolerated language, do not exceed tolerated
langauge Solution:
Cdes
Ctol LLGSL )()/(
![Page 13: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/13.jpg)
Non Blocking Supervisors
Controllable:
Non blocking: Lm(G) closure:typically holds by construction of KSupervisory Controller with BlockingTypically use two measures:
Blocking Measure: Satisficing Measure:
BM(S) and SM(S) conflicting, i.e., reducing one may increase the other
K G L E Kuc ) (
)(GLKK m
)/()(
)/()(
)/(\)/()(
GSLSSM
LGSLSSM
GSLGSLSBM
m
amm
m
![Page 14: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/14.jpg)
Modular Control
Supervisor S combines the actions
of two or more supervisors, e.g.,
S1 and S2
We can always build R = R1 R2, but the point is to use R1 and R2 and take the active event sets of both at their respective states after execution of s
)/()/()/(
)/()/()/(
)()()(
2112mod
2112mod
2112mod
GSLGSLGSL
GSLGSLGSL
sSsSsS
mmm
![Page 15: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/15.jpg)
Modular Control Example: Dining Philosophers
Philosopher i picks up for j is controllable
Philosopher putting down fork is uncontrollable
Remember there is only one marked state
Design two supervisors: one for each fork
2f
(1T,
![Page 16: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/16.jpg)
Modular Control Example: Dining Philosophers
Modular supervisor Smod12 = R1 R2 G
![Page 17: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/17.jpg)
Did not cover
Unobservability
Decentralized Control
![Page 18: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/18.jpg)
Modeling of Continuous
Dynamic Systems
The Bond Graph
![Page 19: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/19.jpg)
Bond Graph Methodology
From Systems Dynamics
•formal and systematic method for modeling physical systems
•forces one to make explicit: issues about system functionality and behavior assumptions
•unlike other modeling schemes…
directly grounded in physical reality…
1-1 correspondence with components and mechanisms of the physical system modeled…
(as opposed to formal languages, such as logic)
![Page 20: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/20.jpg)
Bond Graphs… Modeling Language
(Ref: physical systems dynamics – Rosenberg and Karnopp, 1983)
NOTE: The Modeling Language is domain independent…
Bond Connection to enable Energy Transfer among components
(directed bond from A to B).
each bond: two associated variables effort, e flow, f
A Bef
![Page 21: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/21.jpg)
Bond Graphs
•modeling language (based on small number of primitives)•dissipative elements: R•energy storage elements: C, I•source elements: Se, Sf
•Junctions: 0, 1
physical system mechanisms
R C, I Se, Sf 0,1forces you to make assumptions
explicituniform network – like representation:domain indep.
![Page 22: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/22.jpg)
Generic Variables:
Signals effort, e elec. mechanicalflow, f voltage force
current velocityNOTE: power = effort × flow.
energy = (power) dt.
state/behavior of system: energy transfer between components…
rate of energy transfer = power flowEnergy Varibles
momentum, p= e dt : flux, momentumdisplacement, q = f dt : charge,
displacement
![Page 23: CS 367: Model-Based Reasoning Lecture 11 (02/19/2002) Gautam Biswas.](https://reader036.fdocuments.us/reader036/viewer/2022081519/56649ee95503460f94bfb037/html5/thumbnails/23.jpg)
Effort Flow PowerEnergyMechanics Force, F Velocity, V FxV F. V.
Electricity Voltage, V Current, I VxI VI
Hydraulic Pressure, P Volume PxQ PQ(Acoustic) flow rate
(Q)
Thermo- Temperature, Entropy Q Q dynamics T flow rate
(thermal flow rate) Pseudo
Examples:
S
Q