Safety Analysis of Timed Automata Hybrid Systems with SOS for Complex Eigenvalues

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...

Saved in:

書目詳細資料
Main Authors:	Megawati, Noorma Yulia, Salmah, Wijayanti, Indah Emilia
格式:	Book Section PeerReviewed
語言:	English
出版:	2011
主題:	Pure Mathematics
在線閱讀:	https://repository.ugm.ac.id/101239/1/16.pdf https://repository.ugm.ac.id/101239/
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Universitas Gadjah Mada
語言:	English

相似書籍

Safety Analysis of a Class of Timed Automata Hybrid Systems with SOS
由: Megawati, Noorma Yulia, et al.
出版: (2010)

Safety Analysis of a Class of Timed Automata Hybrid Systems with SOS
由: Megawati, Noorma Yulia, et al.
出版: (2010)

Safety analysis of a Class of Timed Automata Hybrid Systems
由: Megawati, Noorma Yulia, et al.
出版: (2009)

Safety Analysis of Helicopter Models using Hybrid Systems with Geometric Programming
由: Salmah,, et al.
出版: (2010)

ANALISA KEAMANAN SISTEM DISKRIT
由: Megawati, Noorma Yulia, et al.
出版: (2012)

APLIKASI PERMAINAN DINAMIS LINEAR KUADRATIS SISTEM DESKRIPTOR PADA INTERAKSI FISKAL MONETER N NEGARA
由: Salmah,, et al.
出版: (2007)

Sifat Modul Injektif dalam Hubungannya dengan Modul Kompak Secara Persamaan
由: Sari, Kartika, et al.
出版: (2012)

Beberapa Sifat Ring Bersih-N Kuat
由: Yuwaningsih, Dian Ariesta, et al.
出版: (2012)

Modul Bertingkat N-Prima
由: Sutopo,, et al.
出版: (2014)

Keprimaan Mendasar Aljabar Lintasan Leavitt atas Ring Komutatif
由: Wardati, Khurul, et al.
出版: (2014)

The Necessary and Sufficient Condition of e * C ( e as A Clean R-Coalgebra
由: Puspita, Nikken P., et al.
出版: (2022)

On the restricted graded Jacobson radical of rings of Morita context
由: Prasetyo, Puguh Wahyu, et al.
出版: (2022)

Cooperative Linear Quadratic Game for Descriptor System
由: Salmah,
出版: (2010)

QUADRATIC OPTIMAL REGULATOR PROBLEM OF DYNAMIC GAME FOR DESCRIPTOR SYSTEM
由: Salmah, .
出版: (2011)

QUADRATIC OPTIMAL REGULATOR PROBLEM OF DYNAMIC GAME FOR DESCRIPTOR SYSTEM
由: Salmah, .
出版: (2011)

N-Player Linear Quadratic Dynamic Game for Descriptor System
由: Salmah,
出版: (2007)

THE LINEAR QUADRATIC OPTIMAL REGULATOR PROBLEM OF DYNAMIC GAME FOR DESCRIPTOR SYSTEM
由: Salmah,
出版: (2011)

Feddback Zero-sum Linear Quadratic Dynamic Game for Descriptor System
由: Salmah,
出版: (2009)

Open-loop Zero-sum Linear Quadratic Dynamic Game for Descriptor System
由: Salmah,
出版: (2009)

Nash Equilibrium of Feedback Linear Quadratic Dynamic Game for Index One Descriptor System
由: Salmah, .
出版: (2009)

Regula Fuzzy Controller Design on Model of Motion System of the Satellite Based on Linear Matrix Inequality
由: Solikhatun,, et al.
出版: (2011)

Krull modules and completely integrally closed modules
由: Nurwigantara, Mu’amar Musa, et al.
出版: (2022)

KESTABILAN INTERAKSI FISKAL MONETER DI EMU DENGAN PENDEKATAN PERMAINAN DINAMIS LINEAR KUADRATIS SISTEM DESKRIPTOR
由: Salmah,
出版: (2007)

KEOPTIMALAN NASH PERMAINAN DINAMIS LINEAR KUADRATIS TAK BERJUMLAH NOL SISTEM DESKRIPTOR
由: Salmah,
出版: (2007)

Analisa Kestabilan Sistem Switch Linear
由: Suparwanto, Ari, et al.
出版: (2007)

Aplikasi Metode Faktorisasi Masalah Cauchy Degenerate pada Madalah Sistem Control Abstrak Degenerate
由: Hariyanto, Susilo, et al.
出版: (2009)

PERMAINAN DINAMIS LINGKAR TERBUKA LINEAR KUADRATIS SISTEM DESKRIPTOR DAN APLIKASINYA PADA INTERAKSI FISKAL MONETER
由: Salmah,, et al.
出版: (2009)

Distribution Estimation of Heat Conduction using Kalman filtering which Implemented on Reduction Model
由: Arif, Didik Khusnul, et al.
出版: (2011)

Implementation of the Algorithm Kalmah Filter on Reduction Model
由: Arif, Didik Khusnul, et al.
出版: (2012)

Optimization of production and maintenance multiple machines scheduling in batch production system: A case study on the pharmaceutical industry in Central Java, Indonesia
由: Kusumawati, Miftah A., et al.
出版: (2022)

A DRBEM for Steady Infiltration from Periodic Flat Channels with Root Water Uptake
由: Solekhudin, Imam, et al.
出版: (2011)

Teorema Representasi Riesz pada Ruang Barisan yang Dibangkitkan oleh Fungsi Orlicz yang Diperluas
由: Khusnussa'adah, Nur, et al.
出版: (2013)

Metode Elemen Batas untuk Masalah Perpindahan Panas
由: Solekhudin, Imam
出版: (2014)

A numerical method for infiltration problems
由: Solekhudin, Imam
出版: (2014)

A NUMERICAL SOLUTION OF A HELMHOLTZ EQUATION USING BOUNDARY ELEMENTS
由: Solekhudin, Imam, et al.
出版: (2010)

Suatu Hubungan antara Directed Set dan Filter
由: Sutjijana, Akiysiyus
出版: (1988)

Estimator Type-M
由: Zulaela, Zulaela
出版: (1988)

Stability Regions and Bifurcation Analysis of a Delayed Predator-Prey Model Caused from Gestation Period
由: Binatari, Nikenasih, et al.
出版: (2022)

On Unique Factorization Modules: A Submodule Approach
由: Wahyuni, Sri, et al.
出版: (2022)

Mathematical analysis of a SIPC age-structured model of cervical cancer
由: Sari, Eminugroho Ratna, et al.
出版: (2022)