A Hybrid Systems Approach to Modeling Real-Time Situation-Awareness Component of Networked Crash Avoidance Systems
| Autor: | Yaser P. Fallah, Ehsan Moradi-Pari, Amin Tahmasbi-Sarvestani |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Model checking
Engineering 021103 operations research Vehicle tracking system Hidden node problem Situation awareness Computer Networks and Communications Wireless network business.industry Distributed computing 0211 other engineering and technologies Probabilistic logic 020302 automobile design & engineering 02 engineering and technology Computer Science Applications Network simulation 0203 mechanical engineering Control and Systems Engineering Hybrid system Electrical and Electronic Engineering business Information Systems Computer network |
| Zdroj: | IEEE Systems Journal. 10:169-178 |
| ISSN: | 2373-7816 1932-8184 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|