کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
1713447 1519822 2016 27 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Change-of-bases abstractions for non-linear hybrid systems
ترجمه فارسی عنوان
تغییر انتزاعی برای سیستم های ترکیبی غیر خطی
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی کنترل و سیستم های مهندسی
چکیده انگلیسی

We present abstraction techniques that transform a given non-linear dynamical system into a linear system, or more generally, an algebraic system described by polynomials of bounded degree, so that invariant properties of the resulting abstraction can be used to infer invariants for the original system. The abstraction techniques rely on a change-of-bases transformation that associates each state variable of the abstract system with a function involving the state variables of the original system. We present conditions under which a given change-of-bases transformation for a non-linear system can define an abstraction. Furthermore, the techniques developed here apply to continuous systems defined by Ordinary Differential Equations (ODEs), discrete systems defined by transition systems and hybrid systems that combine continuous as well as discrete subsystems.The techniques presented here allow us to discover, given a non-linear system, if a change-of-bases transformation involving degree-bounded polynomials yielding an algebraic abstraction exists. If so, our technique yields the resulting abstract system, as well. Our techniques enable the use of analysis techniques for linear systems to infer invariants for non-linear systems. We present preliminary evidence of the practical feasibility of our ideas using a prototype implementation.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Nonlinear Analysis: Hybrid Systems - Volume 19, February 2016, Pages 107–133
نویسندگان
,