Equations Over Finite State Machines - The Unknown Component Problem: Theory and Applications - page 65

. v 2; sb; sb; o2/,andS C Df s1;s2;s3;s4 g , T C Df .i2; s1; s2; o1/, .i1; s1; s3; o1/,
.i1; s1; s3; o2/, .i1; s2; s3; o2/ g , .i2; s2; s4; o2/, .i 2; s3; s3; o2/ g ,

.i1; s3; s1; o2/, .i1; s4; s2; o1/ g , .i 2; s4; s3 o2/.

(a) Compute the largest solution of the equation M A M X M C ,whereM X has
inputs I O and outputs V . This is an example of controller's topology.
(b) Compute the largest solution of the equation M A M X M C ,whereM X has
inputs I and outputs V . This is an example of series topology.
(c) Compare the solutions obtained in (b) and (c).