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

<table>Illustration of the need for <svg height="12.925" id="M379" 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="M384 0h-275v27q67 5 81.5 18.5t14.5 68.5v385q0 38 -7.5 47.5t-40.5 10.5l-48 2v24q85 15 178 52v-521q0 -55 14.5 -68.5t82.5 -18.5v-27z" id="x31"></path></g>
</svg>.</table>

Journal of Applied Mathematics

fig3

Figure 3

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