Intelligent Transportation System (ITS) Information Fusion: Concept, Analysis and Implementation

Author

Wang, Zhengyou ; Guan, Chunhua

Author_Institution

Inst. of Intelligent Inf. Process., Jiangxi Univ. of Finance & Econ., Nanchang

fYear

2006

fDate

21-23 June 2006

Firstpage

999

Lastpage

1003

Abstract

As to ITS information fusion (ITSIF), the paper studies from three aspects: concept, analysis and implementation. Firstly on the basis of present research and practice, the paper gives ITSIF concept and content. Secondly, the paper uses formal approach to ITSIF analysis. The approach is based on category theory and object-oriented method and Specare. With the support of Specware, the formal specification can be refined into final excutable code step by step. On the basis of analysis, an information fusion system model is developed. Lastly, the paper introduces ITSIF implementation

Keywords

automated highways; category theory; formal specification; object-oriented methods; sensor fusion; traffic engineering computing; Specware; category theory; formal specification; information fusion; intelligent transportation system; object-oriented method; urban traffic congestion; Communication system traffic control; Environmental economics; Finance; Information analysis; Information processing; Information technology; Intelligent transportation systems; Intelligent vehicles; Power generation economics; Road vehicles; Category theory; Formal method; Information fusion; Intelligent Transportation System; Object-oriented; Specware;

fLanguage

English

Publisher

ieee

Conference_Titel

Service Operations and Logistics, and Informatics, 2006. SOLI '06. IEEE International Conference on

Conference_Location

Shanghai

Print_ISBN

1-4244-0317-0

Electronic_ISBN

1-4244-0318-9

Type

conf

DOI

10.1109/SOLI.2006.328887

Filename

4125722