Sciweavers

6514 search results - page 45 / 1303
» Low-Knowledge Algorithm Control
Sort
View
FTCS
1998
79views more  FTCS 1998»
14 years 11 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
IPMU
2010
Springer
14 years 8 months ago
Keeping Secrets in Possibilistic Knowledge Bases with Necessity-Valued Privacy Policies
Controlled Query Evaluation (CQE) is a logical framework for the protection of secrets in databases. In this article, we extend the CQE framework to possibilistic logic: knowledge ...
Lena Wiese
GECCO
2005
Springer
175views Optimization» more  GECCO 2005»
15 years 3 months ago
Evolution of multi-loop controllers for fixed morphology with a cyclic genetic algorithm
Cyclic genetic algorithms can be used to generate single loop control programs for robots. While successful in generating controllers for individual leg movement, gait generation,...
Gary B. Parker, Ramona Georgescu
CDC
2010
IEEE
14 years 4 months ago
Market-based control mechanisms for electric power demand response
We propose a settlement mechanism for optimally scheduling real time electricity consumption which is suitable for an automated demand response control system. Our proposed settlem...
Anthony Papavasiliou, Haitham Hindi, Daniel Greene
88
Voted
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
14 years 4 months ago
Backstepping control design for motion coordination of self-propelled vehicles
Motion coordination of autonomous vehicles has applications from target surveillance to climate monitoring. Previous research has yielded stabilizing control laws for a selfpropell...
Rochelle Mellish, Derek A. Paley