Sciweavers

663 search results - page 14 / 133
» Synthesis of Self-Testable Controllers
Sort
View
EMSOFT
2007
Springer
15 years 5 months ago
A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
Alessandro Pinto, Luca P. Carloni, Alberto L. Sang...
PLDI
2012
ACM
13 years 2 months ago
Dynamic synthesis for relaxed memory models
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Mart...
115
Voted
DATE
2003
IEEE
122views Hardware» more  DATE 2003»
15 years 5 months ago
Synthesis of Complex Control Structures from Behavioral SystemC Models
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...
Francesco Bruschi, Fabrizio Ferrandi
94
Voted
SCL
2010
100views more  SCL 2010»
14 years 6 months ago
Memory-resilient gain-scheduled state-feedback control of uncertain LTI/LPV systems with time-varying delays
The stabilization of uncertain LTI/LPV time delay systems with time varying delays by statefeedback controllers is addressed. At the difference of other works in the literature, t...
Corentin Briat, Olivier Sename, Jean-Franço...
102
Voted
AUTOMATICA
2004
147views more  AUTOMATICA 2004»
14 years 11 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...