|
|
|
|
Dr.-Ing. Peter Wieland
|
Research Interests
-
Consensus and Synchronization Problems
- Graph Theory
- Consensus and Synchronization in Homogeneous Groups
- Consensus and Synchronization in Heterogeneous Groups
Internal Model Principle for Synchronization
- Dynamic Couplings
- Synchronization of Oscillators
-
Nonlinear systems, in particular Nonlinear Oscillators
-
Safety problems for Multi-Agent Systems
Publications
(copies of the papers are available upon request)
Peer Reviewed Papers
| [1] | Peter Wieland and F. Allgöwer.
On synchronous steady states and internal models of
diffusively coupled systems.
IEEE Transactions on Automatic Control, 2011.
Conditionally accepted for publication. [abstract]
We investigate the problem
of synchronizing non-identical nonlinear dynamical systems by means of
generalized diffusive couplings. The focus is not on the actual solution to
the problem but on the derivation of necessary conditions for the existence
of such a solution despite the systems possessing non-identical models. We
show that for the problem to be solvable a synchronous steady state needs to
exist. This condition leads to the requirement that all individual system
models need to embed an internal model of some common endosystem. The latter
condition is expressed in terms of nonlinear partial differential equations.
The conditions derived in this paper are related to those known from the
theory of output regulation. |
| [2] | Peter Wieland, R. Sepulchre, and
F. Allgöwer.
An internal model
principle is necessary and sufficient for linear output
synchronization.
Automatica, 47(5):1068–1074, 2011. [abstract]
Output synchronization
of a network of heterogeneous linear state space models under time-varying
and directed interconnection structures is investigated. It is shown that,
assuming stabilizability and detectability of the individual systems and
imposing very mild connectedness assumptions on the interconnection
structure, an internal model requirement is necessary and sufficient for
synchronizability of the network to polynomially bounded trajectories. The
resulting dynamic feedback couplings can be interpreted as a generalization
of existing methods for identical linear systems. |
| [3] | Peter Wieland, G. S. Schmidt,
R. Sepulchre, and F. Allgöwer.
Phase synchronization
through entrainment by a consensus input.
In Proc. 49th IEEE Conf. Decision and Control, pages 534–539,
2010. [abstract]
The paper proposes a
synchronization mechanism in a set of nonlinear oscillators interconnected
through a communication network. In contrast to many existing results, we do
not employ strong, diffusive couplings between the individual oscillators.
Instead, each individual oscillator is weakly forced by a linear resonator
system. The resonator systems are synchronized using results from consensus
theory. The synchronized resonator systems force the frequencies of the
nonlinear oscillators to a constant frequency and thereby yield
synchronization of the oscillators. We prove this result using the theory of
small forcings of stable oscillators. This synchronization scheme allows for
synchronization of nonlinear oscillators over uniformly connected
communication graphs. |
| [4] | Peter Wieland, J.-S. Kim, and
F. Allgöwer.
On topology and dynamics of consensus among linear high-order
agents.
International Journal of Systems Science, 2010.
In print. [abstract]
Consensus of a group of agents
in a multi-agent system with and without leader is considered. All agents are
modeled by identical linear nth order dynamical systems while the leader,
when it exists, may evolve according to a different linear model of the same
order. The interconnection topology between the agents is modeled as a
directed weighted graph. We provide answers to the questions whether the
group converges to consensus and what consensus value the group eventually
reaches. To that end, we give a detailed analysis of relevant algebraic
properties of the graph Laplacian. Furthermore, we propose an LMI-based
design for group consensus in the general case. |
| [5] | Peter Wieland and F. Allgöwer.
On
consensus among identical linear systems using input-decoupled functional
observers.
In Proc. American Control Conference, pages 1641–1646, 2010. [abstract]
The consensus problem among
identical linear systems under relative sensing is considered. We propose a
method to design dynamic feedback laws depending on relative output measures
between the individual systems, that ensure temporal coincidence of the
output trajectory of all members of the group. Our method is based on
functional input-decoupled observers and a static feedback. The two design
steps can be performed independently with independent robustness
features. |
| [6] | Peter Wieland and F. Allgöwer.
An
internal model principle for synchronization.
In Proc. 7th IEEE Int. Conf. Control and Automation, pages
285–290, 2009. [abstract]
The problem of achieving
synchrony in a group of heterogeneous systems is considered. By synchrony, we
understand the fact of temporal coincidence of output trajectories of the
individual systems. The individual systems are modeled as general
time-invariant nonlinear systems which are coupled through relative error
measures. The question is addressed, what properties the individual systems
need to possess if there exists a solution to the synchronization problem. An
answer to that question is given in the form of an internal model principle
for synchronization representing a necessary condition for
synchronization. |
| [7] | Peter Wieland and F. Allgöwer.
An internal model
principle for consensus in heterogeneous linear multi-agent
systems.
In Proc. 1st IFAC Workshop on Estimation and Control of Networked
Systems, pages 7–12, 2009. [abstract]
The problem of reaching
consensus in a heterogeneous multi-agent system is considered. The agents are
modeled as linear time-invariant systems with potentially different state
dimension and different dynamics. The interconnection topology between the
agents is modeled as a directed and weighted graph.We propose an internal
model principle for consensus translating in necessary conditions for
existence of solutions to the output and state consensus
problem. |
| [8] | Peter Wieland, J.-S. Kim, H. Scheu, and
F. Allgöwer.
On consensus in
multi-agent systems with linear high-order agents.
In Proc. 17th IFAC World Congress, pages 1541–1546, 2008. [abstract]
Consensus of a group of agents
in a multi-agent system is considered. All agents are modeled by identical
linear nth order dynamical systems and the interconnection topology between
the agents is modeled as a directed weighted graph. We provide answers to the
questions whether the group converges to consensus and what consensus value
it eventually reaches. Furthermore, we give a necessary and sufficient
condition for convergence to consensus in the double integrator case and
propose an LMI-based design for group consensus in the general case. An
example is used to illustrate the results. |
| [9] | Peter Wieland and F. Allgöwer.
Constructive
safety using control barrier functions.
In Proc. 7th IFAC Symposium on Nonlinear Control Systems, pages
473–478, Aug 2007. [abstract]
This paper presents a new
safety feedback design for nonlinear systems based on barrier certificates
and the idea of control Lyapunov functions. In contrast to existing methods,
this approach ensures safety independently of abstract high-level tasks that
might be unknown or change over time. Leaving as much freedom as possible to
the safe system, the authors believe that the flexibility of this approach is
very promising. The design is validated using an illustrative
example. |
| [10] | Peter Wieland, C. Ebenbauer, and
F. Allgöwer.
Ensuring
task-independent safety for multi-agent systems by feedback.
In Proc. American Control Conference, pages 3880–3885, Jul 2007.
[abstract]
This paper presents a new
safety feedback design for multi-agent systems. In contrast to existing
methods, the proposed approach follows the idea to decouple the design of
low-level safety features from abstract high-level tasks of the agents. This
leads to a modular design that preserves the flexibility of multi-agent
systems while increasing their usability in safety critical applications by
giving systems theoretic safety guarantees. The approach is illustrated using
collision avoidance of two vehicles as an example. |
| [11] | Peter Wieland, T. Meurer, K. Graichen,
and M. Zeitz.
Feedforward control design under input constraints for a tubular reactor
model.
In Proc. 45th IEEE Conf. Decision and Control, pages
3968–3973, Dec 2006. [abstract]
This paper presents a new
early-lumping approach of feedforward control design for setpoint change
scenarios applied to a tubular reactor modeled by a nonlinear parabolic
diffusion-convection-reaction equation. The approach is based on Galerkin's
method to obtain a finite-dimensional model and on a recently developed
approach to feedforward control design for nonlinear systems under input
constraints. The considered finite-time transition between equilibrium points
is treated as a two-point boundary value problem. Simulation results for
different sets of model parameters illustrate the applicability of the
approach |
Invited Papers
| [1] | Peter Wieland and F. Allgöwer.
On synchronous
steady states and internal models of diffusively coupled systems.
In Proc. 4th IFAC Symposium on System, Structure and Control,
pages 1–10, 2010. [abstract]
We investigate the problem of
synchronizing non-identical nonlinear dynamical systems by means of
generalized diffusive couplings. The focus is not on the actual solution to
the problem but on the derivation of necessary conditions for the existence
of such a solution despite the systems possessing non-identical models. We
show that for the problem to be solvable a synchronous steady state needs to
exist. This condition leads to the requirement that all individual system
models need to embed an internal model of some virtual exosystem. The latter
condition is expressed in terms of nonlinear partial differential equations.
The conditions derived in this paper are related to those known from the
theory of output regulation. |
Theses
| [1] | Peter Wieland.
From static to
dynamic couplings in consensus and synchronization among identical and
non-identical systems.
Von der Fakultät Konstruktions-, Produktions- und Fahrzeugtechnik der
Universität Stuttgart zur Erlangung der Würde eines Doktors der
Ingenieurwissenschaften (Dr.-Ing.) genehmigte Abhandlung; Tag der mündlichen
Prüfung: 06.09.2010; Print version: Logos Verlag Berlin
(www.logos-verlag.de), ISBN 978-3-8325-2638-2, 2010. [abstract]
Consensus and synchronization
problems have been popular subjects in systems and control theory over the
last couple of years, mainly motivated by the fact that phenomena summarized
under these two terms are observed in various instances in a wide range of
scientific disciplines. The two terms both refer to the property that
individuals in a group reach agreement in some sense. In addition, couplings
are typically of a diffusive type in both cases, i.e., the individual systems
exchange only relative information. We will consider consensus and
synchronization in networks of individual dynamical systems interconnected
according to a specific communication topology, where the individual systems
are modeled by ordinary differential equations and the communication topology
is modeled by a graph. Typically, consensus problems deal with simple
individual system dynamics and weak assumptions on the communication graph.
In contrast, synchronization problems commonly focus on complex individual
system dynamics and simple communication topologies. Very few results exist
that consider complex individual systems and complex communication topologies
at the same time. There seems to be tradeoff between admissible system
complexity and admissible topological complexity in consensus and
synchronization problems. In view of this observation, we address two
questions in this thesis. Firstly, we ask for the reasons for this tradeoff,
i.e., we ask for the limitations that are inherent to static diffusive
couplings. Secondly, we ask to what extent these limitations can be removed
by appropriately extending static diffusive couplings. We show that
weak assumptions on the communication graph yield strong requirements imposed
on the acting and sensing capabilities of the individual systems as well as
their stability properties. On top of this tradeoff between system and
topological complexity, static diffusive couplings are generally not suited
to achieve consensus or synchronization if the individual systems admit
non-identical dynamical models. We propose diffusive couplings that are
extended by dynamic compensators to overcome some of the aforementioned
limitations of static diffusive couplings. Strong requirements on the
sensing capabilities are partly removed with the help of dynamic observers.
The observer design problem for consensus problems is addressed subject to a
relative sensing constraint in this thesis. We explain that this constraint
yields a state estimation problem with unknown inputs and propose a solution
based on unknown-input observers. In case of heterogeneous networks, we
show that an internal model principle is necessary for consensus and
synchronization. We argue that this principle can generally only be satisfied
if dynamic couplings are employed. The internal model principle derived in
this thesis is related and compared to the theory of output regulation with
its well-known internal model principle of control theory. Thereby we
establish a link between consensus and synchronization on the one hand and
the theory of output regulation on the other hand. Eventually, we are
able to give solutions to consensus and synchronization problems for
arbitrary heterogeneous linear networks and for networks of heterogeneous
nonlinear oscillators. We thereby remove most of the limitations mentioned
above and thus allow for consensus and synchronization in networks with
increased system and topological complexity. |
| [2] | Peter Wieland.
Vorsteuerungsentwurf für verteiltparametrische Systeme
auf der Basis reduzierter modelle.
Diplomarbeit, Institut für Systemdynamik und Regelungstechnik, Universität
Stuttgart, Germany, Jul 2005.
(PDF) [abstract]
Feedforward and feedback
control of distributed parameter systems is a research area of great
theoretical and practical interest. While several well-known methods exist to
stabilize distributed parameter systems about stationary profiles, there are
only very few efficient tools for feedforward and feedback tracking control
design available for these systems. This diploma thesis presents an
easy to implement approach to compute feedforward control trajectories for
distributed parameter systems as described by partial differential equations
in time and space. The approach followed is based on a low-order
approximation of the distributed parameter system using Galerkin's method.
The feedforward task is then expressed in terms of an over-determined
boundary value problem that can be solved by constructing the input
trajectories including free parameters. A simple extension to the proposed
approach is presented, that allows to incorporate input constraints directly
in the formulation of the boundary value problem. The proposed
model-reduction and feedforward control design approaches are evaluated using
different realistic tubular fixed bed reactor models as benchmark
problems. |
| [3] | T. Utz and Peter Wieland.
Collaborative decision making through networks.
Studienarbeit, Institut für Systemdynamik und Regelungstechnik, Universität
Stuttgart, Germany and Ecole Centrale Paris, France, 2003. [abstract]
Making decisions is a crucial
task that humans encounter in many situations. Especially in value
management, where a large number of alternatives have to be ranked or
weighted and where important economic values are at risk, one may want to be
sure having taken a ``good'' decision. Pairwise comparison methods in
combination with taking account of uncertainty by means of statistic
simulation, provide reliable support for groups in taking such decisions. The
abbreviation MCPC (Monte Carlo Pairwise Comparison) stands for a set of such
routines, developped by M. Limayem and M. Yannou at the Ecole Centrale
Paris. The following document summarizes the project ``Collaborative
Decision Making through Networks'' in German. Subject of the study was to
determine ways how decsison making may take place (so called protocols) and
propose a generalized vote model for spatially dispersed groups using MCPC.
Attached are the complete project report in English and a formal description
of the vote model. the project was conducted in the ccontext of the
TIME double-diploma-programme at the Ecole Centrale Paris under the
surveillance of M. Yannou at the Laboratoire Génie Industriel of the Ecole
Centrale Paris. M. Yannou's main axes of research are conceptual design and
value analysis. |
Talks
| [1] | Peter Wieland.
From static to dynamic couplings in consensus and
synchronization among identical and non-identical systems.
PhD defense, Sep 2010. |
| [2] | Peter Wieland.
From static to dynamic couplings in synchronization and
consensus.
Kolloquium Technische Kybernetik, University of Stuttgart, Apr 2010. |
| [3] | Peter Wieland.
From static to dynamic couplings in synchronization and
consensus.
Systems and Modeling Seminar Series, Department of Electrical Engineering and
Computer Science, University of Liège, Belgium, Mar 2010. |
| [4] | Peter Wieland.
Necessary conditions for synchronization in
heterogeneous groups.
Workshop on Network Induced Constraints in Control (NETCOC), Sep
2009. |
| [5] | Peter Wieland.
How not to be the Black Sheep.
6th Stuttgart Systems Theory Workshop, Hirschegg, Austria, Jul 2009. |
| [6] | Peter Wieland.
A control-theoretic approach to collision
avoidance.
Simtech-ITIM-ITM Finnish-German Graduate Course on Mechatronics, Dec
2008. |
| [7] | Peter Wieland.
Aspects of Multi-Agent-Systems.
5th Stuttgart Systems Theory Workshop, Hirschegg, Austria, Jul 2008. |
| [8] | Peter Wieland.
Constructive safety for
Multi-Agent-Systems.
4th Stuttgart Systems Theory Workshop, Hirschegg, Austria, Feb 2007. |
| [9] | Peter Wieland.
Safety for Multi-Agent-Systems, Some basic
problems.
3rd Stuttgart Systems Theory Workshop, Hirschegg, Austria, Mar 2006. |
| [10] | Peter Wieland.
Anwendung gewichteter Residuenverfahren zum
Vorsteuerungsentwurf für verteiltparametrische Systeme.
Diplomarbeitsvortrag, Institut für Systemdynamik und Regelungstechnik,
Universität Stuttgart, Germany, Jul 2005. |
| [11] | T. Utz and Peter Wieland.
Collaborative decision making through networks.
Studienarbeitsvortrag, Institut für Systemdynamik und Regelungstechnik,
Universität Stuttgart, Germany, 2003. |
|