Safety Analysis of Timed Automata Hybrid Systems with SOS for Complex Eigenvalues
In this paper we investigate a safety analysis or reachability of timed automata hybrid systems as an extension of safety analysis of linear systems. The safety verification problem of linear systems with complex eigenvalues will be converted to an emptiness problem from semi algebraic set. Sum of s...
| Main Authors: | , , |
|---|---|
| Format: | Book Section |
| Language: | English |
| Published: |
2011
|
| Subjects: | |
| Online Access: | https://repository.ugm.ac.id/101239/1/16.pdf |