A Hybrid Systems Approach to Modeling Real-Time Situation-Awareness Component of Networked Crash Avoidance Systems

• Published in: IEEE systems journal Vol. 10; no. 1; pp. 169 - 178
• Main Authors: Moradi-Pari, Ehsan, Tahmasbi-Sarvestani, Amin, Fallah, Yaser Pourmohammadi
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.03.2016; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Automata; Autonomous crash avoidance systems; Broadcasting; Communication; Computer simulation; Crashes; Estimation; hybrid automata; Modelling; Multiaccess communication; Networks; position estimation and tracking; probabilistic timed automata (PTA); Protocols; Real time; Receivers; Receiving; Vehicle crash testing; vehicle safety systems; Vehicles; vehicular networks; Wireless networks; position estimation and tracking; probabilistic timed automata (PTA); Autonomous crash avoidance systems; vehicular networks; vehicle safety systems; hybrid automata
• ISSN: 1932-8184; 1937-9234
• DOI: 10.1109/JSYST.2014.2312172

A new approach is introduced for modeling the estimation and networking processes of networked crash/collision avoidance systems (NCAS) in a single framework. An NCAS relies on real-time situation awareness, which is acquired through cooperation with neighboring vehicles in a wireless network, to predict and respond to hazards. The subsystem that provides situation awareness consists of an estimation process and a networking/communication process. The estimation process is the source of vehicle data that is broadcast through the underlying vehicular network (communication process). The performance of vehicle tracking (estimation process) is significantly affected by the performance of the communication network because any issues in sending or receiving the information could result in erroneous position estimates and possibly crashes. It is therefore essential to produce models that allow a clear view into the dynamics of these two components. We employ probabilistic timed automata to model the networking component; a hybrid automata is then used to combine and model both networking and estimation components in a single framework. We extend the presented hybrid automata to model the broadcast network of NCAS in presence of heavy hidden node interference. We verify model accuracy by comparison with proven network simulator 3 (NS-3) simulation models; model checking for the purpose of studying some features of NCAS is also presented.