Underapproximating backward reachable sets by semialgebraic sets

• المؤلفون الرئيسيون: Xue, Bai, She, Zhikun, Easwaran, Arvind
• مؤلفون آخرون: School of Computer Science and Engineering
• التنسيق: مقال
• اللغة: English
• منشور في: 2018
• الموضوعات: Boundary Analysis; Convex Programming
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/89488; http://hdl.handle.net/10220/44941
• المؤسسة: 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...