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/

Global: Zendy Plus annual

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

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Reach-avoid differential games play an important role in collision avoidance,motion planning and control of aircrafts, and related applications. The centralproblem is the computation of the set of initial states from which the egoplayer can enforce the satisfiability of safety specifications over a specifiedtime horizon. Previous methods addressing this problem mostly focus on finitetime horizons. We study this problem in the context of the infinite timehorizon, where the ego player aims to perpetually force the system to satisfycertain safety specification while the mutual other player attempts to enforcea violation of this safety specification. The problem is studied within theHamilton-Jacobi reachability framework with unique Lipschitz continuousviscosity solutions. The continuity and uniqueness property of the viscositysolution facilitates the use of contemporary numerical methods to solve thisproblem with an appropriate number of state variables. An example adopted froma Moore-Greitzer jet-engine model is employed to illustrate our approach.

Reach-Avoid Differential Games Based on Invariant Generation