Sciweavers

423 search results - page 20 / 85
» Bounded Finite State Controllers
Sort
View
DATE
2004
IEEE
123views Hardware» more  DATE 2004»
13 years 11 months ago
On Concurrent Error Detection with Bounded Latency in FSMs
We discuss the problem of concurrent error detection (CED) with bounded latency in finite state machines (FSMs). The objective of this approach is to reduce the overhead of CED, a...
Sobeeh Almukhaizim, Petros Drineas, Yiorgos Makris
AUTOMATICA
2008
101views more  AUTOMATICA 2008»
13 years 7 months ago
Constrained linear system with disturbance: Convergence under disturbance feedback
This paper proposes a disturbance-based control parametrization under the Model Predictive Control framework for constrained linear discrete time systems with bounded additive dis...
Chen Wang, Chong Jin Ong, Melvyn Sim
JCNS
2000
109views more  JCNS 2000»
13 years 7 months ago
Dynamics of Sparsely Connected Networks of Excitatory and Inhibitory Spiking Neurons
The dynamics of networks of sparsely connected excitatory and inhibitory integrate-and-fire neurons are studied analytically. The analysis reveals a rich repertoire of states, incl...
Nicolas Brunel
CDC
2008
IEEE
106views Control Systems» more  CDC 2008»
14 years 2 months ago
Less conservative robust control of constrained linear systems with bounded disturbances
— This paper develops a novel robust control method for linear systems subject to additive and bounded disturbances. The approach is based on constraint tightening method. The pr...
Reza Ghaemi, Jing Sun, Ilya V. Kolmanovsky
ICDT
2007
ACM
143views Database» more  ICDT 2007»
14 years 1 months ago
Database Query Processing Using Finite Cursor Machines
We introduce a new abstract model of database query processing, finite cursor machines, that incorporates certain data streaming aspects. The model describes quite faithfully what...
Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole...