DocumentCode
26165
Title
Optimization-based methods for nonlinear and hybrid systems verification
Author
Jerrold E. Marsden استاد مشاور , John Comstock Doyle استاد راهنما , Anders Rantzer استاد مشاور
University
Caltech Library System
Grade
نامعلوم
Major
PhD
Number of pages
0
Publish Date
2005
Keyword
barrier certificates , hybrid systems , Nonlinear systems , optimization , Verification , sum of squares programming
Note
01
Language
انگليسي
Link To Document