327 search results - page 66 / 66 » Extensible programming with first-class cases |
HYBRID
2000
Springer
13 years 9 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
COR
2007
13 years 6 months ago
2007
Scheduling under controllable machining conditions has been studied for some time. Scheduling with tool changes, particularly due to tool wear, has just begun to receive attention...