English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Open

Scalable safety verification of continuous state dynamic systems has beendemonstrated through both reachability and viability analyses using parametricset representations; however, these two analyses are not interchangable inpractice for such parametric representations. In this paper we considerviability analysis for discrete time affine dynamic systems with adversarialinputs. Given a set of state and input constraints, and treating the inputs inbest-case and/or worst-case fashion, we construct invariant, viable anddiscriminating sets, which must therefore under-approximate the invariant,viable and discriminating kernels respectively. The sets are constructed byscaling zonotopes represented in center-generator form. The scale factors arefound through efficient convex optimizations. The results are demonstrated ontwo toy examples and a six dimensional nonlinear longitudinal model of aquadrotor.

Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling