Pages that link to "Item:Q4974545"
From MaRDI portal
The following pages link to Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction (Q4974545):
Displaying 13 items.
- Conflict avoidance: \(0-1\) linear models for conflict detection \& resolution (Q384510) (← links)
- Stability analysis for stochastic hybrid systems: a survey (Q472550) (← links)
- State constrained reachability for stochastic hybrid systems (Q547913) (← links)
- Moment-based analysis of stochastic hybrid systems with renewal transitions (Q1680899) (← links)
- Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
- Instability of impulsive stochastic systems with application to image encryption (Q2242763) (← links)
- Optimal control of stochastic hybrid system with jumps: a numerical approximation (Q2349616) (← links)
- On the performance of Kalman filter for Markov jump linear systems with mode mismatch (Q2697725) (← links)
- Passivity Analysis and Synthesis for a Class of Discrete-Time Switched Stochastic Systems with Time-Varying Delay (Q3454405) (← links)
- (Q5021008) (← links)
- Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming (Q5145609) (← links)
- Safety verification for regime-switching jump diffusions via barrier certificates (Q6052173) (← links)
- Analysis and verification of uniform moment exponential stability for stochastic hybrid systems with Poisson jump (Q6139057) (← links)
