2940 search results - page 94 / 588 » Relational Parametricity and Control |
158
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— One of the potential benefits of robotic systems in cardiac surgery is that their use can increase the number of possible off-pump (beating heart) coronary artery bypass graft...
156
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...
108
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
An optimal feedback control has been obtained for linear-quadratic optimal control problems with constraints described by differential-algebraic equations. For that purpose, a ne...
117
click to vote
JIRS
2006
15 years 4 months ago
2006
This paper deals with a novel method of continuous-time model-predictive control for nonlinear time-delayed systems. The problems relating to time delays are solved by incorporatin...
140
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In modern robust control, control synthesis may be cast as an interpolation problem where the interpolant relates to robustness and performance criteria. In particular, robustn...