256 search results - page 32 / 52 » Robust control of nonlinear systems with parametric uncertai... |
RTSS
2009
IEEE
14 years 3 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
The paper establishes conditions which certify a local L2 gain for interconnections of locally stable systems. The approach involves improvements to local L2 gain estimation using ...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this paper, we describe a simulation-based approach to the verification of high dimensional nonlinear systems subject to disturbances and uncertainty in the initial conditi...
VLSID
2007
IEEE
14 years 9 months ago
2007
IEEE
Title of thesis: EFFICIENT AND ACCURATE STATISTICAL TIMING ANALYSIS FOR NON-LINEAR NON-GAUSSIAN VARIABILITY WITH INCREMENTAL ATTRIBUTES Ashish Dobhal, Master of Science, 2006 Thes...
BIOCOMP
2010
13 years 6 months ago
2010
The tryptophan operon of E. coli represents an important regulatory unit consisting of multiple feedback loops. The role of these loops is crucial to understand the dynamics of tr...