Intelligent Transportation System (ITS) Information Fusion: Concept, Analysis and Implementation
Zhengyou Wang, Chunhua Guan · 2006 IEEE International Conference on Service Operations and Logistics, and Informatics · 2006
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