Safety Analysis of a Class of Timed Automata Hybrid Systems
with SOS

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

Saved in:

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

相似書籍

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

Safety Analysis of Timed Automata Hybrid Systems with SOS for Complex Eigenvalues
由: Megawati, Noorma Yulia, et al.
出版: (2011)

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)

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)

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

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

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

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)

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)

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)

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

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

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)

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

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

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

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 DRBEM for Steady Infiltration from Periodic Flat Channels with Root Water Uptake
由: Solekhudin, Imam, et al.
出版: (2011)

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

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

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