Laporkan Masalah

Analisa keamanan sistem hibrid automata waktu dengan jumlahan kuadrat

MEGAWATI, Noorma Yulia, Dr. Salmah, M.Si

2010 | Tesis | S2 Matematika

Dalam tesis ini akan dibahas analisa keamanan sistem hibrid automata waktu dengan predikat aman maju. Analisa keamanan sistem hibrid automata waktu ini merupakan perluasan dari analisa keamanan sistem linear. Dalam tesis ini, masalah analisa keamanan sistem linear diubah menjadi masalah fisibilitas dari himpunan yang didefinisikan dengan persamaan dan pertidaksamaan polinomial. Alat yang digunakan untuk menunjukkan fisibilitas dari himpunan yang didefinisikan oleh persamaan dan pertidaksamaan polinomial adalah Teorema Positivstellensatz. Analisa keamanan sistem linear akan diperluas untuk analisa keamanan sistem hibrid. Setiap mode dalam sistem hibrid dibangun oleh sistem linear. Jika diberikan himpunan state awal dalam mode i dan himpunan state akhir (state tak aman) dalam mode i+1 dalam bentuk pertidaksamaan polinomial. Analisa keamanan dilakukan dengan cara menentukan solusi dari sistem linear dalam mode i. Solusi sistem linear pada mode i pada saat terjadi transisi diskrit akan menjadi state awal dalam mode i+1 dan selanjutnya akan dilakukan analisa keamanannya.

In this thesis, we discussed about safety verification problem for timed automata hybrid systems especially for forward safety predicate. The safety verification problem for timed automata hybrid systems is an extension of safety verification problems for linear systems. In this thesis we convert safety verification problems of linear systems as an emptiness problem of a set defined by polynomial equalities and inequalities. Positivstellensatz theorem provides a characterization of infeasibility certificates for systems of polynomial equalities and inequalities. Safety verification problem of linear systems is extended to safety verification problem of timed automata hybrid systems. Each mode on hybrid systems is a linear system. Suppose given two set, initial state at mode i and final state at mode i+1 which defined by polynomial inequalities. The safety analysis is solved by determining the solution of the systems at mode i. The solution of the mode i at the discrete transition becomes the initial condition of the next mode i+1 and analyze by using the safety analysis of linear systems.

Kata Kunci : analisa keamanan, sistem hibrid, sistem linear, jumlahan kuadrat, safety analyze, hybrid systems, linear systems, sum of square


    Tidak tersedia file untuk ditampilkan ke publik.