V.10 Exercises

Exercises [Slide 169]

Exercise 26.  

Give for each of the following intervals the corresponding Interval Temporal Logic formula

1.

¬P,¬Q
P,Q
P,Q
2.

P
P
¬P
¬P
3.

P,¬Q
¬P,Q
P,¬Q
¬P,Q
P,¬Q
4.

I = 1
I = 3
I = 9
I = 27

Exercise 27.  

Give an English description of the interval that correspond to each of the following Interval Temporal Logic formulae

1.

(halt Q) skip4

2.

(P skip2 fin(Q)) ; (¬P skip fin(Q))

3.

(( Q) ; (skip3 halt P)) skip5

4.

(skip3)

Exercise 28.  

Give the informal semantics (picture) of following formulae:

Exercise 29.  

Given informal specification

Give the corresponding ITL formula.

Exercise 30.  

Given the following informal specification

An interval where in the initial state the value of variable I is 6 and the value of variable Q is false. The value of I in each next state is decremented by 1 until the value of I reaches 0 whereas the value of Q in each next state is the negation of the value of Q in the current state.

1.

Give its corresponding Interval Temporal Logic formula.

2.

Give its corresponding semantics in pictorial form.

Exercise 31.  

Determine which of the following formula is satisfiable or valid. Explain why.

2023-09-12
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2023