Pages that link to "Item:Q4974767"

The following pages link to A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems (Q4974767):

Displaying 19 items.

• Efficient polyhedral enclosures for the reachable set of nonlinear control systems (Q276023) (← links)
• Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis (Q368576) (← links)
• A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← links)
• Determination of inner and outer bounds of reachable sets through subpavings (Q475437) (← links)
• Event-based controller synthesis by bounding methods (Q522898) (← links)
• Interval quadratic programming for day-ahead dispatch of uncertain predicted demand (Q899284) (← links)
• Shaping pulses to control bistable systems: analysis, computation and counterexamples (Q901208) (← links)
• A new method of reachable set estimation for time delay systems with polytopic uncertainties (Q905346) (← links)
• Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (Q1626902) (← links)
• A note on reachable set bounding for delayed systems with polytopic uncertainties (Q1659384) (← links)
• Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering (Q2159000) (← links)
• Experiments-based parameter identification on the GPU for cooperative systems (Q2297122) (← links)
• Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs (Q2351531) (← links)
• Exact Sampling of a Linear Interval Predictor (Q2789978) (← links)
• Interval observer design based on nonlinear hybridization and practical stability analysis (Q3008832) (← links)
• Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods (Q3095239) (← links)
• A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS (Q3386558) (← links)
• Finite‐gain event‐triggered interval observers design for continuous‐time linear systems (Q6068325) (← links)
• Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis (Q6120688) (← links)