11374 search results - page 93 / 2275 » A System Demonstration of ST-TCP |
155
click to vote
SIAMCO
2008
15 years 6 months ago
2008
We analyze controllability and observability conditions for second order descriptor systems and show how the classical conditions for first order systems can be generalized to this...
134
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
In nonlinear system identification, the system is often represented as a series of blocks linked together. Such block-oriented models are built with static nonlinear subsystems an...
200
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a two-step method for identifying SISO Hammerstein systems. First, using a persistent input with retrospective cost optimization, we estimate a parametric model of the l...
172
click to vote
ECBS
2010
IEEE
16 years 29 days ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
142
click to vote
CDC
2008
IEEE
16 years 17 days ago
2008
IEEE
— This article addresses the invertibility problem for switched nonlinear systems affine in controls. The problem is concerned with finding the input and switching signal uniqu...