A Case Study on Formal Analysis of an Automated Guided Vehicle System-Reference-Cited by-同舟云学术

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

Published:2014 Issue: Volume:2014 Page:1-10
ISSN:1110-757X
Container-title:Journal of Applied Mathematics
language:en
Short-container-title:Journal of Applied Mathematics

Author:

Zhang Jie¹²,Peng Yuntao¹,Hung William N. N.³,Li Xiaojuan⁴,Tan Jindong²,Shi Zhiping⁴

Affiliation:

1. College of Information Science and Technology, Beijing University of Chemical Technology, Beijing, China

2. University of Tennessee, Knoxville, TN, USA

3. Synopsys Inc., Mountain View, CA, USA

4. Beijing Engineering Research Center of High Reliable Embedded System, College of Information Engineering, Capital Normal University, Beijing, China

Abstract

This paper considers a hybrid I/O automata model for an automated guided vehicle (AGV) system. A set of key properties of an AGV system are characterized for the correctness of the system. An abstract model is constructed from the hybrid automata model to simplify the proof of the constraints. The two models are equivalent in terms of bisimulation relation. We derive the constraints to ensure the correctness of the properties. We validate the system by analyzing the parameters of the constraints of the AGV system.

Funder

National Natural Science Foundation of China

Publisher

Hindawi Limited

Subject

Applied Mathematics

Link

http://downloads.hindawi.com/journals/jam/2014/327465.pdf

Reference14 articles.

1. Introduction to Hybrid Systems

2. Tutorial introduction to the modelling and control of hybrid systems

3. Hybrid I/O automata

4. Automotive engine control and hybrid systems: challenges and opportunities

5. Lecture Notes in Computer Science,2000