Combinatorial methods for invariance and safety of hybrid systems
نویسندگان
چکیده
منابع مشابه
investigation of single-user and multi-user detection methods in mc-cdma systems and comparison of their performances
در این پایان نامه به بررسی روش های آشکارسازی در سیستم های mc-cdma می پردازیم. با توجه به ماهیت آشکارسازی در این سیستم ها، تکنیک های آشکارسازی را می توان به دو دسته ی اصلی تقسیم نمود: آشکارسازی سیگنال ارسالی یک کاربر مطلوب بدون در نظر گرفتن اطلاعاتی در مورد سایر کاربران تداخل کننده که از آن ها به عنوان آشکارساز های تک کاربره یاد می شود و همچنین آشکارسازی سیگنال ارسالی همه ی کاربران فعال موجود در...
development of different optical methods for determination of glucose using cadmium telluride quantum dots and silver nanoparticles
a simple, rapid and low-cost scanner spectroscopy method for the glucose determination by utilizing glucose oxidase and cdte/tga quantum dots as chromoionophore has been described. the detection was based on the combination of the glucose enzymatic reaction and the quenching effect of h2o2 on the cdte quantum dots (qds) photoluminescence.in this study glucose was determined by utilizing glucose...
Box Invariance of Hybrid and Switched Systems
This paper investigates the concept of box invariance for classes of hybrid and switched systems. After motivating and defining the notion, we present a concise summary of results on its characterization for single-domain dynamical systems. The notion is then extended to the case of hybrid and switched systems. We provide sufficient conditions for a hybrid or switched system to be box invariant...
متن کاملInvariance principles for switching systems via hybrid systems techniques
Invariance principles for hybrid systems are used to derive invariance principles for nonlinear switching systems with multiple Lyapunov-like functions. Dwell-time, persistent dwell-time, and weak dwell-time solutions are considered. Asymptotic stability results are deduced under further observability assumptions or common bounds on the Lyapunov-like functions.
متن کاملComputing Invariance Kernels of Polygonal Hybrid Systems
Polygonal hybrid systems are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. One way of analysing such systems (and hybrid systems in general) is through the study of their phase portrait, which characterise the systems’ qualitative behaviour. In this paper we identify and compute an important object of polygonal hybrid systems’ phase...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatica
سال: 2018
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2018.09.006