Coloured Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions
Semantic Scholar · Article · 2644f5d66ce70ab88b528208ec7946dd764cd919 · Published 2016-06-01 · 3 authors
Abstract and citation only, verbatim from Semantic Scholar; full text lives there. All credit to the authors and Semantic Scholar.
Abstract
An encounter model is formalised to identify all of the potential collision scenarios that can be induced by a resolution advisory that was generated previously by the TCAS without considering the downstream consequences in the surrounding traffic.
Authors
- Jun Tang
- M. A. Piera
- Toni Guasch
Keywords
- Engineering
- Computer Science
Citation
Jun Tang, M. A. Piera, Toni Guasch (2016). Coloured Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions. Semantic Scholar ID 2644f5d66ce70ab88b528208ec7946dd764cd919. https://doi.org/10.1016/J.TRC.2016.03.001 ↗