5600 search results - page 51 / 1120 » Synthesizing robust systems |
POPL
2010
ACM
14 years 5 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
CVHI
2007
13 years 9 months ago
2007
: The primary focus of this paper is accessibility barriers for visually impaired people and people with dyslexia. Due to their disability a segment of these people have limited ac...
ENGL
2008
13 years 7 months ago
2008
This paper proposes a robust suppression sliding mode controller design for uncertain Duffing-Holmes chaotic systems. A form of time-varying second-order differential equation is o...
AUTOMATICA
2004
13 years 7 months ago
2004
A new approach to robust sampled-data control is introduced. The system is modelled as a continuous-time one, where the control input has a piecewise-continuous delay. Su cient li...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper develops a novel robust control method for linear systems subject to additive and bounded disturbances. The approach is based on constraint tightening method. The pr...