Underapproximating backward reachable sets by semialgebraic sets

• Main Authors: Xue, Bai, She, Zhikun, Easwaran, Arvind
• Other Authors: School of Computer Science and Engineering
• Format: Article
• Language: English
• Published: 2018
• Subjects: Boundary Analysis; Convex Programming
• Online Access: https://hdl.handle.net/10356/89488; http://hdl.handle.net/10220/44941
• Institution: Nanyang Technological University

Underapproximations (UAs) of backward reachable sets play an important role in controller synthesis and trajectory analysis for constrained nonlinear dynamical systems, but there are few methods available to compute them. Given a nonlinear system, a target region of simply connected compact type and...