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: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2010
|
| Subjects: | |
| Online Access: | https://repository.ugm.ac.id/101240/1/20.pdf |
| _version_ | 1797032863167676416 |
|---|---|
| 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 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 squares (SOS) decomposition will be used to check the emptiness of the set. Suppose given sets of the initial state at mode and terminal set at mode . The safety analysis is solved by determining the solution of the differential solution at mode and the solution of the mode at the discrete occurrence. This solution then becomes the initial condition of the next mode and analysis by using the safety analysis. |
| first_indexed | 2024-03-13T22:45:08Z |
| format | Article |
| id | oai:generic.eprints.org:101240 |
| institution | Universiti Gadjah Mada |
| language | English |
| last_indexed | 2024-03-13T22:45:08Z |
| publishDate | 2010 |
| record_format | dspace |
| spelling | oai:generic.eprints.org:1012402015-03-16T01:38:39Z https://repository.ugm.ac.id/101240/ Safety Analysis of a Class of Timed Automata Hybrid Systems with SOS Megawati, Noorma Yulia Salmah, Wijayanti, Indah Emilia Pure Mathematics 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 squares (SOS) decomposition will be used to check the emptiness of the set. Suppose given sets of the initial state at mode and terminal set at mode . The safety analysis is solved by determining the solution of the differential solution at mode and the solution of the mode at the discrete occurrence. This solution then becomes the initial condition of the next mode and analysis by using the safety analysis. 2010-11-03 Article PeerReviewed application/pdf en https://repository.ugm.ac.id/101240/1/20.pdf Megawati, Noorma Yulia and Salmah, and Wijayanti, Indah Emilia (2010) Safety Analysis of a Class of Timed Automata Hybrid Systems with SOS. pp. 474-479. |
| spellingShingle | Pure Mathematics Megawati, Noorma Yulia Salmah, Wijayanti, Indah Emilia Safety Analysis of a Class of Timed Automata Hybrid Systems with SOS |
| title | Safety Analysis of a Class of Timed Automata Hybrid Systems
with SOS |
| title_full | Safety Analysis of a Class of Timed Automata Hybrid Systems
with SOS |
| title_fullStr | Safety Analysis of a Class of Timed Automata Hybrid Systems
with SOS |
| title_full_unstemmed | Safety Analysis of a Class of Timed Automata Hybrid Systems
with SOS |
| title_short | Safety Analysis of a Class of Timed Automata Hybrid Systems
with SOS |
| title_sort | safety analysis of a class of timed automata hybrid systems with sos |
| topic | Pure Mathematics |
| url | https://repository.ugm.ac.id/101240/1/20.pdf |
| work_keys_str_mv | AT megawatinoormayulia safetyanalysisofaclassoftimedautomatahybridsystemswithsos AT salmah safetyanalysisofaclassoftimedautomatahybridsystemswithsos AT wijayantiindahemilia safetyanalysisofaclassoftimedautomatahybridsystemswithsos |