252 search results - page 34 / 51 » Decidable Controller Synthesis for Classes of Linear Systems |
FROCOS
2009
Springer
14 years 2 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
IJCV
2000
13 years 7 months ago
2000
Several characteristics of the human oculomotor system have been suggested to be useful also for active vision mechanisms. Among others, foveal vision and a tracking scheme based o...
CDC
2010
IEEE
12 years 11 months ago
2010
IEEE
Abstract— In the present paper we consider uniform inputto-state stability of reaction-diffusion equations and compare it with its finite dimensional counterpart without diffusi...
CRYPTO
2001
Springer
14 years 8 days ago
2001
Springer
Consider a network of processors among which elements in a finite field K can be verifiably shared in a constant number of rounds. Assume furthermore constant-round protocols ar...
CDC
2010
IEEE
2010
IEEE
Convergence of discrete-time approximations of constrained linear-quadratic optimal control problems
13 years 2 months ago
Abstract-- Continuous-time linear constrained optimal control problems are in practice often solved using discretization techniques, e.g. in model predictive control (MPC). This re...