663 search results - page 26 / 133 » Synthesis of Self-Testable Controllers |
79
Voted
ATVA
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be b...
IVA
2007
Springer
15 years 5 months ago
2007
Springer
CereProc R Ltd. have recently released a beta version of a commercial unit selection synthesiser featuring XML control of speech style. The system is freely available for academic ...
AUTOMATICA
2005
14 years 11 months ago
2005
Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant...
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
Loop unrolling is a well-known compiler optimization that can lead to significant performance improvements. When used in High Level Synthesis (HLS) unrolling can affect the contr...
HYBRID
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...