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...
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 ...
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,...
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
Motion coordination of autonomous vehicles has applications from target surveillance to climate monitoring. Previous research has yielded stabilizing control laws for a selfpropell...