Sciweavers

174 search results - page 2 / 35
» Generalized Rabin(1) Synthesis with Applications to Robust S...
Sort
View
AUTOMATICA
2004
147views more  AUTOMATICA 2004»
13 years 4 months ago
Interval analysis and dioid: application to robust controller design for timed event graphs
This paper deals with feedback controller synthesis for timed event graphs in dioids, where the number of initial tokens and time delays are only known to belong to intervals. We ...
Mehdi Lhommeau, Laurent Hardouin, Bertrand Cottenc...
ICCAD
2003
IEEE
124views Hardware» more  ICCAD 2003»
14 years 1 months ago
Gradual Relaxation Techniques with Applications to Behavioral Synthesis
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
Zhiru Zhang, Yiping Fan, Miodrag Potkonjak, Jason ...
CDC
2008
IEEE
13 years 11 months ago
Robust generalized asymptotic regulation against non-stationary sinusoidal disturbances
Abstract— Attenuation of sinusoidal disturbances with uncertain and arbitrarily time-varying frequencies is considered in the form of a generalized asymptotic regulation problem....
Hakan Köroglu, Carsten W. Scherer
RECOMB
2009
Springer
14 years 5 months ago
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor...
Alexandre Donzé, Gilles Clermont, Axel Lega...
ATAL
2005
Springer
13 years 10 months ago
Protocol synthesis with dialogue structure theory
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
Jarred McGinnis, David Robertson, Christopher Walt...