Sciweavers

663 search results - page 94 / 133
» Synthesis of Self-Testable Controllers
Sort
View
CORR
2010
Springer
85views Education» more  CORR 2010»
15 years 2 months ago
A control-theoretical methodology for the scheduling problem
This paper presents a novel methodology to develop scheduling algorithms. The scheduling problem is phrased as a control problem, and control-theoretical techniques are used to de...
Carlo A. Furia, Alberto Leva, Martina Maggio, Paol...
SIAMJO
2008
92views more  SIAMJO 2008»
15 years 1 months ago
A Trust Region Spectral Bundle Method for Nonconvex Eigenvalue Optimization
We present a nonsmooth optimization technique for nonconvex maximum eigenvalue functions and for nonsmooth functions which are infinite maxima of eigenvalue functions. We prove glo...
Pierre Apkarian, Dominikus Noll, O. Prot
SIAMCO
2010
116views more  SIAMCO 2010»
15 years 11 days ago
Large-Population LQG Games Involving a Major Player: The Nash Certainty Equivalence Principle
We consider linear-quadratic-Gaussian (LQG) games with a major player and a large number of minor players. The major player has a significant influence on others. The minor playe...
Minyi Huang
DATE
1999
IEEE
74views Hardware» more  DATE 1999»
15 years 6 months ago
FSMD Functional Partitioning for Low Power
Previous work has shown that sizable power reductions can be achieved by shutting down a system's sub-circuits when they are not needed. However, these shutdown techniques fo...
Enoch Hwang, Frank Vahid, Yu-Chin Hsu
FORMATS
2008
Springer
15 years 3 months ago
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski...