English
Related papers

Related papers: Mode Selection for Component Mode Synthesis with G…

200 papers

The observable behavior of a system usually carries useful information about its internal state, properties, and potential future behaviors. In this paper, we introduce configuration monitoring to determine an unknown configuration of a…

Formal Languages and Automata Theory · Computer Science 2024-09-02 Maximilian A. Köhl , Clemens Dubslaff , Holger Hermanns

The standard engineering approach to modelling of complex systems is highly compositional. In order to be able to understand (or to control) the behavior of a complex dynamical systems, it is often desirable, if not necessary, to view this…

Systems and Control · Computer Science 2013-07-01 Antoine Girard

Noise fundamentally limits the performance and predictive capabilities of classical and quantum dynamical systems by degrading stability and obscuring intrinsic dynamical characteristics. Characterizing such noise accurately is essential…

Quantum Physics · Physics 2025-08-07 Adva Baratz , Loris Maria Cangemi , Assaf Hamo , Sivan Refaely-Abramson , Amikam Levy

A central problem in systems biology is to identify parameter values such that a biological model satisfies some behavioral constraints (\eg, time series). In this paper we focus on parameter synthesis for hybrid (continuous/discrete)…

Logic in Computer Science · Computer Science 2014-09-11 Bing Liu , Soonho Kong , Sicun Gao , Paolo Zuliani , Edmund M. Clarke

We study the problem of determining whether a given temporal specification can be implemented by a symmetric system, i.e., a system composed from identical components. Symmetry is an important goal in the design of distributed systems,…

Logic in Computer Science · Computer Science 2017-10-17 Ruediger Ehlers , Bernd Finkbeiner

Compositional synthesis relies on the discovery of assumptions, i.e., restrictions on the behavior of the remainder of the system that allow a component to realize its specification. In order to avoid losing valid solutions, these…

Logic in Computer Science · Computer Science 2022-07-05 Bernd Finkbeiner , Niklas Metzger , Yoram Moses

Dynamic mode decomposition (DMD) is a data-driven method that models high-dimensional time series as a sum of spatiotemporal modes, where the temporal modes are constrained by linear dynamics. For nonlinear dynamical systems exhibiting…

Dynamical Systems · Mathematics 2019-06-17 Seth M. Hirsh , Kameron Decker Harris , J. Nathan Kutz , Bingni W. Brunton

We introduce a novel framework to approximate the aggregate frequency dynamics of coherent generators. By leveraging recent results on dynamics concentration of tightly connected networks, and frequency weighted balanced truncation, a…

Systems and Control · Electrical Eng. & Systems 2021-01-05 Hancheng Min , Fernando Paganini , Enrique Mallada

In many mechanical, electrical, and general physical systems evolving over time or space, spectral analysis methods as Fast Fourier Transform (FFT), Short Term Fourier Transform (STFT), Power Spectrum Density (PSD) plays a very important…

Signal Processing · Electrical Eng. & Systems 2023-06-21 Andreas Tuor , Nico Canzani , Tobias Rüggeberg , Stefan Gorenflo , Gerd Simons , Bruno Bättig , Daniel Iseli

Creating and editing high-quality 3D content remains a central challenge in computer graphics. We address this challenge by introducing CompoSE, a novel method for Compositional Synthesis and Editing of 3D shapes via part-aware control. Our…

Graphics · Computer Science 2026-05-20 Habib Slim , Shariq Farooq Bhat , Mohamed Elhoseiny , Yifan Wang , Mike Roberts

We introduce the dynamics mode decomposition for monitoring wide-area power grid networks from sparse measurement data. The mathematical framework fuses data from multiple sensors based on multivariate statistics, providing accurate full…

Pattern Formation and Solitons · Physics 2019-06-11 J. Jorge Ramos , J. Nathan Kutz

The estimation of static parameters in dynamical systems and control theory has been extensively studied, with significant progress made in estimating varying parameters in specific system types. Suppose, in the general case, we have data…

Optimization and Control · Mathematics 2025-07-10 Jamiree Harrison , Enoch Yeung

Delay-coordinates dynamic mode decomposition (DC-DMD) is widely used to extract coherent spatiotemporal modes from high-dimensional time series. A central challenge is distinguishing dynamically meaningful modes from spurious modes induced…

Signal Processing · Electrical Eng. & Systems 2026-03-17 Yoav Harris , Hadas Benisty , Ronen Talmon

Modular design maximizes utility by using standardized components in large-scale systems. From a manufacturing perspective, it supports green technology by reducing material waste and improving reusability. Industrially, it offers economic…

Emerging Technologies · Computer Science 2025-03-18 Sumin Lee , Namwoo Kang

Efficient structural reanalysis for high-rank modification plays an important role in engineering computations which require repeated evaluations of structural responses, such as structural optimization and probabilistic analysis. To…

Computational Engineering, Finance, and Science · Computer Science 2025-05-20 Wenxiong Li , Suiyin Chen , Huan Huang

Dynamic Bayesian networks provide a compact and natural representation for complex dynamic systems. However, in many cases, there is no expert available from whom a model can be elicited. Learning provides an alternative approach for…

Artificial Intelligence · Computer Science 2013-01-30 Xavier Boyen , Nir Friedman , Daphne Koller

Reactive synthesis automatically derives a strategy that satisfies a given specification. However, requiring a strategy to meet the specification in every situation is, in many cases, too hard of a requirement. Particularly in compositional…

Logic in Computer Science · Computer Science 2023-02-15 Bernd Finkbeiner , Noemi Passing

We describe a method that focuses sampling effort on a user-defined selection of a large system, which can lead to substantial decreases in computational effort by speeding up the calculation of nonbonded interactions. A naive approach can…

Statistical Mechanics · Physics 2023-08-28 Joshua Fass , Forrest York , Matthew Wittmann , Joseph Kaus , Yutong Zhao

The large amount of information and the increasing complexity of applications constrain developers to have stand-alone and reusable components from libraries and component markets.Our approach consists in developing methods to evaluate the…

Software Engineering · Computer Science 2017-03-30 Kouakou Ive Arsene Koffi , Konan Marcellin Brou , Souleymane Oumtanaga

Modal synthesis is an important area of physical modeling whose exploration in the past has been held back by a large number of control parameters, the scarcity of general-purpose design tools and the difficulty of obtaining the…

Sound · Computer Science 2007-05-23 Ilia Bisnovatyi