activity
20172026
most citedVerifying Contracts for Perturbed Control Systems using Linear Programming

2 citations · 6 across the 15 of their papers we have counts for

collaborators
Showing eess.SYShow all

10 papers · 1 filter

eess.SY2025

Efficient Reduction of Interconnected Subsystem Models using Abstracted Environments

Luuk Poort, Bart Besselink, Rob H. B. Fey +1

We present two frameworks for structure-preserving model order reduction of interconnected subsystems, improving tractability of the reduction methods while ensuring stability and…

eess.SY2024

Abstracted Model Reduction: A General Framework for Efficient Interconnected System Reduction

Luuk Poort, Lars A. L. Janssen, Bart Besselink +2

This paper introduces the concept of abstracted model reduction: a framework to improve the tractability of structure-preserving methods for the complexity reduction of interconnec…

eess.SY2024

Modular Redesign of Mechatronic Systems: Formulation of Module Specifications Guaranteeing System Dynamics Specifications

Lars A. L. Janssen, Rob H. B. Fey, Bart Besselink +1

Complex mechatronic systems are typically composed of interconnected modules, often developed by independent teams. This development process challenges the verification of system s…

eess.SY2023

Passivity-Preserving, Balancing-Based Model Reduction for Interconnected Systems

Luuk Poort, Bart Besselink, Rob H. B. Fey +1

This paper proposes a balancing-based model reduction approach for an interconnection of passive dynamic subsystems. This approach preserves the passivity and stability of both the…

eess.SY2023

Mode Selection for Component Mode Synthesis with Guaranteed Assembly Accuracy

Lars A. L. Janssen, Rob H. B. Fey, Bart Besselink +1

In this work, a modular approach is introduced to select the most important eigenmodes for each component of a composed structural dynamics system to obtain the required accuracy o…

eess.SY2022

Contract Composition for Dynamical Control Systems: Definition and Verification using Linear Programming

Miel Sharf, Bart Besselink, Karl Henrik Johansson

Designing large-scale control systems to satisfy complex specifications is hard in practice, as most formal methods are limited to systems of modest size. Contract theory has been…