Sciweavers

663 search results - page 3 / 133
» Synthesis of Self-Testable Controllers
Sort
View
SIAMCO
2002
81views more  SIAMCO 2002»
13 years 5 months ago
Robust Controller Synthesis for Uncertain Time-Varying Systems
In this paper we develop and present new convex synthesis conditions for robust performance in linear time-varying systems, subject to time-varying perturbations. In particular, th...
Carol Pirie, Geir E. Dullerud
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
13 years 1 months ago
Using computer games for hybrid systems controller synthesis
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
A. Agung Julius, Sina Afshari
DEDS
2000
83views more  DEDS 2000»
13 years 5 months ago
Synthesis of Discrete-Event Controllers Based on the Signal Environment
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
Hervé Marchand, Patricia Bournai, Michel Le...
TCAD
1998
125views more  TCAD 1998»
13 years 5 months ago
BDD-based synthesis of extended burst-mode controllers
Abstract—We examine the implications of a new hazard-free combinational logic synthesis method [1], which generates multiplexor-based networks from binary decision diagrams (BDDs...
Kenneth Y. Yun, Bill Lin, David L. Dill, Srinivas ...
CDC
2010
IEEE
124views Control Systems» more  CDC 2010»
13 years 1 months ago
A relaxation of Lyapunov conditions and controller synthesis for discrete-time periodic systems
This paper proposes a novel approach to stability analysis and controller synthesis for discrete-time periodically time-varying systems. Firstly, a relaxation of standard Lyapunov ...
Christoph Bohm, Mircea Lazar, Frank Allgöwer