Research Article

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

Figure 2

Network of hybrid automata for an AGV.
327465.fig.002