26165

Optimization-based methods for nonlinear and hybrid systems verification

Jerrold E. Marsden استاد مشاور , John Comstock Doyle استاد راهنما , Anders Rantzer استاد مشاور

Caltech Library System

نامعلوم

PhD

0

2005

barrier certificates , hybrid systems , Nonlinear systems , optimization , Verification , sum of squares programming

01

انگليسي