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 |
| _version_ | 1797032862970544128 |
|---|---|
| author | Megawati, Noorma Yulia Salmah, Wijayanti, Indah Emilia |
| author_facet | Megawati, Noorma Yulia Salmah, Wijayanti, Indah Emilia |
| author_sort | Megawati, Noorma Yulia |
| collection | UGM |
| description | 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 square (SOS) decomposition will be used to check the emptiness of the set. Suppose given set of initial state of mode i and final state at mode i+1. The safety analysis is solved by determining the solution of differential systems at mode i and the solution of mode i at the time occurrence. The solution then become initial state at mode i+1 and then we analyze by using safety analysis of linear systems. |
| first_indexed | 2024-03-13T22:45:08Z |
| format | Book Section |
| id | oai:generic.eprints.org:101239 |
| institution | Universiti Gadjah Mada |
| language | English |
| last_indexed | 2024-03-13T22:45:08Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | oai:generic.eprints.org:1012392015-03-16T01:33:37Z https://repository.ugm.ac.id/101239/ Safety Analysis of Timed Automata Hybrid Systems with SOS for Complex Eigenvalues Megawati, Noorma Yulia Salmah, Wijayanti, Indah Emilia Pure Mathematics 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 square (SOS) decomposition will be used to check the emptiness of the set. Suppose given set of initial state of mode i and final state at mode i+1. The safety analysis is solved by determining the solution of differential systems at mode i and the solution of mode i at the time occurrence. The solution then become initial state at mode i+1 and then we analyze by using safety analysis of linear systems. 2011-07-12 Book Section PeerReviewed application/pdf en https://repository.ugm.ac.id/101239/1/16.pdf Megawati, Noorma Yulia and Salmah, and Wijayanti, Indah Emilia (2011) Safety Analysis of Timed Automata Hybrid Systems with SOS for Complex Eigenvalues. In: UNSPECIFIED UNSPECIFIED, pp. 471-480. |
| spellingShingle | Pure Mathematics Megawati, Noorma Yulia Salmah, Wijayanti, Indah Emilia Safety Analysis of Timed Automata Hybrid Systems with SOS for Complex Eigenvalues |
| title | Safety Analysis of Timed Automata Hybrid Systems with SOS for Complex Eigenvalues |
| title_full | Safety Analysis of Timed Automata Hybrid Systems with SOS for Complex Eigenvalues |
| title_fullStr | Safety Analysis of Timed Automata Hybrid Systems with SOS for Complex Eigenvalues |
| title_full_unstemmed | Safety Analysis of Timed Automata Hybrid Systems with SOS for Complex Eigenvalues |
| title_short | Safety Analysis of Timed Automata Hybrid Systems with SOS for Complex Eigenvalues |
| title_sort | safety analysis of timed automata hybrid systems with sos for complex eigenvalues |
| topic | Pure Mathematics |
| url | https://repository.ugm.ac.id/101239/1/16.pdf |
| work_keys_str_mv | AT megawatinoormayulia safetyanalysisoftimedautomatahybridsystemswithsosforcomplexeigenvalues AT salmah safetyanalysisoftimedautomatahybridsystemswithsosforcomplexeigenvalues AT wijayantiindahemilia safetyanalysisoftimedautomatahybridsystemswithsosforcomplexeigenvalues |