Safety Analysis of a Class of Timed Automata Hybrid Systems with SOS
In this paper we investigate safety analysis or reachability of timed automata hybrid systems as an extension of safety analysis of linear systems. The safety verification problem of linear system with certain eigen-structure will be converted to an emptiness problem for semi-algebraic set. Sum of...
محفوظ في:
| المؤلفون الرئيسيون: | , , |
|---|---|
| التنسيق: | Book Section PeerReviewed |
| اللغة: | English |
| منشور في: |
2010
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://repository.ugm.ac.id/134916/1/20.pdf https://repository.ugm.ac.id/134916/ |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|