pdf download - Software and Computer Technology - TU Delft

Lydia Models
C.1 The Synthetic Models that are Used in this Thesis
}
h => ( i = ! o ) ; / / I f h e a l t h y , o u t p u t e q u a l s i n v e r s e of
t h e i n p u t
! h => ( o = f a l s e ) ; / / I f u n h e a l t h y , t h e o u t p u t i s s t u c k −
at −z e r o
system i n v e r t e r s 3
(
bool w,
)
{
/ / i n p u t
bool hA , hB , hC , / / h e a l t h s
bool y , z / / o u t p u t s
/ / D e c l a r a t i o n i n t e r n a l v a r i a b l e s
bool x ;
/ / D e c l a r a t i o n o b s e r v a b l e s
a t t r i b u t e o b s e r v a b l e (w, y , z ) = t r u e ;
/ / D e c l a r a t i o n i n v e r t e r s
system i n v e r t e r invA , invB , invC ;
}
C.1.4
/ / Connect t h e 3 i n v e r t e r s
invA ( w, hA , x ) ;
invB ( x , hB , y ) ;
invC ( x , hC , z ) ;
Model of the 4-inverter Example
A strong model of the 4-inverter system.
system i n v e r t e r ( b ool h , i , o )
{
h => ( o = ! i ) ;
! h => ( o = i ) ;
}
system i n v e r t e r s 4 ( b ool hA , hB , hC , hD , a , b , c , d , e )
{
system i n v e r t e r invA , invB , invC , invD ;
invA ( hA , a , b ) ;
invB ( hB , b , c ) ;
invC ( hC , c , d ) ;
invD ( hD , d , e ) ;
93