Search Results for author:
Found 10 papers, 0 papers with code
Modular Redesign of Mechatronic Systems: Formulation of Module Specifications Guaranteeing System Dynamics Specifications
To address this challenge, a modular redesign framework is proposed in this paper.
Passivity-Preserving, Balancing-Based Model Reduction for Interconnected Systems
This paper proposes a balancing-based model reduction approach for an interconnection of passive dynamic subsystems.
Mode Selection for Component Mode Synthesis with Guaranteed Assembly Accuracy
The standard approach to component mode synthesis for such system is to select the eigenmodes of a component that are most important to accurately model the dynamic behavior of this component in a certain frequency range of interest.
Translating Assembly Accuracy Requirements to Cut-Off Frequencies for Component Mode Synthesis
We demonstrate the use of this approach in the scope of component mode synthesis (CMS) methods with the aim to reduce the complexity of component models while guaranteeing accuracy requirements of the assembly model.
Modular Model Reduction of Interconnected Systems: A Top-Down Approach
Models of complex systems often consist of multiple interconnected subsystem/component models that are developed by multi-disciplinary teams of engineers or scientists.
Contract Composition for Dynamical Control Systems: Definition and Verification using Linear Programming
Contract theory has been proposed as a modular alternative to formal methods in control, in which specifications are defined by assumptions on the input to a component and guarantees on its output.
Verifying Contracts for Perturbed Control Systems using Linear Programming
We present a comparison-based framework, verifying that a perturbed system satisfies a contract by checking that the corresponding unperturbed system satisfies a robustified (and $\epsilon$-approximated) contract.
Verifying Compositional Refinement of Assume/Guarantee Contracts using Linear Programming
Verifying specifications for large-scale modern engineering systems can be a time-consuming task, as most formal verification methods are limited to systems of modest size.
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools
Modern engineering systems include many components of different types and functions.
From data to reduced-order models via moment matching
A new method for data-driven interpolatory model reduction is presented in this paper.
