Construction of parametric barrier functions for dynamical systems using interval analysis
نویسندگان
چکیده
منابع مشابه
Construction of Parametric Barrier Functions for Dynamical Systems using Interval Analysis
Recently, barrier certificates have been introduced to prove the safety of continuous or hybrid dynamical systems. A barrier certificate needs to exhibit some barrier function, which partitions the state space in two subsets: the safe subset in which the state can be proved to remain and the complementary subset containing some unsafe region. This approach does not require any reachability anal...
متن کاملanalysis of ruin probability for insurance companies using markov chain
در این پایان نامه نشان داده ایم که چگونه می توان مدل ریسک بیمه ای اسپیرر اندرسون را به کمک زنجیره های مارکوف تعریف کرد. سپس به کمک روش های آنالیز ماتریسی احتمال برشکستگی ، میزان مازاد در هنگام برشکستگی و میزان کسری بودجه در زمان وقوع برشکستگی را محاسبه کرده ایم. هدف ما در این پایان نامه بسیار محاسباتی و کاربردی تر از روش های است که در گذشته برای محاسبه این احتمال ارائه شده است. در ابتدا ما نشا...
15 صفحه اولobservational dynamical systems
چکیده در این پایاننامه ابتدا فضاهای متریک فازی را به صورت مشاهدهگرایانه بررسی میکنیم. فضاهای متریک فازی و توپولوژی تولید شده توسط این متریک معرفی شدهاند. سپس بر اساس فضاهایی که در فصل اول معرفی شدهاند آشوب توپولوژیکی، مینیمالیتی و مجموعههای متقاطع در شیوههای مختلف بررسی شده- اند. در فصل سوم مفهوم مجموعههای جاذب فازی به عنوان یک مفهوم پایهای در سیستمهای نیم-دینامیکی نسبی، تعریف شده است. ...
15 صفحه اولConstruction of a local and global Lyapunov function for discrete dynamical systems using radial basis functions
The basin of attraction of an asymptotically stable fixed point of the discrete dynamical system given by the iteration xn+1 = g(xn) can be determined through sublevel sets of a Lyapunov function. In [3] a Lyapunov function is constructed by approximating the solution of a difference equation using radial basis functions. However, the resulting Lyapunov function is non-local, i.e. it has no neg...
متن کاملSolving Second Kind Volterra-Fredholm Integral Equations by Using Triangular Functions (TF) and Dynamical Systems
The method of triangular functions (TF) could be a generalization form of the functions of block-pulse (Bp). The solution of second kind integral equations by using the concept of TF would lead to a nonlinear equations system. In this article, the obtained nonlinear system has been solved as a dynamical system. The solution of the obtained nonlinear system by the dynamical system throug...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatica
سال: 2017
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2016.12.013