Sciweavers

5314 search results - page 888 / 1063
» Hybrid Dynamic Programming
Sort
View
128
Voted
AICCSA
2008
IEEE
266views Hardware» more  AICCSA 2008»
15 years 9 months ago
A novel flow-sensitive type and effect analysis for securing C code
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
Syrine Tlili, Mourad Debbabi
CDC
2008
IEEE
140views Control Systems» more  CDC 2008»
15 years 9 months ago
Optimal control of a voice-coil-motor with Coulombic friction
— The voice-coil-motor is a widely used mechatronic device, which represents a typical electrodynamic actuator for machine tool axes, bonding machines and hydraulic/pneumatic val...
Bahne Christiansen, Helmut Maurer, Oliver Zirn
100
Voted
CDC
2008
IEEE
140views Control Systems» more  CDC 2008»
15 years 9 months ago
Information state for Markov decision processes with network delays
We consider a networked control system, where each subsystem evolves as a Markov decision process (MDP). Each subsystem is coupled to its neighbors via communication links over wh...
Sachin Adlakha, Sanjay Lall, Andrea J. Goldsmith
119
Voted
CDC
2008
IEEE
15 years 9 months ago
Shannon meets Bellman: Feature based Markovian models for detection and optimization
— The goal of this paper is to develop modeling techniques for complex systems for the purposes of control, estimation, and inference: (i) A new class of Hidden Markov Models is ...
Sean P. Meyn, George Mathew
115
Voted
CDC
2008
IEEE
131views Control Systems» more  CDC 2008»
15 years 9 months ago
Explicit model predictive control for linear parameter-varying systems
Abstract— In this paper we demonstrate how one can reformulate the MPC problem for LPV systems to a series of mpLPs by a closed-loop minimax MPC algorithm based on dynamic progra...
Thomas Besselmann, Johan Löfberg, Manfred Mor...