-
Finite-dimensional output stabilization for a class of linear distributed parameter systems -- a small-gain approach
Authors:
Lars Grüne,
Thomas Meurer
Abstract:
A small-gain approach is proposed to analyze closed-loop stability of linear diffusion-reaction systems under finite-dimensional observer-based state feedback control. For this, the decomposition of the infinite-dimensional system into a finite-dimensional slow subsystem used for design and an infinite-dimensional residual fast subsystem is considered. The effect of observer spillover in terms of…
▽ More
A small-gain approach is proposed to analyze closed-loop stability of linear diffusion-reaction systems under finite-dimensional observer-based state feedback control. For this, the decomposition of the infinite-dimensional system into a finite-dimensional slow subsystem used for design and an infinite-dimensional residual fast subsystem is considered. The effect of observer spillover in terms of a particular (dynamic) interconnection of the subsystems is thoroughly analyzed for in-domain and boundary control as well as sensing. This leads to the application of a small-gain theorem for interconnected systems based on input-to-output stability and unbounded observability properties. Moreover, an approach is presented for the computation of the required dimension of the slow subsystem used for controller design. Simulation scenarios for both scalar and coupled linear diffusion-reaction systems are used to underline the theoretical assessment and to give insight into the resulting properties of the interconnected systems.
△ Less
Submitted 11 February, 2022; v1 submitted 13 April, 2021;
originally announced April 2021.
-
Reduced order modelling for spatial-temporal temperature and property estimation in a multi-stage hot sheet metal forming process
Authors:
Daniel Kloeser,
Juri Martschin,
Thomas Meurer,
Erman Tekkaya
Abstract:
A concise approach is proposed to determine a reduced order control design oriented dynamical model of a multi-stage hot sheet metal forming process starting from a high-dimensional coupled thermo-mechanical model. The obtained reduced order nonlinear parametric model serves as basis for the design of an Extended Kalman filter to estimate the spatial-temporal temperature distribution in the sheet…
▽ More
A concise approach is proposed to determine a reduced order control design oriented dynamical model of a multi-stage hot sheet metal forming process starting from a high-dimensional coupled thermo-mechanical model. The obtained reduced order nonlinear parametric model serves as basis for the design of an Extended Kalman filter to estimate the spatial-temporal temperature distribution in the sheet metal blank during the forming process based on sparse local temperature measurements. To address modeling and approximation errors and to capture physical effects neglected during the approximation such as phase transformation from austenite to martensite a disturbance model is integrated into the Kalman filter to achieve joint state and disturbance estimation. The extension to spatial-temporal property estimation is introduced. The approach is evaluated for a hole-flanging process using a thermo-mechanical simulation model evaluated using LS-DYNA. Here, the number of states is reduced from approximately 17 000 to 30 while preserving the relevant dynamics and the computational time is 1000 times shorter. The performance of the combined temperature and disturbance estimation is validated in different simulation scenarios with three spatially fixed temperature measurements.
△ Less
Submitted 14 April, 2021; v1 submitted 13 April, 2021;
originally announced April 2021.
-
Flatness-based MPC for underactuated surface vessels in confined areas
Authors:
Simon Helling,
Max Lutz,
Thomas Meurer
Abstract:
A two-phase model predictive controller (MPC) is proposed for underactuated surface vessel operation in confined environments. For general driving maneuvers (phase one) the ship's geometry is not considered explicitly while in more restricted areas (stage two) which occur, e.g., in mooring maneuvers, the ship's geometry is approximated to ensure collision avoidance. To remove the dynamical constra…
▽ More
A two-phase model predictive controller (MPC) is proposed for underactuated surface vessel operation in confined environments. For general driving maneuvers (phase one) the ship's geometry is not considered explicitly while in more restricted areas (stage two) which occur, e.g., in mooring maneuvers, the ship's geometry is approximated to ensure collision avoidance. To remove the dynamical constraint in the problem setup, the differential flatness of the fully actuated system is exploited and the flat outputs are parameterized using B-spline functions. Underactuated behavior is retained by means of inequality constraints that are imposed on the non-controllable input. In an effort to solve the MPC, a static nonlinear optimization problem is formulated and feasibility w.r.t. obstacles and actuator constraints is ensured at collocation points. Static obstacles are considered as constructive solid geometry functions in the MPC which also takes into account disturbances induced by wind.
△ Less
Submitted 24 March, 2021;
originally announced March 2021.
-
On the Dual Implementation of Collision-Avoidance Constraints in Path-Following MPC for Underactuated Surface Vessels
Authors:
Simon Helling,
Christian Roduner,
Thomas Meurer
Abstract:
A path-following collision-avoidance model predictive control (MPC) method is proposed which approximates obstacle shapes as convex polygons. Collision-avoidance is ensured by means of the signed distance function which is calculated efficiently as part of the MPC problem by making use of a dual formulation. The overall MPC problem can be solved by standard nonlinear programming (NLP) solvers. The…
▽ More
A path-following collision-avoidance model predictive control (MPC) method is proposed which approximates obstacle shapes as convex polygons. Collision-avoidance is ensured by means of the signed distance function which is calculated efficiently as part of the MPC problem by making use of a dual formulation. The overall MPC problem can be solved by standard nonlinear programming (NLP) solvers. The dual signed distance formulation yields, besides the (dual) collision-avoidance constraints, norm, and consistency constraints. A novel approach is presented that combines the arising norm equality with the dual collision-avoidance inequality constraints to yield an alternative formulation reduced in complexity. Moving obstacles are considered using separate convex sets of linearly predicted obstacle positions in the dual problem. The theoretical findings and simplifications are compared with the often-used ellipsoidal obstacle formulation and are analyzed with regard to efficiency by the example of a simulated path-following autonomous surface vessel during a realistic maneuver and AIS obstacle data from the Kiel bay area.
△ Less
Submitted 12 March, 2021; v1 submitted 10 March, 2021;
originally announced March 2021.
-
Optimal Trajectory Planning and Model Predictive Control of Underactuated Marine Surface Vessels using a Flatness-Based Approach
Authors:
Max Lutz,
Thomas Meurer
Abstract:
This paper demonstrates a refined approach to solving dynamic optimization problems for underactuated marine surface vessels. To this end the differential flatness of a mathematical model assuming full actuation is exploited to derive an efficient representation of a finite dimensional nonlinear programming problem, which in turn is constrained to apply to the underactuated case. It is illustrated…
▽ More
This paper demonstrates a refined approach to solving dynamic optimization problems for underactuated marine surface vessels. To this end the differential flatness of a mathematical model assuming full actuation is exploited to derive an efficient representation of a finite dimensional nonlinear programming problem, which in turn is constrained to apply to the underactuated case. It is illustrated how the properties of the flat output can be employed for the generation of an initial guess to be used in the optimization algorithm in the presence of static and dynamic obstacles. As an example energy optimal point to point trajectory planning for a nonlinear 3 degrees of freedom dynamic model of an underactuated surface vessel is undertaken. Input constraints, both in rate and magnitude as well as state constraints due to convex and non-convex obstacles in the area of operation are considered and simulation results for a challenging scenario are reported. Furthermore, an extension to a trajectory tracking controller using model predictive control is made where the benefits of the flatness based direct method allow to introduce nonuniform sample times that help to realize long prediction horizons while maintaining short term accuracy and real time capability. This is also verified in simulation where additional disturbances in the form of environmental disturbances, dynamic obstacles and parameter mismatch are introduced.
△ Less
Submitted 29 January, 2021;
originally announced January 2021.
-
Robust nonlinear observer design based on impulsive dissipativity
Authors:
A. Schaum,
P. Feketa,
T. Meurer,
J. A. Moreno
Abstract:
The paper considers the design of a nonlinear dissipative impulsive observer based on non-periodic discrete-time measurements. Sufficient conditions are derived for (i) exponential convergence of the observer in absence of measurement uncertainty, and (ii) input-to-state stability (ISS) with respect to measurement uncertainty, by combining notions from impulsive and dissipative systems theory. The…
▽ More
The paper considers the design of a nonlinear dissipative impulsive observer based on non-periodic discrete-time measurements. Sufficient conditions are derived for (i) exponential convergence of the observer in absence of measurement uncertainty, and (ii) input-to-state stability (ISS) with respect to measurement uncertainty, by combining notions from impulsive and dissipative systems theory. The conditions mainly include constraints on the minimum and maximum time between measurements depending on system characteristics, the correction gain and the desired ISS gain. A representative case example is used to illustrate the theoretical assessments.
△ Less
Submitted 6 June, 2020;
originally announced June 2020.
-
Stability of cluster formations in adaptive Kuramoto networks
Authors:
Petro Feketa,
Alexander Schaum,
Thomas Meurer
Abstract:
This paper studies stability properties of multi-cluster formations in Kuramoto networks with adaptive coupling. Sufficient conditions for the local asymptotic stability of the corresponding synchronization invariant toroidal manifold are derived and formulated in terms of the intra-cluster interconnection topology and plasticity parameters of the adaptive couplings. The proposed sufficient stabil…
▽ More
This paper studies stability properties of multi-cluster formations in Kuramoto networks with adaptive coupling. Sufficient conditions for the local asymptotic stability of the corresponding synchronization invariant toroidal manifold are derived and formulated in terms of the intra-cluster interconnection topology and plasticity parameters of the adaptive couplings. The proposed sufficient stability conditions qualitatively mimic certain counterpart results for Kuramoto networks with static coupling which require sufficiently strong and dense intra-cluster connections and sufficiently weak and sparse inter-cluster ones. Remarkably, the existence of cluster formations depends on the interconnection structure between nodes belonging to different clusters and does not require any coupling links between nodes that form a cluster. On the other hand, the stability properties of clusters depend on the interconnection structure inside the clusters. This dependence constitutes the main contribution of the paper. Also, two numerical examples are provided to validate the proposed theoretical findings.
△ Less
Submitted 15 April, 2021; v1 submitted 29 May, 2020;
originally announced June 2020.
-
PDE-based multi-agent formation control using flatness and backstepping: analysis, design and robot experiments
Authors:
Gerhard Freudenthaler,
Thomas Meurer
Abstract:
A PDE-based control concept is developed to deploy a multi-agent system into desired formation profiles. The dynamic model is based on a coupled linear, time-variant parabolic distributed parameter system. By means of a particular coupling structure parameter information can be distributed within the agent continuum. Flatness-based motion planning and feedforward control are combined with a backst…
▽ More
A PDE-based control concept is developed to deploy a multi-agent system into desired formation profiles. The dynamic model is based on a coupled linear, time-variant parabolic distributed parameter system. By means of a particular coupling structure parameter information can be distributed within the agent continuum. Flatness-based motion planning and feedforward control are combined with a backstepping-based boundary controller to stabilise the distributed parameter system of the tracking error. The tracking controller utilises the required state information from a Luenberger-type state observer. By means of an exogenous system the relocation of formation profiles is achieved. The transfer of the control strategy to a finite-dimensional discrete multi-agent system is obtained by a suitable finite difference discretization of the continuum model, which in addition imposes a leader-follower communication topology. The results are evaluated both in simulation studies and in experiments for a swarm of mobile robots realizing the transition between different stable and unstable formation profiles.
△ Less
Submitted 22 December, 2019;
originally announced December 2019.
-
Synchronization and multi-cluster capabilities of oscillatory networks with adaptive coupling
Authors:
Petro Feketa,
Alexander Schaum,
Thomas Meurer
Abstract:
We prove the existence of a multi-dimensional non-trivial invariant toroidal manifold for the Kuramoto network with adaptive coupling. The constructed invariant manifold corresponds to the multi-cluster behavior of the oscillators phases. Contrary to the static coupling, the adaptive coupling strengths exhibit quasiperiodic oscillations preserving zero phase-difference within clusters. The derived…
▽ More
We prove the existence of a multi-dimensional non-trivial invariant toroidal manifold for the Kuramoto network with adaptive coupling. The constructed invariant manifold corresponds to the multi-cluster behavior of the oscillators phases. Contrary to the static coupling, the adaptive coupling strengths exhibit quasiperiodic oscillations preserving zero phase-difference within clusters. The derived sufficient conditions for the existence of the invariant manifold provide a trade-off between the natural frequencies of the oscillators, coupling plasticity parameters, and the interconnection structure of the network. Furthermore, we study the robustness of the invariant manifold with respect to the perturbations of the interconnection topology and establish structural and quantitative constraints on the perturbation adjacency matrix preserving the invariant manifold. Additionally, we demonstrate the application of the new results to the problem of interconnection topology design which consists in endowing the desired multi-cluster behavior to the network by controlling its interconnection structure.
△ Less
Submitted 9 December, 2019;
originally announced December 2019.
-
Synchronization of nonlinearly coupled networks of Chua oscillators
Authors:
Petro Feketa,
Alexander Schaum,
Thomas Meurer,
Denis Michaelis,
Karl-Heinz Ochs
Abstract:
The paper develops new sufficient conditions for synchronization of a network of $N$ nonlinearly coupled Chua oscillators interconnected via the first state coordinate only. The nonlinear coupling strength is governed by a function residing within a sector, i.e. it is bounded from above and below by linear functions. The derived sufficient conditions provide a trade-off between the characteristics…
▽ More
The paper develops new sufficient conditions for synchronization of a network of $N$ nonlinearly coupled Chua oscillators interconnected via the first state coordinate only. The nonlinear coupling strength is governed by a function residing within a sector, i.e. it is bounded from above and below by linear functions. The derived sufficient conditions provide a trade-off between the characteristics of the sector and the interconnection topology of the network to guarantee the synchronization of the oscillators.
△ Less
Submitted 31 March, 2019;
originally announced April 2019.
