Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates
المؤلفون المشاركون
Wang, Guobin
He, Jifeng
Liu, Jing
Sun, Haiying
Ding, Zuohua
Zhang, Miaomiao
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2016، العدد 2016 (31 ديسمبر/كانون الأول 2016)، ص ص. 1-10، 10ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2016-03-23
دولة النشر
مصر
عدد الصفحات
10
التخصصات الرئيسية
الملخص EN
Safety verification determines whether any trajectory starting from admissible initial states would intersect with a set of unsafe states.
In this paper, we propose a numerical method for verifying safety of a network of interconnected hybrid dynamical systems with a state constraint based on bilinear sum-of-squares programming.
The safety verification is conducted by the construction of a function of states called barrier certificate.
We consider a finite number of interconnected hybrid systems satisfying the input-to-state property and the networked interconnections satisfying a dissipativity property.
Through constructing a barrier certificate for each subsystem and imposing dissipation-inequality-like constraints on the interconnections, safety verification is formulated as a bilinear sum-of-squares feasibility problem.
As a result, safety of the interconnected hybrid systems could be determined by solving an optimization problem, rather than solving differential equations.
The proposed method makes it possible to verify the safety of interconnected hybrid systems, which is demonstrated by a numerical example.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Wang, Guobin& He, Jifeng& Liu, Jing& Sun, Haiying& Ding, Zuohua& Zhang, Miaomiao. 2016. Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates. Mathematical Problems in Engineering،Vol. 2016, no. 2016, pp.1-10.
https://search.emarefa.net/detail/BIM-1112148
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Wang, Guobin…[et al.]. Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates. Mathematical Problems in Engineering No. 2016 (2016), pp.1-10.
https://search.emarefa.net/detail/BIM-1112148
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Wang, Guobin& He, Jifeng& Liu, Jing& Sun, Haiying& Ding, Zuohua& Zhang, Miaomiao. Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates. Mathematical Problems in Engineering. 2016. Vol. 2016, no. 2016, pp.1-10.
https://search.emarefa.net/detail/BIM-1112148
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1112148
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر