Article | 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Oslo; Norway; October 3 | Model verification and debugging of EOO models aided by model reduction techniques (Work in Progress Paper)

Title:
Model verification and debugging of EOO models aided by model reduction techniques (Work in Progress Paper)
Author:
Anton Sodja: Fakulteta za elektrotehniko, Univerza v Ljubljani, Slovenia Borut Zupanč;ič: Fakulteta za elektrotehniko, Univerza v Ljubljani, Slovenia
Download:
Full text (pdf)
Year:
2010
Conference:
3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Oslo; Norway; October 3
Issue:
047
Article no.:
013
Pages:
117-120
No. of pages:
4
Publication type:
Abstract and Fulltext
Published:
2010-09-21
ISBN:
978-91-7519-824-8
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Equation-based object-oriented modeling approach significantly reduced effort needed for model implementation by releasing modeler of performing many error-prone tasks. An increasingly more complex models can be built; preferably from components of different model libraries. However; complexity of the models complicate the process of verification – assuring that the model was implemented correctly and behaves as expected – and possible subsequent debugging. A cause of error in a model with over 1000 different equations can be often hard to find by the deskchecking method. This requires the development of new modeling environment tools for model understanding and automated discovery of the fault causes.

The difficulty of designing such tools in EOO modeling environments is linked to the difficulty of mapping simulation form to the model sources. Furthermore; debugging of complex models consisting of over thousand equations by traversing each equation may be very ineffective; especially when the fault has multiple and not very evident causes.

A model reduction methods is proposed and discussed as a method of verification. With model reduction methods it is possible to identify the most important parts of the model which have contributed to the specific model behavior. Because model reduction can be performed on original model representation; the difficulty of mapping simulation form back to model source is avoided.

Keywords: verification; debugging of EOO models; verification by model reduction

3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Oslo; Norway; October 3

Author:
Anton Sodja, Borut Zupanč;ič
Title:
Model verification and debugging of EOO models aided by model reduction techniques (Work in Progress Paper)
References:

[1] Peter Bunus. Debugging Techniques for Equation-Based Languages. PhD thesis; Link¨oping University; 2004.


[2] F. E. Cellier and E. Kofman. Continous System Simulation. Springer Science+Business Media; New York; 2006.


[3] Samuel Y. Chang; Christopher R. Carlson Carlson; and J. Christian Gerdes. A lyapunov function approach to energy based model reduction. In Proceedings of the ASME Dynamic Systems and Control Division – 2001 IMECE; pages 363–370; New York; USA; 2001.


[4] Sanjay Lall; Petr Krysl; et al. Structure-preserving model reduction for mechanical systems. Physica D; 284:304–318; 2003.


[5] Loucas Sotiri Louca. An Energy-based Model Reduction Methodology for Automated Modeling. PhD thesis; University of Michigan; 1998.


[6] S. E. Mattsson and H. Elmqvist. Unit checking and quantity conservation. In Proceedings of the 6th Modelica Conference; pages 13–20; Bielefeld; Germany; 2008.


[7] Modelica Association. Modelica Specification; version 3.1; 2009. http://www.modelica.org/documents/ ModelicaSpec31.pdf.


[8] H. Olsson et al. Balanced models in modelica 3.0 for increased model quality. In Proceedings of the 6th Modelica Conference; pages 21–33; Bielefeld; Germany; 2008.


[9] A. Pop and P. Fritzson. A portable debugger for algorithmic modelica code. In Proceedings of the 4th Internationl Modelica Conference; pages 435–443; Hamburg; Germany; 2005.


[10] R. Rosenberg and T. Zhou. Power-based model insight. In Proceedings of the ASME WAM Symposium on Automated Modeling for Design; pages 1–67; New York; USA; 1988.


[11] P. Schwarz et al. A tool-box approach to computer-aided generation of reduced-order models. In Proceedings EUROSIM 2007; Ljubljana; Slovenia; 2007.


[12] Ralf Sommer; Thomas Halfmann; and Jochen Broz. Automated behavioral modeling and analytical model-order reduction by application of symbolic circuit analysis for multiphysical systems. Simulation Modelling Practice and Theory; 16:1024–1039; 2008.


[13] R. B. Whitner and O. Balci. Guidelines for selecting and using simulation model verification techniques. Technical report; Department of Computer Science; Virgina Polytechnic Institute and State University; Blacksburg; Virginia; 1989. Technical Report TR-89-17.


[14] Y. Ye and K. Youcef-Youmi. Model reduction in the physical domain. In Proceedings of the American Control Conference;pages 4486–4490; San Diego; CA; USA; 1999.

3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Oslo; Norway; October 3

Author:
Anton Sodja, Borut Zupanč;ič
Title:
Model verification and debugging of EOO models aided by model reduction techniques (Work in Progress Paper)
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment