ABSTRACT
A model-based design of systems requires appropriate tool support in many ways. It requires a modeling notation that suits the application problem, a set of analysis techniques that provide qualitative and/or quantitative results, and finally some optimization methods that help a designer to make appropriate design decisions. The challenge is to integrate those components into a homogenous framework such that a model based design takes advantage from synergy effects that result from a sophisticated combination of modeling formalism, analysis and optimization technique. In this paper, we present OPEDo, a tool framework that integrates modeling tools and analysis engines with state-of-the-art optimization methods. With respect to modeling, it contains the ProC/B editor for specifying open process-oriented simulation models, the APNN Toolbox for modeling with stochastic Petri nets, and OMNet++, for modeling using a simulation language. OPEDo provides analysis techniques for stochastic models based on discrete event simulation, based on queueing network analysis and numerical analysis techniques for continuous time Markov chains with the help of HIT, OMNeT++, and APNN Toolbox. Optimization of stochastic models has particular challenges due to the cost of model evaluation and the precision of results that can be achieved, so OPEDo contains specially adjusted variants of a variety of optimization methods, which includes response surface methodology, evolutionary strategies, genetic algorithms, and Kriging metamodeling techniques.
- F. Bause, H. Beilner, M. Fischer, P. Kemper, and M. Völker. The ProC/B toolset for the modelling and analysis of process chains. In 12th Int. Conf. Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, pages 51--70, London, UK, 2002. Springer. LNCS 2324.]] Google ScholarDigital Library
- F. Bause, P. Buchholz, and P. Kemper. A toolbox for functional and quantitative analysis of DEDS. In R. Puigjaner, N. Savino, and B. Serra, editors, 10th Int. Conf. on Computer Performance Evaluation - Modelling Techniques and Tools (TOOLS 1998), pages 356--359, Palma de Mallorca, Spain, 1998. Springer. LNCS 1469.]] Google ScholarDigital Library
- J. Boesel, B. Nelson, and S. Kim. Using ranking and selection to clean up after simulation optimization. Operations Research, 51:814--825, 2005.]] Google ScholarDigital Library
- P. Buchholz and P. Kemper. Optimization of Markov models with evolutionary strategies based on exact and approximate analysis techniques. Technical report, Submitted for publication, 2006.]]Google Scholar
- P. Buchholz, D. Müller, and A. Thümmler. Optimization of process chain models with Response Surface Methodology and the ProC/B toolset. In H. Günther, D. Mattfeld, and L. Suhl, editors, Entscheidungsunterstützende Systeme in Supply Chain Management und Logistik, pages 551--573. Physica-Verlag, 2005.]]Google ScholarCross Ref
- P. Buchholz and A. Thümmler. Enhancing evolutionary algorithms with statistical selection procedures for simulation optimization. In Proc. Winter Simulation Conference, pages 842--852, Orlando, FL, USA, 2005.]] Google ScholarDigital Library
- E. Chen and W. Kelton. An enhanced two-stage selection procedure. In Proc. Winter Simulation Conference, pages 727--735, Orlando, FL, 2000.]] Google ScholarDigital Library
- M. C. Fu, F. W. Glover, and J. April. Simulation optimization: a review, new developments, and applications. In Proc. Winter Simulation Conference, pages 83--95, 2005.]] Google ScholarDigital Library
- D. R. Jones, M. Schonlau, and W. J. Welch. Efficient global optimization of expensive black-box functions. Journal of Global Optimization, 13:455--492, 1998.]] Google ScholarDigital Library
- G. Jungman and D. B. Gough. GSL homepage, http://www.gnu.org/software/gsl/.]]Google Scholar
- P. Kemper, D. Müller, and A. Thümmler. Combining Response Surface Methodology with numerical models for optimization of class based queueing systems. In Int. Conf. on Dependable Systems and Networks (DSN), pages 550--559, Yokohama, Japan, 2005.]] Google ScholarDigital Library
- J. P. C. Kleijnen and W. C. M. van Beers. Kriging interpolation in simulation: a survey. In Proc. Winter Simulation Conference, pages 113--121. IEEE, 2004.]] Google ScholarDigital Library
- L. Koenig and A. Law. A procedure for selecting a subset of size m containing the l best of k independent normal populations, with applications to simulation. Communications in Statistics Simulation and Computation, 14:719--734, 1985.]]Google ScholarCross Ref
- A. M. Law and W. D. Kelton. Simulation modeling and analysis, 3rd edition. Wiley, 1999.]] Google ScholarDigital Library
- R. Li and A. Sudjianto. Analysis of computer experiments using penalized likelihood in Gaussian Kriging models.]]Google Scholar
- D. Menasce, V. Almeida, and L. Dowdy. Performance by Design. Pearson Education, Inc., 2004.]]Google Scholar
- R. H. Myers and D. C. Montgomery. Response Surface Methodology. Wiley, 2002.]]Google Scholar
- Y. Rinott. On two-stage selection procedures and related probability-inequalities. In Communications in Statistics Theory and Methods A7, pages 799--811, 1978.]]Google Scholar
- T. J. Santner, B. J. Williams, and W. Notz. Design and Analysis of Computer Experiments. Springer, 2003.]]Google ScholarCross Ref
- H.-P. Schwefel. Evolution and Optimum Seeking. John Wiley & Sons, Inc., 1995.]] Google ScholarDigital Library
- Swisher, S. Jacobson, and E. Yücesan. Discrete-event simulation optimization using ranking, selection, and multiple comparison procedures: A survey. In ACM Transactions on Modeling and Computer Simulation 13, pages 134--154, 2003.]] Google ScholarDigital Library
- V. Torczon. On the convergence of pattern search algorithms. SIAM Journal on Optimization, 7(1):1--25, 1997.]] Google ScholarDigital Library
- A. Varga. OMNeT++, http://www.omnetpp.org.]]Google Scholar
- D. H. Wolpert and W. G. Macready. No free lunch theorems for optimization. IEEE Transactions on Evolutionary Computation, 1(1):67--82, April 1997.]]Google ScholarDigital Library
Index Terms
- OPEDo: a tool framework for modeling and optimization of stochastic models
Recommendations
OPEDo: a tool for the optimization of performance and dependability models
OPEDo is a software tool for the optimization of discrete event systems according to performance or dependability measures. The tool can be seen as an add on to various tools for performance and dependability analysis. The goal of OPEDo is to provide a ...
Controller Synthesis for Reward Collecting Markov Processes in Continuous Space
HSCC '17: Proceedings of the 20th International Conference on Hybrid Systems: Computation and ControlWe propose and analyze a generic mathematical model for optimizing rewards in continuous-space, dynamic environments, called Reward Collecting Markov Processes. Our model is motivated by request-serving applications in robotics, where the objective is ...
Continuous-Time Markov Decision Processes with Discounted Rewards: The Case of Polish Spaces
This paper deals with continuous-time Markov decision processes in Polish spaces, under an expected discounted reward criterion. The transition rates of underlying continuous-time jump Markov processes are allowed to be unbounded, and the reward rates ...
Comments