2940 search results - page 4 / 588 » Relational Parametricity and Control |
POPL
1997
ACM
15 years 1 months ago
1997
ACM
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
102
click to vote
TLCA
2009
Springer
15 years 4 months ago
2009
Springer
We show that, in a parametric model of polymorphism, the type ∀α.((α → α) → α) → (α → α → α) → α is isomorphic to closed n terms. That is, the type of closed ...
AUTOMATICA
2008
14 years 9 months ago
2008
This paper proposes a disturbance-based control parametrization under the Model Predictive Control framework for constrained linear discrete time systems with bounded additive dis...