On the Design of Limit Cycles of Planar Switching Affine Systems

In the context of studying periodic processes, this paper investigates first under which conditions switching affine systems in the plane generate stable limit cycles. Based on these conditions, a design methodology is proposed by which the phase portraits of the switching systems are determined to obtain globally stable limit cycles from simple specifications, such as given amplitudes and frequencies of desired oscillations. As an application, the paper finally shows that an oscillator model can be derived with a small effort from data measured for an unknown oscillating system.Comment: Paper is accepted at ECC 202

On Optimal Synchronization of Diffusively Coupled Heterogeneous Van der Pol Oscillators

This paper proposes a novel method to achieve and preserve synchronization for a set of connected heterogeneous Van der Pol oscillators. Unlike the state-of-the-art synchronization methods, in which a large coupling gain is applied to couple any pair of connected oscillators, the proposed method first casts the whole synchronization process into two phases. The first one considers the period from the beginning to the first instant of synchronization, while the second phase covers the following time in which synchronization must be preserved. It is shown that a large coupling gain is adopted for the first phase, while the averaged coupling gain to preserve the synchronization in the second phase can be reduced significantly by using an offline optimized coupling law. Efficiency and performance of this method are confirmed by a set of numerical tests with different graphs and system dynamics.Comment: To be published in IFAC World Congress, 202

Control of Jump Markov Uncertain Linear Systems With General Probability Distributions

Gefördert durch den Publikationsfonds der Universität Kasse

Efficient Solution of Distributed MIP in Control of Networked Systems

Gefördert im Rahmen des Projekts DEA

Receding-Horizon Control of Constrained Switched Systems with Neural Networks as Parametric Function Approximators

Gefördert im Rahmen des Projekts DEA

S.: Control of switched hybrid systems based on disjunctive formulations

Abstract. This contribution addresses the task of computing optimal control trajectories for hybrid systems with switching dynamics. Starting from a continuous-time formulation of the control task we derive an optimization problem in which the system behavior is modelled by a hybrid automaton with linear discrete-time dynamics and discrete as well as continuous inputs. In order to transform the discrete dynamics into an equation-based form we present and compare two different approaches: one uses the ‘traditional ’ M-formulation and one is based on disjunctive formulations. The control problem is then solved by mixed integer programming using a moving horizon setting. As illustrated for an example, the disjunctive formulation can lead to a considerable reduction of the computational effort

The batch evaporator: A benchmark example for safety analysis of processing systems under logic control

The paper presents a benchmark example for the safety analysis of automated processing systems. In particular, the example illustrates the problem of verifying safety related, logic control programs for continuous processes and for which the correct timing of control actions or the proper choice of threshold positions or values is crucial. The aim of the contribution is to provide a complete problem description to which methods and tools for safety analysis can be applied and compared. For this reason, the example process is described in detail, the desired behaviour is specified, and logic controller code is presented which has to be checked against this specification. Additionally, process durations and a continuous model of the process are proposed. Simulation results illustrate its specific difficulties. 1