532 search results - page 6 / 107 » Optimal Control Using Bisimulations: Implementation |
QEST
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper presents a novel cross-layer design for joint power and end-to-end rate control optimization in DSCDMA wireless networks, along with a detailed implementation and eva...
ICPP
1993
IEEE
15 years 1 months ago
1993
IEEE
SIMD or vector computers and collection-oriented languages, like C , are designed to perform the same computation on each data item or on just a subset of the data. Subsets of pro...
AUTOMATICA
2005
14 years 9 months ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...
IJCNN
2006
IEEE
15 years 3 months ago
2006
IEEE
— The optimization of classification systems is often confronted by the solution over-fit problem. Solution over-fit occurs when the optimized classifier memorizes the traini...