English
Related papers

Related papers: Mixed-resolution hybrid modeling in an element-bas…

200 papers

Uncertainties in a structure is inevitable, which generally lead to variation in dynamic response predictions. For a complex structure, brute force Monte Carlo simulation for response variation analysis is infeasible since one single run…

Machine Learning · Statistics 2020-05-08 Kai Zhou , Jiong Tang

Measurement data provides a precise and detailed description of components within a complex system but it is rarely used directly as a component of a system model. In this paper we introduce a model-based representation of measurement data…

Programming Languages · Computer Science 2016-07-14 Stephen Gilmore

In multi-resolution simulations, different system components are simultaneously modelled at different levels of resolution, these being smoothly coupled together. In the case of enzyme systems, computationally expensive atomistic detail is…

Biological Physics · Physics 2016-11-03 Aoife C. Fogarty , Raffaello Potestio , Kurt Kremer

The study of controlled hybrid systems requires practical tools for approximation and comparison of system behaviors. Existing approaches to these problems impose undue restrictions on the system's continuous and discrete dynamics.…

Optimization and Control · Mathematics 2015-04-15 Samuel Burden , Humberto Gonzalez , Ramanarayan Vasudevan , Ruzena Bajcsy , S. Shankar Sastry

The modeling of complex systems such as ecological or socio-economic systems can be very challenging. Although various modeling approaches exist, they are generally not compatible and mutually consistent, and empirical data often do not…

Physics and Society · Physics 2010-07-19 Dirk Helbing

A complex system is made up of many components with many interactions. So the design of systems such as simulation systems, cooperative systems or assistance systems includes a very accurate modelling of interactional and communicational…

Multiagent Systems · Computer Science 2012-01-19 Alain-Jérôme Fougères

Electrification in the automotive industry and increasing powertrain complexity demand accelerated, cost-effective development cycles. While data-driven models are recently investigated at component level, a gap exists in systematically…

Systems and Control · Electrical Eng. & Systems 2025-12-17 Eymen Ipek , Mario Hirz

This paper is an invitation to the process systems engineering community to change the paradigm for process plants. The goal is to achieve much easier convergence while retaining accuracy on par with the rigorous models. Accurate plant…

Systems and Control · Electrical Eng. & Systems 2024-08-29 Vladimir Mahalec

Model checking is an established technique to formally verify automation systems which are required to be trusted. However, for sufficiently complex systems model checking becomes computationally infeasible. On the other hand, testing,…

Software Engineering · Computer Science 2019-07-30 Igor Buzhinsky , Valeriy Vyatkin

Complex systems typically have many different parts and facets, with different characteristics. In a multi-paradigm approach to modeling, formalisms with different natures are used in combination to describe complementary parts and aspects…

Logic in Computer Science · Computer Science 2013-08-14 Marcello M. Bersani , Carlo A. Furia , Matteo Pradella , Matteo Rossi

The design of complex software systems usually lies in multiple coordinating components with an unknown number of instances. For such systems a main challenge is modelling efficiently their architecture that determines the topology and the…

Logic in Computer Science · Computer Science 2020-04-28 Maria Pittou , George Rahonis

Multiscale problems are widely observed across diverse domains in physics and engineering. Translating these problems into numerical simulations and solving them using numerical schemes, e.g. the finite element method, is costly due to the…

We consider data assimilation for the heat equation using a finite element space semi-discretization. The approach is optimization based, but the design of regularization operators and parameters rely on techniques from the theory of…

Numerical Analysis · Mathematics 2016-09-19 Erik Burman , Lauri Oksanen

A new model for a cluster of hybrid sensors network with multi sub-clusters is proposed. The model is in particular relevant to the early warning system in a large scale monitoring system in, for example, a nuclear power plant. It mainly…

Artificial Intelligence · Computer Science 2012-10-02 A. A. Waskita , H. Suhartanto , Z. Akbar , L. T. Handoko

The aim of this paper is to present a mixture composite regression model for claim severity modelling. Claim severity modelling poses several challenges such as multimodality, heavy-tailedness and systematic effects in data. We tackle this…

Methodology · Statistics 2021-08-02 Tsz Chai Fung , George Tzougas , Mario Wuthrich

During modeling of dynamical systems, often two or more model architectures are combined to obtain a more powerful or efficient model regarding a specific application area. This covers the combination of multiple machine learning…

Machine Learning · Computer Science 2025-02-03 Tobias Thummerer , Lars Mikelsons

We develop an interface-modeling framework for quality and resource management that captures configurable working points of hardware and software components in terms of functionality, resource usage and provision, and quality indicators…

Logic in Computer Science · Computer Science 2023-06-22 Martijn Hendriks , Marc Geilen , Kees Goossens , Rob de Jong , Twan Basten

To understand and predict the performance of scientific applications, several analytical and machine learning approaches have been proposed, each having its advantages and disadvantages. In this paper, we propose and validate a hybrid…

Performance · Computer Science 2019-02-27 Huda Ibeid , Siping Meng , Oliver Dobon , Luke Olson , William Gropp

Scientists investigate the dynamics of complex systems with quantitative models, employing them to synthesize knowledge, to explain observations, and to forecast future system behavior. Complete specification of systems is impossible, so…

Quantitative Methods · Quantitative Biology 2007-05-23 S. R. Borrett , W. Bridewell , P. Langely , K. R. Arrigo

In this thesis a comprehensive verification framework is proposed to contend with some important issues in composability verification and a verification process is suggested to verify composability of different kinds of systems models, such…

Software Engineering · Computer Science 2023-01-10 Imran Mahmood