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

Jie Zhang | Zendy; Yuntao Peng | Zendy; William N. N. Hung | Zendy; Xiaojuan Li | Zendy; Jindong Tan | Zendy; Zhiping Shi | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Jie Zhang,

Yuntao Peng,

William N. N. Hung,

Xiaojuan Li,

Jindong Tan,

Zhiping Shi

Publication year - 2014

Publication title -

journal of applied mathematics

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.307

H-Index - 43

eISSN - 1687-0042

pISSN - 1110-757X

DOI - 10.1155/2014/327465

Subject(s) - correctness , bisimulation , automaton , computer science , key (lock) , automated guided vehicle , hybrid automaton , relation (database) , set (abstract data type) , formal verification , model checking , transition system , hybrid system , algorithm , theoretical computer science , programming language , artificial intelligence , data mining , computer security , machine learning

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 ensurethe correctness of the properties. We validate the system by analyzing the parameters of the constraints of the AGV system

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research