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.
Lydia Models<br />
C.3 The Models Constructed for the Case Study<br />
) {<br />
bool h EXT , h MVR , h MBU , h St<strong>and</strong> , h PEU<br />
/ / d e c l a r a t i o n i n t e r m e d i a t e v a r i a b l e s<br />
bool I a c t , I s e t , Vact , Vset , Pact , P s e t ;<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 (CURRENT ERROR) = t r u e ;<br />
a t t r i b u t e o b s e r v a b l e (SPEED ERROR) = t r u e ;<br />
a t t r i b u t e o b s e r v a b l e ( e pos , c t r s p e e d ) = t r u e ;<br />
a t t r i b u t e o b s e r v a b l e ( POSITION ERROR ) = t r u e ;<br />
a t t r i b u t e o b s e r v a b l e (POSVAL ERROR) = t r u e ;<br />
/ / d e c l a r a t i o n h e a l t h v a r i a b l e s<br />
a t t r i b u t e h e a l t h ( h EXT ) = t r u e ;<br />
a t t r i b u t e p r o b a b i l i t y ( h EXT ) = h EXT ? 0 . 9 7 : 0 . 0 3 ;<br />
a t t r i b u t e h e a l t h (h MVR) = t r u e ;<br />
a t t r i b u t e p r o b a b i l i t y (h MVR) = h MVR ? 0 . 9 8 : 0 . 0 2 ;<br />
a t t r i b u t e h e a l t h (h MBU) = t r u e ;<br />
a t t r i b u t e p r o b a b i l i t y (h MBU) = h MBU ? 0 . 9 9 : 0 . 0 1 ;<br />
a t t r i b u t e h e a l t h ( h S t a n d ) = t r u e ;<br />
a t t r i b u t e p r o b a b i l i t y ( h S t a n d ) = h S t a n d ? 0 . 9 5 : 0 . 0 5 ;<br />
a t t r i b u t e h e a l t h ( h PEU ) = t r u e ;<br />
a t t r i b u t e p r o b a b i l i t y ( h PEU ) = h PEU ? 0 . 9 6 : 0 . 0 4 ;<br />
/ / d e c l a r a t i o n components<br />
system C o n t r o l l o o p c u r r e n t l o o p , s p e e d l o o p ,<br />
p o s i t i o n l o o p ;<br />
system E r r o r c u r r e n t e r r o r , s p e e d e r r o r ;<br />
system PEU peu ;<br />
system LUC Extension l u c e x t e n s i o n ;<br />
/ / d e f i n i t i o n s t r u c t u r e c o n t r o l l o o p s<br />
c u r r e n t l o o p ( I s e t , h EXT , h MVR <strong>and</strong> h MBU , I a c t ) ;<br />
s p e e d l o o p ( Vset , h EXT <strong>and</strong> h MVR <strong>and</strong> h MBU , h St<strong>and</strong> , Vact<br />
) ;<br />
p o s i t i o n l o o p ( Pset , h EXT <strong>and</strong> h MVR <strong>and</strong> h MBU , h S t a n d<br />
<strong>and</strong> h PEU , P a c t ) ;<br />
}<br />
/ / d e f i n i t i o n s t r u c t u r e e r r o r s i g n a l s<br />
c u r r e n t e r r o r ( I a c t , I s e t , CURRENT ERROR) ;<br />
s p e e d e r r o r ( Vact , Vset , SPEED ERROR) ;<br />
l u c e x t e n s i o n ( e pos , c t r s p e e d , I s e t , Pset , Pact ,<br />
POSITION ERROR , h PEU , h EXT ) ;<br />
peu (POSVAL ERROR, h PEU ) ;<br />
107