Pages that link to "Item:Q2986920"

The following pages link to Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets (Q2986920):

Displaying 18 items.

• An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
• Reachability analysis of nonlinear systems using hybridization and dynamics scaling (Q1996035) (← links)
• A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
• Adaptive reachability algorithms for nonlinear systems using abstraction error analysis (Q2085160) (← links)
• Reachability analysis of a general class of neural ordinary differential equations (Q2112130) (← links)
• Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications (Q2116657) (← links)
• OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations (Q2154032) (← links)
• Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering (Q2159000) (← links)
• Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (Q2165452) (← links)
• Set-based control for disturbed piecewise affine systems with state and actuation constraints (Q2178184) (← links)
• Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems (Q2288615) (← links)
• A higher order method for input-affine uncertain systems (Q2677088) (← links)
• Verification of Hybrid Systems (Q3176388) (← links)
• Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration (Q4600003) (← links)
• Quantifying conformance using the Skorokhod metric (Q5892423) (← links)
• Safety verification for regime-switching jump diffusions via barrier certificates (Q6052173) (← links)
• Formal lumping of polynomial differential equations through approximate equivalences (Q6113017) (← links)
• Constrained polynomial zonotopes (Q6171823) (← links)