2940 search results - page 27 / 588 » Relational Parametricity and Control |
ENGL
2008
14 years 9 months ago
2008
This paper proposes a robust suppression sliding mode controller design for uncertain Duffing-Holmes chaotic systems. A form of time-varying second-order differential equation is o...
112
click to vote
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
RP
2010
Springer
14 years 8 months ago
2010
Springer
We aim at finding a set of timing parameters for which a given timed automaton has a “good” behavior. We present here a novel approach based on the decomposition of the parame...
115
click to vote
CDC
2010
IEEE
14 years 4 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...
DATE
2002
IEEE
15 years 2 months ago
2002
IEEE
The relative tolerances for interconnect and device parameter variations have not scaled with feature sizes which have brought about significant performance variability. As we sca...