Sciweavers

6693 search results - page 204 / 1339
» On an anytime algorithm for control
Sort
View
DATE
2005
IEEE
131views Hardware» more  DATE 2005»
15 years 10 months ago
Unified Modeling of Complex Real-Time Control Systems
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
He Hai, Zhong Yi-fang, Cai Chi-lan
SBCCI
2003
ACM
119views VLSI» more  SBCCI 2003»
15 years 9 months ago
Design and Prototyping of Direct Torque Control of Induction Motors in FPGAs
This work presents an implementation of a Direct Torque Control (DTC) strategy, which is used to control induction motors. Following a tendency in the research area, the algorithm...
Sandro Ferreira, Felipe Haffner, Luis Fernando Per...
HYBRID
2003
Springer
15 years 9 months ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
HYBRID
2000
Springer
15 years 8 months ago
Controlled Invariance of Discrete Time Systems
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...
René Vidal, Shawn Schaffert, John Lygeros, ...
UAI
2000
15 years 5 months ago
The Complexity of Decentralized Control of Markov Decision Processes
We consider decentralized control of Markov decision processes and give complexity bounds on the worst-case running time for algorithms that find optimal solutions. Generalization...
Daniel S. Bernstein, Shlomo Zilberstein, Neil Imme...