English
Related papers

Related papers: Comments and extensions on "State-equivalent form …

200 papers

We present a model predictive control (MPC) framework for linear switched evolution equations arising from a parabolic partial differential equation (PDE). First-order optimality conditions for the resulting finite-horizon optimal control…

Optimization and Control · Mathematics 2026-05-27 Michael Kartmann , Mattia Manucci , Benjamin Unger , Stefan Volkwein

The non-minimum phase (NMP) zero of a linear process located in the feedback connection cannot be cancelled by the same pole of controller according to the internal instability problem. However, such a zero can partly be cancelled by the…

Optimization and Control · Mathematics 2016-11-29 Farshad Merrikh-Bayat , Aliakbar Salimi

This paper investigates new first-order optimality conditions for general optimization problems. These optimality conditions are stronger than the commonly used M-stationarity conditions and are in particular useful when the latter cannot…

Optimization and Control · Mathematics 2018-07-24 Helmut Gfrerer

We present a novel certified model order reduction (MOR) algorithm for switched descriptor systems applicable to large-scale systems. Our algorithm combines the idea of [Hossain \& Trenn, Technical report, 2023] to reformulate the switched…

Numerical Analysis · Mathematics 2024-04-17 Mattia Manucci , Benjamin Unger

Mechanical systems are often characterized only by their response to certain loads known from experiments or simulations. The obtained data can be used for various purposes: system analysis, design of mathematical models, or construction of…

Dynamical Systems · Mathematics 2026-01-05 Yevgeniya Filanova , Igor Pontes Duff , Pawan Goyal , Peter Benner

This article deals with the implementation of the Smith Predictor for state feedback control in state space representation. The desired control law, obtained using partial differential equations and backstepping control, contains an…

Systems and Control · Electrical Eng. & Systems 2025-12-03 Jesus-Pablo Toledo-Zucco , Frédéric Gouaisbaut , Gaetan Chapput

We study the regularization problem for port-Hamiltonian descriptor systems by proportional and/or derivative output feedback. Necessary and sufficient conditions are given, which guarantee that there exist output feedbacks such that the…

Optimization and Control · Mathematics 2025-12-02 Delin Chu , Volker Mehrmann

Modular multilevel converters are wellknown in the energy sector and have significant potential in others, such as electromobility. Generally, their stable operation is at the expense of numerous sensors, communication burdens, and…

Systems and Control · Electrical Eng. & Systems 2023-03-06 N. Tashakor , Y. Zhang , S. Banana , F. Blaabjerg , S. Goetz

Several notions of conformance have been proposed for checking the behavior of cyber-physical systems against their hybrid systems models. In this paper, we explore the initial idea of a notion of approximate conformance that allows for…

Logic in Computer Science · Computer Science 2016-12-16 Morteza Mohaqeqi , Mohammad Reza Mousavi

Having simultaneously a high quality factor (i.e. a narrow resonant band) and a shorter interaction time between the resonating system and the external sources (i.e. a wide resonant band) is a desirable characteristic for mechanical…

Applied Physics · Physics 2019-09-09 Lijie Li

This paper introduces new conditions for target output controllability and provides existence conditions for placing a specific number of poles with a target output controller. Additionally, an algorithm is presented for the design of a…

Systems and Control · Electrical Eng. & Systems 2025-03-20 Tyrone Fernando , Mohamed Darouach

Previous results on proving confluence for Constraint Handling Rules are extended in two ways in order to allow a larger and more realistic class of CHR programs to be considered confluent. Firstly, we introduce the relaxed notion of…

Logic in Computer Science · Computer Science 2016-11-22 Henning Christiansen , Maja H. Kirkeby

According to the well-known loop shaping method for the design of controllers, the performance of the controllers in terms of step response, steady-state disturbance rejection and noise attenuation and robustness can be improved by…

Systems and Control · Electrical Eng. & Systems 2023-01-02 Nima Karbasizadeh , S. Hassan HosseinNia

Reduced order modeling methods are often used as a mean to reduce simulation costs in industrial applications. Despite their computational advantages, reduced order models (ROMs) often fail to accurately reproduce complex dynamics…

This paper addresses the design of finite-dimensional feedback control laws for linear discrete-time fractional-order systems with additive state disturbance. A set of sufficient conditions are provided to guarantee convergence of the state…

Optimization and Control · Mathematics 2019-06-18 Andrea Alessandretti , Sergio Pequito , George J. Pappas , A. Pedro Aguiar

In this paper, we propose a new approach to design globally convergent reduced-order observers for nonlinear control systems via contraction analysis and convex optimization. Despite the fact that contraction is a concept naturally suitable…

Optimization and Control · Mathematics 2021-08-17 Bowen Yi , Ruigang Wang , Ian R. Manchester

The search for generating compatibility conditions (CC) for a given operator is a very recent problem met in General Relativity in order to study the Killing operator for various standard useful metrics (Minkowski, Schwarschild and Kerr).…

Differential Geometry · Mathematics 2018-11-30 Jean-Francois Pommaret

We discuss matching control laws for underactuated systems. We previously showed that this class of matching control laws is completely charactarized by a linear system of first order partial differential equations for one set of variables…

Optimization and Control · Mathematics 2007-05-23 Dave Auckly , Lev Kapitanski

Recently, alternating transition systems are adopted to describe control systems with disturbances and their finite abstract systems. In order to capture the equivalence relation between these systems, a notion of alternating approximate…

Logic in Computer Science · Computer Science 2012-12-21 Jinjin Zhang , Zhaohui Zhu

For the formal verification and design of control systems, abstractions with quantified accuracy are crucial. This is especially the case when considering accurate deviation bounds between a stochastic continuous-state model and its finite…

Systems and Control · Electrical Eng. & Systems 2022-01-19 B. C. van Huijgevoort , S. Haesaert