Workshop Dedicated to
Arjan Van Der Schaft's retirement
Kanat Camlibel, Jacquelien Scherpen (University of Groningen)
We are pleased to invite you to the one-day workshop dedicated to the retirement of Arjan van der Schaft. The workshop will be held in Bayreuth, Germany on September 11 (Sunday) just before MTNS.
The participation will be free of charge for MTNS participants.
9:50 - 10:00: Opening
10:00 - 10:30: Monotone port-Hamiltonian systems
Rodolphe Sepulchre (Cambridge University)
The physical property of passivity is a foundation of port-hamiltonian modeling and its success in control. The talk will briefly review some key contributions of Arjan in that area and their impact on the field. Motivated by the electrical models of biophysical neural networks, we will then ask why it has proven elusive to extend the theory to monotonicity, the incremental form of passivity. We will discuss to what extent monotonicity is still physical and instrumental to the analysis and control of non-equilibrium physical systems.
10:30 - 11:00: Port variables in port Hamiltonian systems
Bernhard Maschke (Université de Lyon)
Port variables are at the heart of Port Hamiltonian Systems. In this talk we shall review their definition from the origin, as a generalization of input-output Hamiltonian Systems, until most recent advances including port variables for Irreversible Thermodynamic Systems, for Distributed Parameter Systems and their discretization, as well as Port Variables associated with an implicit definition of the energy.
11:00 - 11:30: Coffee break
11:30 - 12:00: DAE’s everywhere
Hans Zwart (University of Twente)
DAE, or Differential Algebraic Equations, may be considered as a (very) special case of differential equations, but in this talk we will show that many models can be regarded coming from DAE’s. This identification enables us to prove existence of solutions for several partial differential equations, by proving it for one DAE first. For instance, as a consequence of this result we, show that the existence of solutions for the beam and diffusion equation follows from that of the wave equation. Furthermore, the result of Weiss and Tucsnak on the Maxwell class falls within this theory. A second general result covers the case of partial differential equations with a state constraint, such as divergence free-ness in the Oseen equation.
12:00 - 12:30: Model reduction for nonlinear control systems based on differential balancing and data
Jacquelien Scherpen (University of Groningen)
We present a balancing theory for nonlinear systems in the contraction framework. We use prolonged systems to define the controllability and observability functions which can be used for a simultaneous diagonalization procedure, providing a measure for importance of the states. In addition, we propose a data-based model reduction method based on differential balancing for nonlinear systems whose input vector fields are constants by utilizing its variational system. For a fixed state trajectory, it is possible to compute the values of the differential Gramians by using impulse and initial state responses of the variational system. Therefore, balanced truncation is doable along state trajectories without solving nonlinear partial differential equations. The work presented is joint work with Yu Kawano.
12:30 - 14:00: Lunch
14:00 - 14:30: Into the future with a flux capacitor (or not?)
Dimitri Jeltsema (HAN University of Applied Sciences)
The term flux capacitor originates from the movie Back to the Future (1985) in which Dr. Emmett "Doc" Brown (Christopher Lloyd) builds a time machine based on a DeLorean DMC-1 car. While the movie did not provide a precise explanation of how the flux capacitor works, it required 1.21 GW of electrical power to operate. Intuitively, this would suggest that this is a passive device. Passivity (in fact, losslessness) was also suggested by Chua and Szeto (1983), where an ideal flux-based capacitor actually explicitly appears in the periodic table of so-called higher-order elements. A few decades later, Di Ventra, Pershin and Chua (2009) coined the term "memcapacitor" for the same element. Recent years also witnessed the invention of several of its analogies. One such analogy is the patented mechanical mem-inerter. In this talk, I will present a critical analysis of the flux capacitor (and beyond) as one of the many fruitful collaborations of Arjan and myself in the context of our ongoing quest to understand thermodynamics from a systems-theoretic perspective.
14:30 - 15:00: From data to state trajectory via energy
Paolo Rapisarda (University of Southampton)
One of the Grundthemen in Arjan van der Schaft’s scientific work is how the exchange of energy between a system and the environment is related to the structure of the system itself. In this talk I present a couple of variations related to system identification on this Leitmotiv of Arjan’s. I was lucky enough to work on some of these with the Meister himself. Starting from the case of linear, time-invariant systems, and proceeding through 2D-systems to 1-D time-varying linear ones, I will illustrate how power conservation laws can be used to compute state trajectories from input-output data. From the given i-o data and the identified state trajectory, one can then compute a state model in a straightforward way. An “energy-based” point of view offers an appealing alternative to standard system identification methods in those cases where shift-invariance cannot be exploited (as is the case for time-varying systems), or where it is inconvenient to do so (as in the case of 2D systems), thus opening the possibility of performing system, rather than parametric, identification also for non-linear systems.
15:00 - 15:30: Manipulator end-effector distance-based distributed formation control
Bayu Jayawardhana (University of Groningen)
15:30 - 16:00: Coffee break
16:00 - 16:30: Computation of (control-)Lyapunov functions via deep neural networks: what can dissipativity tell us?
Deep neural networks have the potential to approximate nonlinear functions with good accuracy even in high dimensions. This means that they have the potential to circumvent the curse of dimensionality. However, this will not work for arbitrary nonlinear functions but only for particular classes thereof. On of these classes are the so-called compositional functions. In this talk, we will present recent dissipativity-based findings that reveal situations in which (control-)Lyapunov functions have - or do not have - such a compositional form (based on joint work with Mario Sperl, Bayreuth).
16:30 - 17:00: Linearization of mechanical control systems
Witold Respondek (Normandie Université)
17:00 - 17:30: A port-Hamiltonian mechanism
Henk Nijmeijer (TU Eindhoven)
17:30 - 17:50: Closing remarks
Jacquelien Scherpen and Arjan van der Schaft