Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
The Center for Control, Dynamical Systems, and Computation University of California at Santa Barbara
 

Summary: The Center for Control, Dynamical Systems, and Computation
University of California at Santa Barbara
Fall 2009 Seminar Series
Presents
Model-Based Verification of Complex Systems
Ufuk Topcu
Control and Dynamical Systems
California Institute of Technology
Friday, November 20, 2009, 3:00 4:00pm, HFH 1104
Abstract:
How can we efficiently certify that autonomous vehicles will achieve required safety and performance
in the presence of modeling uncertainties and environmental disturbances? How can we quantify risks
in safety critical and high cost applications? Can we guide scientists and engineers to design the most
informative next experiment/test? Motivated by these and similar questions, I will present my recent
work on computational tools that aid decision-making under uncertainty. The focus will be on quantita-
tive tools for the robustness and performance analysis of nonlinear dynamical systems. I will discuss
methods that enable (i) integration of simulation data into sum-of-squares based proof construction;
(ii) assessment of the effects of modeling uncertainties in a parallelizable framework and unmodeled
dynamics using local small-gain type theorems. I will follow with examples on the analysis of controlled
flight dynamics and on autocatalytic networks in biology. Additionally, I will briefly discuss my current

  

Source: Akhmedov, Azer - Department of Mathematics, University of California at Santa Barbara

 

Collections: Mathematics