کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
421961 684994 2008 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
چکیده انگلیسی

This paper introduces a new algorithm dedicated to the rigorous reachability analysis of nonlinear dynamical systems. The algorithm is initially presented in the context of discrete time dynamical systems, and then extended to continuous time dynamical systems driven by ODEs. In continuous time, this algorithm is called the Reach and Evolve algorithm. The Reach and Evolve algorithm is based on interval analysis and a rigorous discretization of space and time. Promising numerical experiments are presented.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 223, 26 December 2008, Pages 87-102