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

ver descrição completa

Detalhes bibliográficos
Principais autores: Megawati, Noorma Yulia, Salmah, Wijayanti, Indah Emilia
Formato: Book Section
Idioma:English
Publicado em: 2010
Assuntos:
Acesso em linha:https://repository.ugm.ac.id/134916/1/20.pdf