English
Related papers

Related papers: Modeling Hierarchical System with Operads

200 papers

The aim of this paper is to present the technique (and its linkage with physics) of overcoming problems connected to modeling social structures, which are typically hierarchical. Hierarchical Linear Models provide a conceptual and…

Physics and Society · Physics 2007-05-23 Magdalena Jelonek

The contribution of this paper is threefold: first, it defines a framework for modelling component-based systems, as well as a formalization of integration rules to combine their behavior. This is based on finite state machines (FSM).…

Software Engineering · Computer Science 2014-06-12 Bilal Kanso , Omar Chebaro

System modeling is a classical approach to ensure their reliability since it is suitable both for a formal verification and for software testing techniques. In the context of model-based testing an approach combining random testing and…

Software Engineering · Computer Science 2018-06-14 Julien Bernard , Pierre-Cyrille Héam , Olga Kouchnarenko

Building resilience into today's complex infrastructures is critical to the daily functioning of society and its ability to withstand and recover from natural disasters, epidemics, and cyber-threats. This study proposes quantitative…

We have developed an algorithm that constructs a model of a reconfigurable optical interferometer, independent of specific architectural constraints. The programming of unitary transformations on the interferometer's optical modes relies on…

Quantum Physics · Physics 2025-06-02 Sergei S. Kuzmin , Ivan V. Dyakonov , Stanislav S. Straupe

Many complex engineering systems consist of multiple subsystems that are developed by different teams of engineers. To analyse, simulate and control such complex systems, accurate yet computationally efficient models are required. Modular…

Systems and Control · Electrical Eng. & Systems 2023-01-02 Lars A. L. Janssen , Bart Besselink , Rob H. B. Fey , Nathan van de Wouw

This paper proposes a novel approach for learning a data-driven quadratic manifold from high-dimensional data, then employing this quadratic manifold to derive efficient physics-based reduced-order models. The key ingredient of the approach…

Numerical Analysis · Mathematics 2022-12-29 Rudy Geelen , Stephen Wright , Karen Willcox

This study investigates the use of fractional order differential models to simulate the dynamic response of non-homogeneous discrete systems and to achieve efficient and accurate model order reduction. The traditional integer order approach…

Numerical Analysis · Mathematics 2016-12-22 John P. Hollkamp , Mihir Sen , Fabio Semperlotti

Network representations often cannot fully account for the structural richness of complex systems spanning multiple levels of organisation. Recently proposed high-order information-theoretic signals are well-suited to capture synergistic…

Algebraic Topology · Mathematics 2021-02-24 Anibal M. Medina-Mardones , Fernando E. Rosas , Sebastián E. Rodríguez , Rodrigo Cofré

Fault Tree (FT) is a standard failure modeling technique that has been extensively used to predict reliability, availability and safety of many complex engineering systems. In order to facilitate the formal analysis of FT based analyses, a…

Logic in Computer Science · Computer Science 2016-08-24 Waqar Ahmed , Osman Hasan

We do the error analysis in reliability measures due to the assumption of independence amongst the component lifetimes. In reliability theory, we come across different n-component structures like series, parallel, and k-out-of-n systems. A…

Statistics Theory · Mathematics 2024-03-11 Subarna Bhattacharjee , Aninda K. Nanda , Subhasree Patra

We propose learning flexible but interpretable functions that aggregate a variable-length set of permutation-invariant feature vectors to predict a label. We use a deep lattice network model so we can architect the model structure to…

Machine Learning · Computer Science 2018-06-04 Andrew Cotter , Maya Gupta , Heinrich Jiang , James Muller , Taman Narayan , Serena Wang , Tao Zhu

We propose a new method for modelling simple longitudinal data. We aim to do this in a flexible manner (without restrictive assumptions about the shapes of individual trajectories), while exploiting structural similarities between the…

Methodology · Statistics 2024-09-24 Helen Ogden

Cyber-physical systems come with increasingly complex architectures and failure modes, which complicates the task of obtaining accurate system reliability models. At the same time, with the emergence of the (industrial) Internet-of-Things,…

Formal Languages and Automata Theory · Computer Science 2019-09-16 Alexis Linard , Doina Bucur , Marielle Stoelinga

Network structure is growing popular for capturing the intrinsic relationship between large-scale variables. In the paper we propose to improve the estimation accuracy for large-dimensional factor model when a network structure between…

Methodology · Statistics 2020-01-30 Long Yu , Yong He , Xinsheng Zhang , Ji Zhu

Analyzing synchronized nonlinear oscillators is one of the most important and attractive topics in nonlinear science. By understanding the interactions between the oscillators, we can figure out the synchronization process. A promising…

Adaptation and Self-Organizing Systems · Physics 2025-02-05 Yuka Hashimoto , Masahiro Ikeda , Hiroya Nakao , Yoshinobu Kawahara

Model-based testing is a promising technology for black-box software and hardware testing, in which test cases are generated automatically from high-level specifications. Nowadays, systems typically consist of multiple interacting…

Software Engineering · Computer Science 2019-04-16 Przemyslaw Daca , Thomas A. Henzinger , Willibald Krenn , Dejan Nickovic

The goal of model-based diagnosis is to isolate causes of anomalous system behavior and recommend inexpensive repair actions in response. In general, precomputing optimal repair policies is intractable. To date, investigators addressing…

Artificial Intelligence · Computer Science 2013-02-21 Sampath Srinivas , Eric J. Horvitz

A crucial challenge to the scaling up of linear optical interferometers is the presence of defective optical components resulting from inevitable imperfections in fabrication and packaging. This work presents a method for circumventing such…

Quantum Physics · Physics 2019-12-19 Ish Dhand

A mesh motion model based on deep operator networks is presented. The model is trained on and evaluated against a biharmonic mesh motion model on a fluid-structure interaction benchmark problem and further evaluated in a setting where…

Numerical Analysis · Mathematics 2024-02-02 Ottar Hellan
‹ Prev 1 4 5 6 7 8 10 Next ›