Link?ping University Electronic Press Conference Proceedings

Here is information on how to publish, spread your research, and search for your publications. Most of LiU's research publications are directly imported into DiVA from the Web of Science. Before registering a publication, always check if the publication is already in DiVA!

Link?ping University Electronic Press Conference Proceedings

The prediction of stage values in implicit Runge--Kutta methods is important both for overall efficiency as well as for the design of suitable control strategies for the method. The purpose of this paper is to construct good stage value predictors for implicit methods and to verify their behavior in practical computations. We show that for stiffly accurate methods of low stage order it is necessary to use several predictors. In other words, a continuous extension for the method will not yield the best results. We also investigate how to gain additional efficiency in the Newton iterations used to correct the prediction error. This leads to new control strategies with respect to refactorization of Jacobians that seek to globally minimize total work per unit time of integration.

Modeling and Simulation methods, tools and techniques aim at supporting the different phases of the lifecycle of modern systems, going from requirements analysis to system design and operation. However, their effective application requires investigating several aspects such as the formal modeling of system requirements and the binding and automated composition between heterogeneous models (e.g. requirements models, architectural models, behavioral models). In this context, the paper presents a new formal requirement modeling language based on temporal logic, called FORM-L, and a software library, based on the Modelica language, that implements the constructs provided by FORM-L so as to enable the visual modeling of system properties as well as their verification through simulation. The effectiveness of the proposal is shown on a real case study concerning an Intermediate Cooling System.

Here is information on how to publish, spread your research, and search for your publications. Most of LiU's research publications are directly imported into DiVA from the Web of Science. Before registering a publication, always check if the publication is already in DiVA!