1897 search results - page 105 / 380 » Conditional Linear Planning |
112
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
141
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
Exponential stability of switched linear systems under both arbitrary and proper switching is studied through two suitably defined families of functions called the strong and the...
134
click to vote
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
Many approaches recently proposed for high-speed asynchronous pipelines are applicable only to linear datapaths. However, real systems typically have non-linearities in their data...
100
click to vote
AUTOMATICA
2008
15 years 3 months ago
2008
Abstract-- We address a new problem--the invertibility problem for continuous-time switched linear systems, which is the problem of recovering the switching signal and the input un...
116
click to vote
AUTOMATICA
2007
15 years 3 months ago
2007
In this paper active mode observability is addressed for a class of discrete-time linear systems that may switch in an unknown and unpredictable way among different modes taken f...