1897 search results - page 101 / 380 » Conditional Linear Planning |
165
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
129
click to vote
ISSAC
2007
Springer
15 years 9 months ago
2007
Springer
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...
116
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The paper presents realization theory of discrete-time linear switched systems (abbreviated by DTLSSs). We present necessary and sufficient conditions for an input-output map to ...
SIAMSC
2010
14 years 9 months ago
2010
This paper constructs strong-stability-preserving general linear time-stepping methods that are well suited for hyperbolic PDEs discretized by the method of lines. These methods ge...
134
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— This paper studies the robust stability and stabilization problems for switched linear discrete-time systems. The parameter uncertainties in the system under considerat...