Sciweavers

663 search results - page 25 / 133
» Synthesis of Self-Testable Controllers
Sort
View
DAC
2006
ACM
16 years 20 days ago
Rapid estimation of control delay from high-level specifications
We address the problem of estimating controller delay from high-level specifications during behavioral synthesis. Typically, the critical path of a synthesised behavioral design g...
Gagan Raj Gupta, Madhur Gupta, Preeti Ranjan Panda
IJCAI
2001
15 years 1 months ago
Reviving Partial Order Planning
This paper challenges the prevailing pessimism about the scalability of partial order planning (POP) algorithms by presenting several novel heuristic control techniques that make ...
XuanLong Nguyen, Subbarao Kambhampati
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 4 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
AUTOMATICA
2007
129views more  AUTOMATICA 2007»
14 years 12 months ago
Robust control of polytopic systems by convex optimization
— Robust control synthesis of linear time-invariant SISO polytopic systems is investigated using the polynomial approach. A convex set of all stabilizing controllers for a polyto...
Alireza Karimi, Hamid Khatibi, Roland Longchamp
AUTOMATICA
2008
76views more  AUTOMATICA 2008»
14 years 12 months ago
Structured semidefinite programs for the control of symmetric systems
In this paper we show how the symmetry present in many linear systems can be exploited to significantly reduce the computational effort required for controller synthesis. This app...
Randy Cogill, Sanjay Lall, Pablo A. Parrilo