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...

全面介绍

书目详细资料
Main Authors: Megawati, Noorma Yulia, Salmah, Wijayanti, Indah Emilia
格式: 文件
语言:English
出版: 2010
主题:
在线阅读:https://repository.ugm.ac.id/101240/1/20.pdf