東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Optimization-based methods for nonli...

Prajna, Stephen.

Linked to FindBook

Google Book

Amazon

博客來

Optimization-based methods for nonlinear and hybrid systems verification.

Record Type:	Electronic resources : Monograph/item
Title/Author:	Optimization-based methods for nonlinear and hybrid systems verification./
Author:	Prajna, Stephen.
Description:	102 p.
Notes:	Source: Dissertation Abstracts International, Volume: 66-08, Section: B, page: 4464.
Contained By:	Dissertation Abstracts International66-08B.
Subject:	Engineering, System Science. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3185641
ISBN:	0542274396

Optimization-based methods for nonlinear and hybrid systems verification.
Prajna, Stephen.

Optimization-based methods for nonlinear and hybrid systems verification. - 102 p.

Source: Dissertation Abstracts International, Volume: 66-08, Section: B, page: 4464.

Thesis (Ph.D.)--California Institute of Technology, 2005.

Complex behaviors that can be exhibited by hybrid systems make the verification of such systems both important and challenging. Due to the infinite number of possibilities taken by the continuous state and the uncertainties in the system, exhaustive simulation is impossible, and also computing the set of reachable states is generally intractable. Nevertheless, the ever-increasing presence of hybrid systems in safety critical applications makes it evident that verification is an issue that has to be addressed.

ISBN: 0542274396Subjects--Topical Terms:

1018128
Engineering, System Science.

Optimization-based methods for nonlinear and hybrid systems verification.
LDR:02671nmm 2200313 4500 001 1819895
005 20061006144029.5
008 130610s2005 eng d
020 $a 0542274396
035 $a (UnM)AAI3185641
035 $a AAI3185641
040 $a UnM $c UnM
100 1 $a Prajna, Stephen. $3 1909157
245 1 0 $a Optimization-based methods for nonlinear and hybrid systems verification.
300 $a 102 p.
500 $a Source: Dissertation Abstracts International, Volume: 66-08, Section: B, page: 4464.
500 $a Adviser: John C. Doyle.
502 $a Thesis (Ph.D.)--California Institute of Technology, 2005.
520 $a Complex behaviors that can be exhibited by hybrid systems make the verification of such systems both important and challenging. Due to the infinite number of possibilities taken by the continuous state and the uncertainties in the system, exhaustive simulation is impossible, and also computing the set of reachable states is generally intractable. Nevertheless, the ever-increasing presence of hybrid systems in safety critical applications makes it evident that verification is an issue that has to be addressed.
520 $a In this thesis, we develop a unified methodology for verifying temporal properties of continuous and hybrid systems. Our framework does not require explicit computation of reachable states. Instead, functions of state termed barrier certificates and density functions are used in conjunction with deductive inference to prove properties such as safety, reachability, eventuality, and their combinations. As a consequence, the proposed methods are directly applicable to systems with nonlinearity, uncertainty, and constraints. Moreover, it is possible to treat safety verification of stochastic systems in a similar fashion, by computing an upper-bound on the probability of reaching the unsafe states.
520 $a We formulate verification using barrier certificates and density functions as convex programming problems. For systems with polynomial descriptions, sum of squares optimization can be used to construct polynomial barrier certificates and density functions in a computationally scalable manner. Some examples are presented to illustrate the use of the methods. At the end, the convexity of the problem formulation is also exploited to prove a converse theorem in safety verification using barrier certificates.
590 $a School code: 0037.
650 4 $a Engineering, System Science. $3 1018128
650 4 $a Engineering, Electronics and Electrical. $3 626636
650 4 $a Computer Science. $3 626642
690 $a 0790
690 $a 0544
690 $a 0984
710 2 0 $a California Institute of Technology. $3 726902
773 0 $t Dissertation Abstracts International $g 66-08B.
790 1 0 $a Doyle, John C., $e advisor
790 $a 0037
791 $a Ph.D.
792 $a 2005
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3185641