Safety analysis of a Class of Timed Automata Hybrid Systems
This paper investigates safety analysis of reachability of timed automata hybrid systems as an extension of safety analysis of linear system. By studying the initial and terminal sets, the safety analysis problems can be represented as geometric optimization problems which can be transformed into a...
| Main Authors: | , , , , , , , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2009
|
| Subjects: | |
| Online Access: | https://repository.ugm.ac.id/101247/1/21.pdf |
| _version_ | 1797032864359907328 |
|---|---|
| author | Megawati, Noorma Yulia Sutarto, Herman Y. Salmah, Suparwanto, Ari Wijayanti, Indah Emilia Solikhatun, Budiyono, Agus Joelianto, Endra |
| author_facet | Megawati, Noorma Yulia Sutarto, Herman Y. Salmah, Suparwanto, Ari Wijayanti, Indah Emilia Solikhatun, Budiyono, Agus Joelianto, Endra |
| author_sort | Megawati, Noorma Yulia |
| collection | UGM |
| description | This paper investigates safety analysis of reachability of timed automata hybrid systems as an extension of safety analysis of linear system. By studying the initial and terminal sets, the safety analysis problems can be represented as geometric optimization problems which can be transformed into a linear programming. Solution of the optimization problem results in time interval of a safe and unsafe condition of linear systems.
Safety analysis of linear systems is extended to safety analysis of timed automata hybrid systems which each mode is linear systems. Suppose given polyhedral sets of the initial state at mode i and terminal set mode i+1. The safety analysis is solved by determining the solution of the differential solution at mode i and the solution of the mode i at the discrete occurence. This solution the becomes the initial condition of the next mode i+1 and analysis by using the safety analysis. |
| first_indexed | 2024-03-13T22:45:09Z |
| format | Conference or Workshop Item |
| id | oai:generic.eprints.org:101247 |
| institution | Universiti Gadjah Mada |
| language | English |
| last_indexed | 2024-03-13T22:45:09Z |
| publishDate | 2009 |
| record_format | dspace |
| spelling | oai:generic.eprints.org:1012472015-03-16T02:01:59Z https://repository.ugm.ac.id/101247/ Safety analysis of a Class of Timed Automata Hybrid Systems Megawati, Noorma Yulia Sutarto, Herman Y. Salmah, Suparwanto, Ari Wijayanti, Indah Emilia Solikhatun, Budiyono, Agus Joelianto, Endra Pure Mathematics This paper investigates safety analysis of reachability of timed automata hybrid systems as an extension of safety analysis of linear system. By studying the initial and terminal sets, the safety analysis problems can be represented as geometric optimization problems which can be transformed into a linear programming. Solution of the optimization problem results in time interval of a safe and unsafe condition of linear systems. Safety analysis of linear systems is extended to safety analysis of timed automata hybrid systems which each mode is linear systems. Suppose given polyhedral sets of the initial state at mode i and terminal set mode i+1. The safety analysis is solved by determining the solution of the differential solution at mode i and the solution of the mode i at the discrete occurence. This solution the becomes the initial condition of the next mode i+1 and analysis by using the safety analysis. 2009-10-20 Conference or Workshop Item PeerReviewed application/pdf en https://repository.ugm.ac.id/101247/1/21.pdf Megawati, Noorma Yulia and Sutarto, Herman Y. and Salmah, and Suparwanto, Ari and Wijayanti, Indah Emilia and Solikhatun, and Budiyono, Agus and Joelianto, Endra (2009) Safety analysis of a Class of Timed Automata Hybrid Systems. In: ICA Conference 2009, 20 - 22 Oktober 2009, ITB Bandung. |
| spellingShingle | Pure Mathematics Megawati, Noorma Yulia Sutarto, Herman Y. Salmah, Suparwanto, Ari Wijayanti, Indah Emilia Solikhatun, Budiyono, Agus Joelianto, Endra Safety analysis of a Class of Timed Automata Hybrid Systems |
| title | Safety analysis of a Class of Timed Automata Hybrid Systems |
| title_full | Safety analysis of a Class of Timed Automata Hybrid Systems |
| title_fullStr | Safety analysis of a Class of Timed Automata Hybrid Systems |
| title_full_unstemmed | Safety analysis of a Class of Timed Automata Hybrid Systems |
| title_short | Safety analysis of a Class of Timed Automata Hybrid Systems |
| title_sort | safety analysis of a class of timed automata hybrid systems |
| topic | Pure Mathematics |
| url | https://repository.ugm.ac.id/101247/1/21.pdf |
| work_keys_str_mv | AT megawatinoormayulia safetyanalysisofaclassoftimedautomatahybridsystems AT sutartohermany safetyanalysisofaclassoftimedautomatahybridsystems AT salmah safetyanalysisofaclassoftimedautomatahybridsystems AT suparwantoari safetyanalysisofaclassoftimedautomatahybridsystems AT wijayantiindahemilia safetyanalysisofaclassoftimedautomatahybridsystems AT solikhatun safetyanalysisofaclassoftimedautomatahybridsystems AT budiyonoagus safetyanalysisofaclassoftimedautomatahybridsystems AT joeliantoendra safetyanalysisofaclassoftimedautomatahybridsystems |