Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
Automatica (Journal of IFAC)
Model-based probabilistic collision detection in autonomous driving
IEEE Transactions on Intelligent Transportation Systems
A probabilistic methodology for predicting injuries to human operators in automated production lines
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem
Automatica (Journal of IFAC)
IEEE Transactions on Intelligent Transportation Systems
Reachability analysis for controlled discrete time stochastic hybrid systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
SIAM Journal on Control and Optimization
Journal of Intelligent and Robotic Systems
A stochastic games framework for verification and control of discrete time stochastic hybrid systems
Automatica (Journal of IFAC)
Hi-index | 0.01 |
In this paper, the problem of automated aircraft conflict prediction is studied for two-aircraft midair encounters. A model is introduced to predict the aircraft positions along some look-ahead time horizon, during which each aircraft is trying to follow a prescribed flight plan despite the presence of additive wind perturbations to its velocity. A spatial correlation structure is assumed for the wind perturbations such that the closer the two aircraft, the stronger the correlation between the perturbations to their velocities. Using this model, a method is introduced to evaluate the criticality of the encounter situation by estimating the probability of conflict, namely, the probability that the two aircraft come closer than a minimum allowed distance at some time instant during the look-ahead time horizon. The proposed method is based on the introduction of a Markov chain approximation of the stochastic processes modeling the aircraft motions. Several generalizations of the proposed approach are also discussed.