Article

Multi-Candidate Simplex Architecture: From Design-Time Identification to Runtime Construction of Context-Dependent Safe Regions of Attraction

The study proposes a two-stage Region of Attraction (RoA) certification procedure: contraction-based stability analysis first determines a target set, which Taylor-model reachability analysis then verifies, thereby constructing a context-dependent safe RoA at runtime and enabling safe switching among high-assurance controller candidates.

Part of the event: Multi-candidate Simplex runtime construction of safe regions of attraction

This page provides a summary and source link only.