7778 search results - page 144 / 1556 » Designing Controllers for Reachability |
117
Voted
AUTOMATICA
2002
15 years 3 months ago
2002
A new approach to control system design for systems containing sandwiched, uncertain, non-smooth friction is proposed. The method is based on a multi-state backstepping approach t...
133
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
150
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
145
Voted
VR
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a new tactile feedback system for finger-based interactions in immersive virtual reality applications. The system consists of tracked thimbles for the fingers with shap...
121
Voted
FCT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...