241 search results - page 19 / 49 » Controlled Invariance of Discrete Time Systems |
LICS
2012
IEEE
11 years 10 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
SCL
2008
13 years 8 months ago
2008
We introduce a new class of dynamic encoders for continuous-time nonlinear control systems which update their parameters only at discrete times. We prove that the information reco...
CDC
2009
IEEE
14 years 22 days ago
2009
IEEE
— In this paper we use partially ordered sets (posets) to study decentralized control problems arising in different settings. We show that time delayed systems with certain dela...
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We present a novel single image deblurring method to estimate spatially non-uniform blur that results from camera shake. We use existing spatially invariant deconvolution...
CAV
2003
Springer
14 years 1 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...