Sciweavers

663 search results - page 13 / 133
» Synthesis of Self-Testable Controllers
Sort
View
105
Voted
ICCAD
1994
IEEE
137views Hardware» more  ICCAD 1994»
15 years 3 months ago
Dynamic scheduling and synchronization synthesis of concurrent digital systems under system-level constraints
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
Claudionor José Nunes Coelho Jr., Giovanni ...
106
Voted
HYBRID
2000
Springer
15 years 3 months ago
Decidable Controller Synthesis for Classes of Linear Systems
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
Omid Shakernia, Shankar Sastry, George J. Pappas
90
Voted
ISCAS
2002
IEEE
113views Hardware» more  ISCAS 2002»
15 years 4 months ago
Cell library for automatic synthesis of analog error control decoders
This paper presents a cell library for automatic synthesis of analog error control decoders. By using some basic cells, analog error control decoders can be automatically synthesi...
Jie Dai, Chris Winstead, Chris J. Myers, Reid R. H...
91
Voted
AUTOMATICA
2007
73views more  AUTOMATICA 2007»
14 years 11 months ago
Output feedback controller synthesis for descriptor systems satisfying closed-loop dissipativity
This paper is concerned with synthesis of output feedback controllers for descriptor systems to attain dissipativity of the closed-loop system. A necessary and sufficient conditio...
Izumi Masubuchi
FM
1999
Springer
121views Formal Methods» more  FM 1999»
15 years 4 months ago
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
Hervé Marchand, Mazen Samaan