5600 search results - page 43 / 1120 » Synthesizing robust systems |
CODES
1998
IEEE
13 years 12 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...
IJFCS
2008
13 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...
CDC
2009
IEEE
13 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...
EACL
2003
ACL Anthology
13 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...
DSD
2008
IEEE
14 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...