1. 1. A work cell consists of two machines M 1 and M 2 and an automated guided vehicle AGV. The automaton models of these three components are shown in the figure below. The complete system is G = M 1  M 2  AGV. (a) Find G. (b) Is G blocking or non-blocking? 00 0 11 12 M1M1 M2M2 readyat1 loadat1 giveto2 loadat2 giveto2 giveout loadat2 loadat1 AGV

2. 2. Build the observer of the nondeterministic automaton shown in the figure below. a, b 0 1 35 4 2  b a b b a a 

3. 3. Build the diagnoser of unobservable event event e for the nondeterministic automaton shown in figure below. (All the events are observable but e.) 1 2 34 5 71112 89 106 t t e a b g a e bg b g d d

4. 4. A simple manufacturing process involves two machines, M 1 and M 2, and a Buffer B in between. There is an infinite supply of parts to M 1. When a part is processed at M 1, it is placed in B, which has a capacity of one part only. The part is subsequently processed by M 2. Let us suppose that we build the uncontrolled model of M i, i = 1, 2, as follows. Each machine has three states: Idle (the initial state), Processing, and Down. Each machine has four transitions: event START from Idle to Processing, event END from Processing to Idle, event BREAKDOWN from Processing to Down, and event REPAIR from Down to Idle. The behavior of the system need to be restricted to satisfy the following rules: (i) M 1 can only begin processing if the buffer is empty; (ii) M 2 can only begin processing if the buffer is full; (iii) M 1 cannot begin processing if M 2 is down; (iv) If both machines are down, then M 2 gets repaired first. Answer the following questions. (a) Construct an automaton that represents the admissible behavior, as captured by (i) to (iv) above. This automaton should generate a sublanguage of L (M 1  M 2 ). (b) Suppose that the events START and REPAIR of each machine can be controlled (that is, enabled or disenabled) by a controller. For each state of your automaton in (a) above, identify which feasible events in M 1 and M 2 the controller should disable.

5. 5.Consider the pump-valve-controller system discussed in Example 2.24 in the handout (Ch. 2, Cassandras and Lafortune, pp. 118-119). Build the diagnosers for the complete system model depicted in Fig. 2.29 (page 120) for the two faults STUCK_CLOSED and STUCK_OPEN. Are these faults diagnosable?