5600 search results - page 43 / 1120 » Synthesizing robust systems |
205
Voted
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
The HW/SW partitioning problem addressed in this paper is one of the key steps in the co-design flow of heterogeneous embedded systems. Generally the aim is to provide solutions t...
201
Voted
IJFCS
2008
15 years 7 months ago
2008
The conventional forbidden state problem for discrete event systems is concerned with the issue of synthesizing a maximally permissive control policy to prevent a discrete event s...
179
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper focuses on the design of a robust tube-based Model Predictive Control law for the control of constrained mobile robots. A time-varying trajectory tracking error mode...
153
Voted
EACL
2003
ACL Anthology
15 years 9 months ago
2003
ACL Anthology
We demonstrate the production of spoken output with contextually appropriate intonation in the information-state based dialogue system GoDiS. We exploit the context representation...
189
Voted
DSD
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper, a methodology for generating VHDL descriptions of hardware checkers is presented. It is shown how the methodology can be used to generate on-line checkers of commun...