A Case Study on Formal Analysis of an Automated Guided Vehicle System

<table>Illustration of the need for <svg height="12.925" id="M380" style="vertical-align:-3.13504pt" version="1.1" viewbox="0 0 16.35 12.925" width="16.35" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,7.825)"><path d="M559 271q0 -109 -83 -187t-189 -89l-36 -213q-16 -30 -86 -43l-7 9q10 36 53 242q-91 11 -139.5 63.5t-48.5 132.5q0 186 242 271l11 -28q-76 -34 -119.5 -91.5t-43.5 -136.5q0 -66 29 -108.5t77 -55.5q39 205 56 260q21 71 65 111t93 40q50 0 88 -45.5t38 -131.5z
M484 273q0 65 -26.5 99t-52.5 34q-37 0 -53 -75l-59 -298q80 5 135.5 74.5t55.5 165.5z" id="x1D711"></path></g>
<g transform="matrix(.012,-0,0,-.012,9.95,12.862)"><path d="M412 140l28 -9q0 -2 -35 -131h-373v23q112 112 161 170q59 70 92 127t33 115q0 63 -31 98t-86 35q-75 0 -137 -93l-22 20l57 81q55 59 135 59q69 0 118.5 -46.5t49.5 -122.5q0 -62 -29.5 -114t-102.5 -130l-141 -149h186q42 0 58.5 10.5t38.5 56.5z" id="x32"></path></g>
</svg>.</table>

Journal of Applied Mathematics

fig4

Figure 4

Figure 4: A Case Study on Formal Analysis of an Automated Guided Vehicle System 