663 search results - page 28 / 133 » Synthesis of Self-Testable Controllers |
127
click to vote
DAC
2001
ACM
16 years 2 months ago
2001
ACM
The quality of synthesis results for most high level synthesis approaches is strongly a ected by the choice of control ow through conditions and loops in the input description. In...
124
click to vote
DAC
2000
ACM
16 years 2 months ago
2000
ACM
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
113
click to vote
FDL
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
132
click to vote
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...
AUTOMATICA
2008
15 years 2 months ago
2008
This paper addresses the synthesis approach to output feedback robust model predictive control for systems with polytopic description, bounded state disturbance and measurement no...