423 search results - page 33 / 85 » Bounded Finite State Controllers |
AMC
1999
13 years 7 months ago
1999
We examine analytical and numerical aspects of optimal control problems for firstorder elliptic systems in three dimensions. The particular setting we use is that of divcurl syste...
AUTOMATICA
2006
13 years 7 months ago
2006
The H2-optimal controller for systems with preview, in which the knowledge of external input is available in advance for the controller, is derived. The single input case is first...
TCS
2008
13 years 7 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We consider the dynamic feedback problem in a class of hybrid systems modeled as (infinite) state deterministic transition systems, in which the continuous variables are...
ERSHOV
1999
Springer
13 years 12 months ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...