pdf download - Software and Computer Technology - TU Delft
pdf download - Software and Computer Technology - TU Delft
pdf download - Software and Computer Technology - TU Delft
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
C.3 The Models Constructed for the Case Study Lydia Models<br />
bool c a b l e B i n , c a b l e B o u t ;<br />
bool c a b l e C i n , c a b l e C o u t ;<br />
bool f u s e A i n , f u s e A o u t ;<br />
bool f u s e B i n , f u s e B o u t ;<br />
bool f u s e C i n , f u s e C o u t ;<br />
bool f u s e D i n , f u s e D o u t ;<br />
bool n o t c o n n e c t e d 1 , n o t c o n n e c t e d 2 ;<br />
/ / d e c l a r a t i o n o b s e r v a b l e s<br />
a t t r i b u t e o b s e r v a b l e ( s t a r t u p , s t a t u s F D , status TBCB ) =<br />
t r u e ;<br />
a t t r i b u t e o b s e r v a b l e ( status CRCB , status COL ,<br />
s t a t u s c h i l l e r ) = t r u e ;<br />
/ / d e c l a r a t i o n components<br />
system Cable cableA , cableB , cableC ;<br />
system Fuse fuseA , fuseB , fuseC , fuseD ;<br />
system L o w v o l t a g e p o w e r s u p p l y LV PS1 , LV PS2 , LV PS3 ;<br />
system Unit FD , TBCB, CRCB, c o l l i m a t o r , c h i l l e r ;<br />
system PDU pdu ;<br />
}<br />
/ / d e f i n i t i o n s t r u c t u r e power s u p p l y example<br />
pdu ( s t a r t u p , c a b l e A i n , c a b l e B i n , c a b l e C i n ) ;<br />
cableA ( c a b l e A i n , c a b l e A o u t ) ;<br />
LV PS1 ( c a b l e A o u t , f u s e A i n , n o t c o n n e c t e d 1 ) ;<br />
fuseA ( f u s e A i n , f u s e A o u t ) ;<br />
FD ( f u s e A o u t , s t a t u s F D ) ;<br />
cableB ( c a b l e B i n , c a b l e B o u t ) ;<br />
LV PS2 ( c a b l e B o u t , f u s e B i n , f u s e C i n ) ;<br />
fuseB ( f u s e B i n , f u s e B o u t ) ;<br />
TBCB ( f u s e B o u t , status TBCB ) ;<br />
fuseC ( f u s e C i n , f u s e C o u t ) ;<br />
CRCB ( f u s e C o u t , status CRCB ) ;<br />
LV PS3 ( c a b l e B o u t , f u s e D i n , n o t c o n n e c t e d 2 ) ;<br />
fuseD ( f u s e D i n , f u s e D o u t ) ;<br />
c o l l i m a t o r ( f u s eD o u t , status COL ) ;<br />
cableC ( c a b l e C i n , c a b l e C o u t ) ;<br />
c h i l l e r ( c a b l e C o u t , s t a t u s c h i l l e r ) ;<br />
C.3 The Models Constructed for the Case Study<br />
C.3.1<br />
Model of a Control Loop<br />
/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /<br />
/ / / /<br />
/ / ( c ) P h i l i p s Medical Systems / <strong>TU</strong> D e l f t / /<br />
100