Sciweavers

5757 search results - page 984 / 1152
» Dynamic Policy Programming
Sort
View
AICCSA
2008
IEEE
266views Hardware» more  AICCSA 2008»
14 years 3 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»
14 years 3 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
CDC
2008
IEEE
140views Control Systems» more  CDC 2008»
14 years 3 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
CDC
2008
IEEE
14 years 3 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
CDC
2008
IEEE
159views Control Systems» more  CDC 2008»
14 years 3 months ago
Incorporating drivability metrics into optimal energy management strategies for Hybrid Vehicles
— Hybrid Vehicle fuel economy performance is highly sensitive to the energy management strategy used to select among multiple energy sources. Optimal solutions are easy to specif...
Daniel F. Opila, Deepak Aswani, Ryan McGee, Jeffre...