4041 search results - page 210 / 809 » time 2009 |
140
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Stabilizability of linear time invariant networked systems of general structure is studied with an observer-based approach. In the assumption of piecewise constant controls an ...
180
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper an Iterative Learning Control (ILC) algorithm is proposed for a certain class of Linear Parameter Varying (LPV) systems whose dynamics change between iterations. ...
103
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We investigate an optimal consumption and investment problem where we receive a certain fixed income stream that is terminated at a random time. It turns out that the ...
159
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
This paper extends for the first time semantic interpretation tools to infinite data in order to ensure Input/Output upper bounds on first order Haskell like programs on streams...
197
click to vote
DALT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...