Underapproximating backward reachable sets by semialgebraic sets

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...

Full description

Bibliographic Details
Main Authors: Xue, Bai, She, Zhikun, Easwaran, Arvind
Other Authors: School of Computer Science and Engineering
Format: Journal Article
Language:English
Published: 2018
Subjects:
Online Access:https://hdl.handle.net/10356/89488
http://hdl.handle.net/10220/44941

Similar Items