Prof. Dr.-Ing. Jo ̈rg Raisch
Germano Schafaschek
Soraia Moradi
Behrang Nejad
Fachgebiet Regelungssysteme
Fakulta ̈t IV Elektrotechnik und Informatik Technische Universita ̈t Berlin Lehrveranstaltung ”Ereignisdiskrete Systeme“ Wintersemester 2019/2020
Exercise 3 — Solution
Exercise 3.1
Inequalities for the specifications:
x2(k) ≤ 1 ,
x5(k) ≤ 1 , x1(k) + x4(k) ≤ 1 ,
or, in matrix form,
0 1 0 0 0 0 1 0 0 0 0 1 0x(k)≤1.
100100 1
Γb Initial marking of the controller places:
x0c =b−Γx0 =[1 1 1]′ .
Connections between controller places and plant transitions (let A be the incidence matrix of the plant
model):
0 −1 1 0 0 0 0 Ac=−ΓA=0 0 0 0 −1 1 0.
−1 1 0 −1 1 0 0
The Petri net comprising both plant and controller is shown in Figure 1.
t1 p1 t2 p2 t3 p3
pc1
pc2
t7
pc3
t4 p4 t5 p5 t6 p6 Figure 1: Petri net with plant and controller (Exercise 4.3).
1
Exercise 3.2
a) What needs to be verified is whether the specified inequalities can be violated under the action of the given controller; in this case, adding the controller to the Petri net model of the plant, it can easily be seen that the inequalities cannot be violated, so the controller does enforce the specification. One can also check this fact more formally by constructing the reachability graph for the complete model (plant + controller) and inspecting if the inequalities are breached in any of the nodes; in this case, they are not.
However, it is also easy to see that the given controller is overly restrictive, more specifically with respect to the third inequality. Whereas the specification only requires that the number of tokens in places 1, 2, 3, and 4 never exceeds 4, the controller enforces that the maximum number of firings of transitions t1 and t3 combined is 4, which means that once these two transitions together fire four times, they will never be able to fire again. This fact can also be checked more formally, for instance by computing the ideal (minimally restrictive) controller for the specification. If the given controller is not identical to the ideal one, since the latter is unique one can conclude that the given controller is not minimally restrictive.
b) The question is what is the maximum number of times transition t6 can fire. As each firing of t6 requires one token in p5, which can only arrive due to the firing of t5, one can equivalently investigate how many times t5 can fire. Each firing of t5, in turn, requires one token in p2 and one in p4, which ultimately depend on the firing of t1 and t3, respectively. So, the best that can be done is to fire each of t1 and t3 twice, and then fire t5 and t6 also twice. The system can, therefore, produce at most 2 products under the action of the given controller.
c) A possible modified controller incidence matrix is
0 0 −1 0 1 0 Ac=−10 0100
−1 0 −1 0 2 0
Since this controller is identical to the ideal one (computed using the standard procedure), it is in
fact minimally restrictive.
Exercise 3.3
a) Inequalities for the specifications:
5×1(k) + 2×2(k) ≤ 20 , x4(k) ≤ 1 , −x1(k) + x2(k) ≤ 0 ,
or, in matrix form,
5 2 0 0 20 0 0 0 1x(k)≤1.
−1 1 0 0 0
Γb
Initial marking of the controller places: x0c = b − Γx0 = [15 1 1]′ .
Controller matrix:
−5−27 0 0 Ac=−ΓA=0 0 0 −1 1.
1 −1 0 0 0
b) The specifications are not ideally enforceable: −ΓAuouc = [0
(2.24) is violated (see Lecture Notes, page 33).
− 1
0]′ ̸= 0, therefore condition
2