Pages that link to "Item:Q4566878"

The following pages link to Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification (Q4566878):

Displaying 19 items.

• Reachable set estimation for switched linear systems with dwell-time switching (Q1642317) (← links)
• Output reachable set estimation for discrete-time switched systems with persistent dwell-time (Q1738636) (← links)
• Estimation and synthesis of reachable set for singular Markovian jump systems (Q1784930) (← links)
• Reachable set synthesis for singular systems with time-varying delay via the adaptive event-triggered scheme (Q2071214) (← links)
• State bounding for time-delay impulsive and switching genetic regulatory networks with exogenous disturbance (Q2090452) (← links)
• Reachable set synthesis of singular Markovian jump systems (Q2217662) (← links)
• Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay (Q2230844) (← links)
• Event-triggered \(\mathcal{L}_\infty\) control for network-based switched linear systems with transmission delay (Q2278537) (← links)
• Linear functional state bounding for positive systems with disturbances varying within a bounded set (Q2288631) (← links)
• A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems (Q2677116) (← links)
• Branch and bound for piecewise linear neural network verification (Q4969086) (← links)
• Peak-to-peak filtering for periodic piecewise linear polytopic systems (Q5027813) (← links)
• Zonotopic reachable set estimation for bilinear systems with time-varying delays (Q5028014) (← links)
• Reachable set estimation and decentralized control synthesis of large‐scale switched systems under mixed switching (Q6054904) (← links)
• Reachable set estimation and aperiodic sampled‐data controller design for Markovian jump systems (Q6082315) (← links)
• Observer-based output reachable set synthesis for periodic piecewise time-varying systems (Q6092063) (← links)
• Estimation of reachable set for switched singular systems with time-varying delay and state jump (Q6108008) (← links)
• \(H_\infty\) filtering for discrete-time cyclic switched systems: relaxed cycle-dependent persistent dwell-time constraints with averaging treatment (Q6122805) (← links)
• Observer-based safety monitoring of nonlinear dynamical systems with neural networks via quadratic constraint approach (Q6646008) (← links)