• No results found

Integrating observational and computational features in the specification of state based, dynamical systems

N/A
N/A
Protected

Academic year: 2020

Share "Integrating observational and computational features in the specification of state based, dynamical systems"

Copied!
29
0
0

Loading.... (view fulltext now)

Full text

(1)

!

"

! " !

£

! "#$ %&'(

(2)

!

$! % !

&'

( ) * & # ) %

+$! & ,) - !

.

/

* +%

"

%&' )

% & ) /!

%+& ,)-

+

% - "

* !

" ! !

0 % 1 &#)

* %

"

&#) %

2

* + *

- % " &#)

1 !

* % & #) +

-&() /1

% "

%1

"

1 & ) / & )

(3)

&)

%

" &)

&) - $*

+

-

*

" *

1 % #

+-1%

1

,2

0%1

!

& ') 1 %

+

- % "

& ')

%

01%!

* %&#( #)

"1

1

%

!

%

* 3 + *

4 *- .

+-

+ -*

5

67 0

4 7

Æ

(4)

7 ÆÆ 8 Æ 0

Æ +& )-

! 1

Æ

"

Æ!

0 4Æ

+-

4 Æ

5 7 1

5 !

0!" +-

+ +-+--

7 1

9

% :

+0

-0

" *

+-%

# 6+- 0 +-

+ -+-

" +- +-

+- 1 +-

7+

/,,, -.,

12 3 Æ/Æ4+Æ

4 /Æ ¼

Æ ¼

¼

4

+Æ ¼

Æ ¼

5 ¼

Æ,

123 Æ/Æ4+

Æ4 /Æ ¼

Æ ¼

¼

4

+Æ ¼

Æ ¼

¼

5Æ,

4/5Æ/

1 1 2 1 22

/ 4/ /

Æ5 Æ 4/Æ5 Æ5 ,

(5)

$% & 0 +- +Æ-

+-+- %4

7 8 8 ¼ ½ 8 ½ ¼ ¾ ½

; + &,#

# ) - 0

4

$% ' %

&#)+<- < !

+8 !

%

*- =Æ7

Æ<

½

/ +<- <

+ %! - 8 Æ7

<Æ 7

½

>>

0 <

<

7 7

8 & Æ ½ Æ

)+Æ +--8Æ

+

+--Æ7

< + 7 ½

>>

8 4- "

+<- < < + " - " 7 7 + " 8 Æ" ½ + ½

>>

-

() * 1 %

<

+

-

"+ ËÌ 8 7 + 8+ > -+ > - ËÌ

" ! % 4 +?% #- 4

(6)

+, +- +

0 %

- 6+- 0+-

*

% +-

0+-!1

1 ! 1

+-

+. +- +

9 ' (

/ +- +-

.+-*

$%

11+

-%+- 0+-%4

! + - 1

*+- % +- 0 %

1

1 1

+

-"+ -1 1

+-

+ +-

!

"# $ "+

-+-%1

+1-

. 1

0 * + +-+-- %

! +-

8 Æ %

%

+# +- % 7

(7)

7

#

&

+- !

+-

"# $ " * + +-+--

*

7 Æ8Æ Æ8ÆÆ

& +- +- 8

+

+ +--

++--- +

-"# $ A9 +-+- 0

*

+-

0 +- 7

7

8 +-

" % +

-7

!

;! +

% Æ

ÆÆ7

"!%

! !

' 6+- 0+-

+-7 + -

7

+- +-7 +- +

-% +-

7 !

; !

7 7

Æ+-

Æ

Æ 8Æ

+- %+- +

-+

+

Æ- +"

- .

7

ÆÆÆ 7

+

9

*

* 6+- 0+-0

+- +- +- +- 0 +

+-* +- + 8+

8

(8)

/ +-* +-

4* +-

$% , / +<-

"

&)< ! %

&#)7

! " &) !

# &" "

" &)

Æ<

½ " " &) #8 0

% +&#)-

B <

! ! ! 7

#8 ! ! !

!7 7 ½

>>

4 "

!

% < "

"

&) <

" % 7

! 8

!

# +&" "

)Æ- 8&+" - +"

- )ÆÆ Æ<

½ " " &) #8 ?% ; + - + -

" %

< &#) <

<

0< + -+

8 -

" &)

+"

-+"

" " & )

#8 0 <

<* +-8 +-

+" - +- + - ! + # 8 + -

<** /

(9)

C

" 7 + 7 +

"

-

1 +

"

-- 7

+ C

"

+-8

+" +-- 8

+- 8

+

"

-$<

+D

- "<*8

+ C

-+-C +

"

- <

8

"

* $ 8

+ C

C -

() - B 1$!

1 *7

1

"<*<

4

2 4 "

!

*

+. +- 7

Æ +- +- +

! '

(

8+- Æ8+

-# (

Æ8+- 8+

-" 7 8 +-

8

Æ

8

Æ

Æ Æ

8

Æ Æ

Æ 8

Æ

Æ 8 +- #

7 Æ 8 +-

Æ 8

Æ

Æ Æ

8

Æ Æ

Æ

8

Æ

8

8 +- +"

#

-" *

+ - %

+ -

0*

+

(10)

+ / +- % 7

+- +- + +

7

- +- +

8+- 8+

-"# $ "7

Æ

8

Æ

8

Æ

8

Æ

+-

+- +-

" "9 ( #

/ +- +-* +

+-*-+- 4

*+ *-++

+

++

- "

+ @1 ,- !%4 ++

++

+ +-

+- +- ++

! +-

"# $ +- 6 +Æ-

7

* +-!

7 +-

7 % *

+ - "

%%+-

; % % ++

E %8

4

% % ++

4

"!

+-+!

-

+ # +-

+- +-

++

! +

/ ,6/ 4

/# #1

/

(11)

" 8

# D

8 0 #

!

!

!

% 4 + +-

/

+%+

-%

%

%

¼

½

½

¾

"

.

%

%

+- ; %8E#9

(%

8

# 0

!

!

!

%

++-

# %

% ++

& +-

+- +-

"# $ 9 '9 #

() ' "%1

% +$! - 1+ %

%- .

* %

F1F

0 * %

!*

%&( )%

* 6 +- 0 +

+-*+- + 8

+--

8

G7 &'

*+- %+-

$% , . 1 8

+-

7

½

¾

+- /

(12)

+-

0

/

G

!

% G 8 Æ 7 7

&'+

+ +--

++---*+

%+- 8

+- 8+- "

" * 4

. 9 ( #

## # # #, H

*#9 (

9 % *

1 * %

%

- 6 +-

+

0+-

( (

7 ( (

7

( (

%+-

"

" +-* +- 1

+-

! +-( (

( (

+@1 #'-7

½

¾

"

. 0!"

+- +

- +- 7

4 7

1 241 4

21 24,

(13)

0 +- 7 +- + - 7 + - +-

1 +

Æ+-

ÆÆ +- +

- 1 +- +

+ - + -7 8 ¼ ¼ 8 ¼ ¼ 7 + + ¼ +"

+ 1- 0

1+-

" +- + - ! +-* +

-* 0 !

+-* + + - +- +

- "+

&)-+#/ +- 7 +- +

-

Æ + - +

Æ8 Æ8

+-" . +-

Æ8

Æ 8

Æ

Æ8+- Æ 8 Æ " 4

$%# 0 &#)

+<- +

<

- ) 7 ) 8 )+- ! +) - · ) 7< < $% · $% * ! + ) !

!)7 ! ! -

? )7 +<- + < - 7 +< - +<- + 1 < < " 8+ $% Æ ¼ ¡ 8 ¼

Æ <- <* <

* "

(14)

7

+<

-

+<-

7

" ¼

"

7

+

+++

Æ ¼

-Æ ¼

" ¼

´µ -8++

$Æ%

-Æ"

¼

7

¼

1

¼

+

$%

; )<*

"

*

$% # .+Æ-+

Æ

-+

+

-+@1 ,-+-7+

-+

- +-7+Æ- +

Æ

-

7

4

7

$¼%

$ ½%

$ ¾%

4

;

+"

&,# ## )

-"

/

%

4

% *+

%+

-%+- :

¼

7

2

%

%

* :

## 0 +-7 +- +

-

1

7

,,- :,;,9. 12 /+ ¼

+ ¼

13

2 + ¼

, < -: =,:,;.

,

71 ¼

¼

(15)

$% #& . +- 7 +- +

- I

* +-

+- % +

- %

+- * Æ +

+- +-* G 7

Æ &'

G

7 Æ &

'

*

Æ Æ % +- +

-

Æ 8

Æ

*

¼

G

Æ

Æ

8

¼

G

Æ

Æ +"

4

-+#' +- 7 +- +

-

Æ +

-

+- +-

Æ 8

Æ8

+-" 9 @1 ,

$%#* . )7+<- +

<

-

Æ

<

$% ¼

*

!

Æ

8 )+Æ-

Æ<

* !

)+

@1 -I

51%

= *

1 * +%-!

"

9 ## : %

* *+

%

1 - /

! Æ =*

%

! 4 1

!

0 %

1 !

* " *

9 #

%

%

# #7 # /

,

(16)

5*%

!

% *

11%

!41

" % I

*

%

* +"

!

H

%

%

-

!

!+-*

:

* 0 9

0 1 %

1 :

?% #

+

- % !

% 0

0 !" +-

+ +-+--

7

+-* #

0!"

+- +

-

+%- 7

4

%7

.%

+%- 1

1 2

" ,==,=&,

(17)

6 +- 0 +- +

+- -+

-

" +- +-

+- 1+-

7

+

-$% # @1 ,+-

+,- +- +- ;

0 @1 #

+%-7+- +

- +--7+,- +

,

-

0 % - +"

¼

7

4

+

-

%+

-" ! 4 4

! 4 +- :

%

& 6+- 0 +-$

*

+-$

0 +- +- 8

Æ % %

; +

+ +--

++--- %

+- +"9

,

' 6+- 0 +

+-7

7

0 +-0 +

+-+- +- 0 +-$

+-* +-+ $8+--

8

0

$ +-*+- +$8

+--

Æ

G8

Æ

G G7.% $

*+-+-$

" * + -

%

* + - .

+I-

/9 ## #

0 !

* *

1 ¼

¼

(18)

% +J-

& 7

7

+

&

8

&

½

+

½

-

+J- +

&

- 0 J "

& +

7

7

+

&

+ C

"- 7

7

¼

8

½

8

C

"7+7 +

&

-

1

+

&

-- 7

+ C

"

¼

8

"

8

G7

¼

+

&

-$J /

J* +- 8 +

&

-* + C

C

7

C

C 7

+

&

- ; 8

&

*

$8+ C

C -

$% * @1 '

%

+

-*

*

() , 1 %

J

!

"

+ ËÌ

-

$!

7

+

8

>+

->

ËÌ

"1

J

(19)

01*7

"1%

J

+"

*J

%J

#

" 1

=

& ) % / 7

7+- 1+-

+,- +

%+-

# 0 !" +/-

+-+-/7

7

!

7

7

8

+-

7+- +- 7

8 /

8

+*

8

-

0!" +/-+

/

+0%-+0-7+- +

-

+%-7+- +

-I

(20)

7 " " ¼ # ¼ ¼ # ¼ ¼ ¼ ¼ " ¼ ¼ ¼

+--7 +,- + , - +%-

" / %

+/- % +- + -

+-+- ; %

+-

7 ,

7

% "

+

,- % +- 0

+- +

$7

7 $Æ

8

$Æ,

8 $Æ$ $*

4 $ $% /

$ Æ1

7 % Æ

$ 1

" +/- 1

" 1

$% 7+ - +-

" % +0%- 7 +

/-+ / -+ - + / +- /

" +0%-7+

/-+ / - $"$%

7 +

¼- +

- $"$% 1 ¼ $ 0 ¼ Æ $ Æ ¼

$% # .& )!

! +%

7 4 -

0+- +%

- %

+-

. & ) 7

(21)

+/-

+- +

-

$% ## " / 7

* % 7 + > -+% I

0+/-+ / - 7 + > - 7 ¼ + ¼ > ¼

- +0- 7 +- +

-

+%- 7+- +

- I

7 ¼ $ ¼ " % + " > " - + ¼ > ¼ -$ ¼ !$ ¼ % + ¼ > ¼ -' ¼ ½ ¼ ¾ ( ¼ % ¼ + ¼ > ¼ -" ¼ · ¼ ¼ + ¼ > ¼

+0%-%+/-+ / - +"

% 0 / /

- 0

*?% - &,)

() #& " 1

% !"#8+ ËÌ /- $! # ' /7 + 7+ ËÌ - ËÌ 1+ ËÌ

-7

+>

- 7

+

+ +--8 +

- + -+ +

+--8

+- +-( ++ + +---8 +

- &

)+ +-- +

+- &

)+ +--8 +- + -( ++ + +---8 +

- &

)+ +-- + +

- &

(22)

+

ËÌ

- <

"

%

7

$

$

$ %

$ %

% <

J

. %

%

+

-

/ %

1

1 / %

1

1

+

- 1 "

%

+ -

+ %

-

/ +/- ! % +

-+ - !%+

-

+#' +/- +

-

$%

" "

$%

. +

-% 4

&'G

&' % +- G

7 &/

&

&'

*+-&/

&

&' "

%

(23)

0 1 ! +

-

$%

"

+-

%

+@ @1

1*

% - " +-

= ! 4 +-+

! 4 - !

+#* +/- +

-

" 4

G

,

8/

)

¼ ,

4 + * G

7 %

+-- "

D , +

+ +--

++--- %

+- 0 +

@1 # -

2 +9

#-

"

!+

- 8Æ%

%

+#, +/-

$%

" ))*

!

" 9

#- +- + )),

+

-" ,

A1

9 '

*

$

$

"

$ +.* ,

-=

%**

% %

* *

(24)

#. 6+/- 0

$

+-*+- + $8 +-- Æ $% G8 Æ $%

GG

*

$

0 $ +-* + -

+ $8 + -- $% G Æ ¼ 8 $% G Æ ¼ G * $ % $ +- $ *+ *- +- + -

* " 8+-

$8 +- $ 8+

- $8 + - ; +-+ - / $% G + $% G +-

(25)

/7 ( (

Æ8

¼

¼

0!+- 7

" 1Æ

() #/ "*

* $!# '

1 % *

! !"#

*

/ !"# 8 $

*

7

+

-

+

+--

"

% !"#

E % $! ,

$! , !"#

;

* . 1

8

8

!"#

() # "*1 +$!

!"# : *

/

*

* :

*7

!"#+$! - 1

1 /

*1

1

" 1

*%

"4%

* *

*

+# +/- ! '

% +- # $

(26)

# % +- # $

!

" "+-

+-

. %

E

: 9 '

%

; %

+ - * %

*%

%

+## +/- G 8 Æ

!7/

)

¼ ,

$7 $ &'G

"*- !'

( +- +- &'G

8

+-

$8

+- ! 8+

-# ( +

- +- /

)

¼ ,

8

+

-

$8

+

- ! $8+

-"# $ A 9 ' #

$%

$%

"

%8

8

"*

I

+@1# - "

*

#& +0%- 7 +/- +

/

-

$

¼

+-

+- $8

0+-

$"$%

$8

+

-" 6G7 G

7

*

¼

(27)

¼

$"$%

$ $ "7

$8

0+- +%8

ÆG

8

ÆG

+

ÆG

8

ÆG

¼

ÆG

Æ

¼

8

ÆG

Æ

¼

+

8 G

Æ

¼

ÆG8

ÆG +%8

$"$%

$8

+

-0

*

#' 0 +0%-1

+0-I

"

I+@1 ,-

"

#* +0%- 7 +/- +

/

-

$

¼

+-

+- $8

%+-

$"$%

$8

+

-" " ,

0 1 %

1%

/

* 1

*

%

* D! 1

%

1 /

1

/ & )

(28)

.

0 *

* *

"

*

-. >,!, ," BB:,

-=. ,CD, ,!,EE,$

! B "#$ 0&FB:,

?< BBB,

-&. ,CD,4/# 7,6,$

! &&"#$ 9F=, ?

< =GGG,

-:. , CD, % & ! '

( )! !, "( =GGG,

&''((( ' '( ' ' ,

-;. ,, 7,

>,"4" $)& !$

&0@*# BGF=G;,< BB9,

-@. , $,6# ,H,><< 74

+6/#,!,EE,$

! B"#$ :BF0=,?<

BBB,

-0. $,(, ! 34 7,

$ <4$$4B94GG0> E < BB9,

-9. E,I $,!,+ 7 4

, &B12+B;F:@ BB=,

-B. E,II,H,,$ ! =:;12+;;FG

=GGG,

-G. $,6#H,!,,+ $,- ;:9

*# =@&F=00,< BBB,

-. $,6# ,)J,1KL24+ 74

,!,E ,H 6,$ E,$

! B"#$ B;F=,?< BBB,

-=. !,E,3 ,!,> ,!,E ,

6,4E,<# . / +! + 9&FG&,

)/" BB@,

-&. !, E, 7,

H,E /$ &:B*#

=0@F=B,< BB0,

-:. ","/J,</ 5MM,$ !

=:&12+B&F@; =GGG,

(29)

-@. I,$NE,I,6,$,I,<J

!) # * 0@*#

=;F=@@,< =GGG,

-0. E, $, + , $ !

=:B12+&F9G =GGG,

-9. (, I, "#, / , +

*% =9GF=B BB0,

1/ 2,

References

Related documents