کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8055342 1519818 2017 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Finite abstraction of mixed monotone systems with discrete and continuous inputs
ترجمه فارسی عنوان
انتزاع انتزاعی از سیستم های یکپارچه مخلوط با ورودی های گسسته و مداوم
کلمات کلیدی
سیستم های یکپارچه مخلوط، سیستم های مونوتونی، انتزاع دولت محدود
ترجمه چکیده
ما یک رویکرد محاسباتی کارآمد برای انتزاع محدودی از سیستم های یکپارچه مخلوط زمان گسسته با در نظر گرفتن یک پارتیشن مستطیلی از فضای حالت ارائه می دهیم. سیستم های مونوتونی مختلط به مولفه های افزایش و کاهش می یابند و به طور معنی داری از کلاس شناخته شده سیستم های یکپارچه را تعمیم می دهند. ما با توجه به ابعاد فضای حالت، محاسبه یک تابع تجزیه را فقط در دو نقطه، بدون در نظر گرفتن ابعاد حالت، می توانیم مجموعه ی قابل دستیابی یک مرحله ای را از یک جعبه شرایط اولیه تسریع کنیم. ابتدا سیستم ها را با یک مجموعه محدود از حالت های عملیاتی بررسی می کنیم و سپس فرمول بندی را به سیستم هایی با ورودی کنترل مداوم گسترش می دهیم. ما نتایج خود را برای بررسی رفتار دینامیکی یک مدل برای پویایی جمعیت حشرات و ایجاد یک استراتژی سیگنال برای یک شبکه ترافیکی اعمال می کنیم.
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی کنترل و سیستم های مهندسی
پیش نمایش مقاله
انتزاع انتزاعی از سیستم های یکپارچه مخلوط با ورودی های گسسته و مداوم
چکیده انگلیسی
We present an efficient computational procedure for finite abstraction of discrete-time mixed monotone systems by considering a rectangular partition of the state space. Mixed monotone systems are decomposable into increasing and decreasing components, and significantly generalize the well known class of monotone systems. We tightly overapproximate the one-step reachable set from a box of initial conditions by computing a decomposition function at only two points, regardless of the dimension of the state space. We first consider systems with a finite set of operating modes and then extend the formulation to systems with continuous control inputs. We apply our results to verify the dynamical behavior of a model for insect population dynamics and to synthesize a signaling strategy for a traffic network.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Nonlinear Analysis: Hybrid Systems - Volume 23, February 2017, Pages 254-271
نویسندگان
, ,