Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
From MaRDI portal
Publication:4974545
DOI10.1109/TAC.2008.2011011zbMath1367.93422OpenAlexW2141308815MaRDI QIDQ4974545
Publication date: 8 August 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2008.2011011
Application models in control theory (93C95) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03)
Related Items (13)
Passivity Analysis and Synthesis for a Class of Discrete-Time Switched Stochastic Systems with Time-Varying Delay ⋮ Conflict avoidance: \(0-1\) linear models for conflict detection \& resolution ⋮ Moment-based analysis of stochastic hybrid systems with renewal transitions ⋮ Safety verification for regime-switching jump diffusions via barrier certificates ⋮ Analysis and verification of uniform moment exponential stability for stochastic hybrid systems with Poisson jump ⋮ On the performance of Kalman filter for Markov jump linear systems with mode mismatch ⋮ Unnamed Item ⋮ Stability analysis for stochastic hybrid systems: a survey ⋮ Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming ⋮ Instability of impulsive stochastic systems with application to image encryption ⋮ State constrained reachability for stochastic hybrid systems ⋮ Decisiveness of stochastic systems and its application to hybrid models ⋮ Optimal control of stochastic hybrid system with jumps: a numerical approximation
This page was built for publication: Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
