14 search results - page 1 / 3 » mpc 2004 |
MPC
2004
Springer
13 years 10 months ago
2004
Springer
MPC
2004
Springer
13 years 10 months ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
AUTOMATICA
2005
13 years 4 months ago
2005
This paper presents a method for enlarging the domain of attraction of nonlinear model predictive control (MPC). The usual way of guaranteeing stability of nonlinear MPC is to add...
MPC
2004
Springer
13 years 10 months ago
2004
Springer
In this paper we define Kleene algebra with tests in a slightly more general way than Kozen’s definition. Then we give an explicit construction of the free Kleene algebra with...
MPC
2004
Springer
13 years 10 months ago
2004
Springer
Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basi...