Sciweavers

663 search results - page 21 / 133
» Synthesis of Self-Testable Controllers
Sort
View
ICCAD
1997
IEEE
94views Hardware» more  ICCAD 1997»
15 years 3 months ago
High-level scheduling model and control synthesis for a broad range of design applications
This paper presents a versatile scheduling model and an efficient control synthesis methodology which enables architectural (high-level) design/synthesis systems to seamlessly su...
Chih-Tung Chen, Kayhan Küçük&cced...
AUTOMATICA
2008
89views more  AUTOMATICA 2008»
14 years 11 months ago
Controller synthesis with guaranteed closed-loop phase constraints
In this paper, we present an analysis and synthesis framework for guaranteeing that the phase of a single-input, single-output closed-loop transfer function is contained in the int...
Wassim M. Haddad, VijaySekhar Chellaboina, Behnood...
AUTOMATICA
1999
82views more  AUTOMATICA 1999»
14 years 11 months ago
Controllers for reachability specifications for hybrid systems
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
John Lygeros, Claire Tomlin, Shankar Sastry
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
14 years 6 months ago
A symbolic approach to controlling piecewise affine systems
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Ce...
HYBRID
2010
Springer
15 years 1 months ago
On infinity norms as Lyapunov functions for piecewise affine systems
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...
Mircea Lazar, Andrej Jokic