Designing a real-time target tracking system with higher order logic

Author

Peters, J.F. ; Baumela, Luis ; Maravall, Dario

Author_Institution

Dept. of Electr. & Comput. Eng., Manitoba Univ., Winnipeg, Man., Canada

Volume

1

fYear

1995

fDate

15-16 May 1995

Firstpage

36

Abstract

An formal description for the target dynamics identification and prediction module (TDIPM) for a camera-based object recognition and tracking system in an active vision system is presented using a mechanization of real-time CSP in higher order logic (RTCSP-HOL). The formal description of the TDIPM includes a Kumar-Harous (see IEEE Transactions on Systems, Man, and Cybernetics, vol.24, no.10, p.1498, 1994) timed Petri net and the corresponding RTCSP specification. An informal description of the TDIPM is also given. The performance results of the TDIPM are shown to outperform significantly the standard recursive least squares (RLS) prediction technique

Keywords

Petri nets; active vision; cameras; communicating sequential processes; formal logic; identification; object recognition; prediction theory; target tracking; RTCSP specification; TDIPM; active vision system; camera-based object recognition; formal description; higher order logic; informal description; performance results; real-time CSP; real-time target tracking system; target dynamics identification; target dynamics prediction module; timed Petri net; Aerodynamics; Cameras; Head; Logic design; Machine vision; Radar tracking; Real time systems; Robot kinematics; Sensor systems; Target tracking;

fLanguage

English

Publisher

ieee

Conference_Titel

WESCANEX 95. Communications, Power, and Computing. Conference Proceedings., IEEE

Conference_Location

Winnipeg, Man.

Print_ISBN

0-7803-2725-X

Type

conf

DOI

10.1109/WESCAN.1995.493941

Filename

493941