576 search results - page 61 / 116 » Approximate controllability of a reaction-diffusion system |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
We consider a mixed linear system model, with both continuous and discrete inputs and outputs, described by a coefficient matrix and a set of noise variances. When the discrete inp...
EUROPAR
2007
Springer
14 years 4 months ago
2007
Springer
The distributed nature of the grid results in the problem of scheduling parallel jobs produced by several independent organizations that have partial control over the system. We co...
CGO
2007
IEEE
14 years 4 months ago
2007
IEEE
General-purpose operating systems, such as Linux, are increasingly being used in embedded systems. Computational resources are usually limited, and embedded processors often have ...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— This article addresses the problem of generating timed trajectories and temporally coordinated movements for two wheeled vehicles, when relatively low-level, noisy sensorial in...
FMCAD
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...