-
On Triangular Forms for x-Flat Control-Affine Systems With Two Inputs
Authors:
Georg Hartl,
Conrad Gstöttner,
Markus Schöberl
Abstract:
This paper examines a broadly applicable triangular normal form for two-input x-flat control-affine systems. First, we show that this triangular form encompasses a wide range of established normal forms. Next, we prove that any x-flat system can be transformed into this triangular structure after a finite number of prolongations of each input. Finally, we introduce a refined algorithm for identify…
▽ More
This paper examines a broadly applicable triangular normal form for two-input x-flat control-affine systems. First, we show that this triangular form encompasses a wide range of established normal forms. Next, we prove that any x-flat system can be transformed into this triangular structure after a finite number of prolongations of each input. Finally, we introduce a refined algorithm for identifying candidates for x-flat outputs. Through illustrative examples, we demonstrate the usefulness of our results. In particular, we show that the refined algorithm exceeds the capabilities of existing methods for computing flat outputs based on triangular forms.
△ Less
Submitted 28 May, 2025; v1 submitted 21 May, 2025;
originally announced May 2025.
-
Wildcat: Educational RISC-V Microprocessors
Authors:
Martin Schoeberl
Abstract:
In computer architecture courses, we usually teach RISC processors using a five-stage pipeline, neglecting alternative organizations. This design choice, rooted in the 1980s technology, may not be optimal today, and it is certainly not the easiest pipeline for education. This paper examines more straightforward pipeline organizations for RISC processors that are suitable for educational purposes a…
▽ More
In computer architecture courses, we usually teach RISC processors using a five-stage pipeline, neglecting alternative organizations. This design choice, rooted in the 1980s technology, may not be optimal today, and it is certainly not the easiest pipeline for education. This paper examines more straightforward pipeline organizations for RISC processors that are suitable for educational purposes and for implementing embedded processors in FPGAs and ASICs. We analyze resource costs and maximum clock frequency of various designs implemented in an FPGA, using clock frequency as a performance proxy. Additionally, we validate these results with ASIC designs synthesized using the open-source SkyWater130 process.
Contradictory to common wisdom, a longer pipeline (up to 5 stages) does not necessarily always increase the maximum clock frequency. In two FPGA and one ASIC implementation, we discovered that a four- or five-stage pipeline leads to a slower clock frequency than a three-stage implementation. The reason is that the width of the forwarding multiplexer in the execution stage increases with longer pipelines, which is on the critical path. We also argue that a 3-stage pipeline organization is more adequate for teaching a pipeline organization of a microprocessor.
△ Less
Submitted 27 February, 2025;
originally announced February 2025.
-
Duality of Geometric Tests for Forward-Flatness
Authors:
Johannes Schrotshamer,
Bernd Kolar,
Markus Schöberl
Abstract:
Recently it has been shown that the property of forward-flatness for discrete-time systems, which is a generalization of static feedback linearizability and a special case of a more general concept of flatness, can be checked by two different geometric tests. One is based on unique sequences of involutive distributions, while the other is based on a unique sequence of integrable codistributions. I…
▽ More
Recently it has been shown that the property of forward-flatness for discrete-time systems, which is a generalization of static feedback linearizability and a special case of a more general concept of flatness, can be checked by two different geometric tests. One is based on unique sequences of involutive distributions, while the other is based on a unique sequence of integrable codistributions. In this paper, the relation between these sequences is discussed and it is shown that the tests are in fact dual. The presented results are illustrated by an academic example.
△ Less
Submitted 20 August, 2024;
originally announced August 2024.
-
A Dual Geometric Test for Forward-Flatness
Authors:
Bernd Kolar,
Johannes Schrotshamer,
Markus Schöberl
Abstract:
Forward-flatness is a generalization of static feedback linearizability and a special case of a more general flatness concept for discrete-time systems. Recently, it has been shown that this practically quite relevant property can be checked by computing a unique sequence of involutive distributions which generalizes the well-known static feedback linearization test. In this paper, a dual test for…
▽ More
Forward-flatness is a generalization of static feedback linearizability and a special case of a more general flatness concept for discrete-time systems. Recently, it has been shown that this practically quite relevant property can be checked by computing a unique sequence of involutive distributions which generalizes the well-known static feedback linearization test. In this paper, a dual test for forward-flatness based on a unique sequence of integrable codistributions is derived. Since the main mathematical operations for determining this sequence are the intersection of codistributions and the calculation of Lie derivatives of 1-forms, it is computationally quite efficient. Furthermore, the formulation with codistributions also facilitates a comparison with the existing discrete-time literature regarding the closely related topic of dynamic feedback linearization, which is mostly formulated in terms of 1-forms rather than vector fields. The presented results are illustrated by two examples.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
A Triangular Normal Form for x-Flat Control-Affine Two-Input Systems
Authors:
Conrad Gstöttner,
Bernd Kolar,
Markus Schöberl
Abstract:
This paper is devoted to normal forms for x-flat control-affine systems with two inputs. We propose a general triangular normal form which contains several other normal forms discussed in the literature as special cases. We derive conditions under which a system with given x-flat output can be transformed into the proposed triangular form. Based on the triangular form we motivate a simple algorith…
▽ More
This paper is devoted to normal forms for x-flat control-affine systems with two inputs. We propose a general triangular normal form which contains several other normal forms discussed in the literature as special cases. We derive conditions under which a system with given x-flat output can be transformed into the proposed triangular form. Based on the triangular form we motivate a simple algorithm for identifying candidates for flat outputs.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
On the Exact Linearization of Minimally Underactuated Configuration Flat Lagrangian Systems in Generalized State Representation
Authors:
Georg Hartl,
Conrad Gstöttner,
Bernd Kolar,
Markus Schöberl
Abstract:
In this paper, we examine the exact linearization of configuration flat Lagrangian control systems in generalized state representation with p degrees of freedom and p-1 control inputs by quasi-static feedback of its generalized state. We formally introduce generalized Lagrangian control systems, which are obtained when configuration variables are considered as inputs instead of forces. This work p…
▽ More
In this paper, we examine the exact linearization of configuration flat Lagrangian control systems in generalized state representation with p degrees of freedom and p-1 control inputs by quasi-static feedback of its generalized state. We formally introduce generalized Lagrangian control systems, which are obtained when configuration variables are considered as inputs instead of forces. This work presents all possible lengths of integrator chains achieved by an exact linearization with a quasi-static feedback law of the generalized state that allows for rest-to-rest transitions. We show that such feedback laws can be systematically derived without using Brunovský states.
△ Less
Submitted 26 September, 2024; v1 submitted 7 February, 2024;
originally announced February 2024.
-
Exact Linearization of Minimally Underactuated Configuration Flat Lagrangian Control Systems by Quasi-Static Feedback of Classical States
Authors:
Georg Hartl,
Conrad Gstöttner,
Bernd Kolar,
Markus Schöberl
Abstract:
We study the exact linearization of configuration flat Lagrangian control systems with p degrees of freedom and p-1 inputs by quasi-static feedback of classical states. First, we present a detailed analysis of the structure of the parameterization of the system variables by the flat output. Based on that, we systematically construct a linearizing quasi-static feedback law of the classical state su…
▽ More
We study the exact linearization of configuration flat Lagrangian control systems with p degrees of freedom and p-1 inputs by quasi-static feedback of classical states. First, we present a detailed analysis of the structure of the parameterization of the system variables by the flat output. Based on that, we systematically construct a linearizing quasi-static feedback law of the classical state such that the closed-loop system shows the behavior of decoupled integrator chains. Our approach shows that the construction of a generalized Brunovsky state can be completely circumvented. Furthermore, we present a method for determining the lengths of the integrator chains achieved by quasi-static feedback laws that allow for rest-to-rest transitions.
△ Less
Submitted 15 May, 2024; v1 submitted 20 October, 2023;
originally announced October 2023.
-
Dynamic nsNet2: Efficient Deep Noise Suppression with Early Exiting
Authors:
Riccardo Miccini,
Alaa Zniber,
Clément Laroche,
Tobias Piechowiak,
Martin Schoeberl,
Luca Pezzarossa,
Ouassim Karrakchou,
Jens Sparsø,
Mounir Ghogho
Abstract:
Although deep learning has made strides in the field of deep noise suppression, leveraging deep architectures on resource-constrained devices still proved challenging. Therefore, we present an early-exiting model based on nsNet2 that provides several levels of accuracy and resource savings by halting computations at different stages. Moreover, we adapt the original architecture by splitting the in…
▽ More
Although deep learning has made strides in the field of deep noise suppression, leveraging deep architectures on resource-constrained devices still proved challenging. Therefore, we present an early-exiting model based on nsNet2 that provides several levels of accuracy and resource savings by halting computations at different stages. Moreover, we adapt the original architecture by splitting the information flow to take into account the injected dynamism. We show the trade-offs between performance and computational complexity based on established metrics.
△ Less
Submitted 31 August, 2023;
originally announced August 2023.
-
Data-driven control and transfer learning using neural canonical control structures*
Authors:
Lukas Ecker,
Markus Schöberl
Abstract:
An indirect data-driven control and transfer learning approach based on a data-driven feedback linearization with neural canonical control structures is proposed. An artificial neural network auto-encoder structure trained on recorded sensor data is used to approximate state and input transformations for the identification of the sampled-data system in Brunovsky canonical form. The identified tran…
▽ More
An indirect data-driven control and transfer learning approach based on a data-driven feedback linearization with neural canonical control structures is proposed. An artificial neural network auto-encoder structure trained on recorded sensor data is used to approximate state and input transformations for the identification of the sampled-data system in Brunovsky canonical form. The identified transformations, together with a designed trajectory controller, can be transferred to a system with varied parameters, where the neural network weights are adapted using newly collected recordings. The proposed approach is demonstrated using an academic and an industrially motivated example.
△ Less
Submitted 8 February, 2023;
originally announced February 2023.
-
On the influence of clipping in lossless predictive and wavelet coding of noisy images
Authors:
Wolfgang Schnurrer,
Jürgen Seiler,
Michael Schöberl,
André Kaup
Abstract:
Especially in lossless image coding the obtainable compression ratio strongly depends on the amount of noise included in the data as all noise has to be coded, too. Different approaches exist for lossless image coding. We analyze the compression performance of three kinds of approaches, namely direct entropy, predictive and wavelet-based coding. The results from our theoretical model are compared…
▽ More
Especially in lossless image coding the obtainable compression ratio strongly depends on the amount of noise included in the data as all noise has to be coded, too. Different approaches exist for lossless image coding. We analyze the compression performance of three kinds of approaches, namely direct entropy, predictive and wavelet-based coding. The results from our theoretical model are compared to simulated results from standard algorithms that base on the three approaches. As long as no clipping occurs with increasing noise more bits are needed for lossless compression. We will show that for very noisy signals it is more advantageous to directly use an entropy coder without advanced preprocessing steps.
△ Less
Submitted 11 January, 2023;
originally announced January 2023.
-
Discrete-time Flatness and Linearization along Trajectories
Authors:
Bernd Kolar,
Johannes Diwold,
Conrad Gstöttner,
Markus Schöberl
Abstract:
The paper studies the relation between a nonlinear time-varying flat discrete-time system and the corresponding linear time-varying systems which are obtained by a linearization along trajectories. It is motivated by the continuous-time case, where it is well-known that the linearization of flat systems along trajectories results in linear time-varying systems which are again flat. Since flatness…
▽ More
The paper studies the relation between a nonlinear time-varying flat discrete-time system and the corresponding linear time-varying systems which are obtained by a linearization along trajectories. It is motivated by the continuous-time case, where it is well-known that the linearization of flat systems along trajectories results in linear time-varying systems which are again flat. Since flatness implies controllability, this constitutes an important verifiable necessary condition for flatness. In the present contribution, it is shown that this is also true in the discrete-time case: We prove that the linearized system is again flat, and that a possible flat output is given by the linearization of a flat output of the nonlinear system. Analogously, the map that describes the parameterization of the system variables of the linear system by this flat output coincides with the linearization of the corresponding map of the nonlinear system. The results are illustrated by two examples.
△ Less
Submitted 17 October, 2022;
originally announced October 2022.
-
Spatio-temporal error concealment in video by denoised temporal extrapolation refinement
Authors:
Jürgen Seiler,
Michael Schöberl,
André Kaup
Abstract:
In video communication, the concealment of distortions caused by transmission errors is important for allowing for a pleasant visual quality and for reducing error propagation. In this article, Denoised Temporal Extrapolation Refinement is introduced as a novel spatiotemporal error concealment algorithm. The algorithm operates in two steps. First, temporal error concealment is used for obtaining a…
▽ More
In video communication, the concealment of distortions caused by transmission errors is important for allowing for a pleasant visual quality and for reducing error propagation. In this article, Denoised Temporal Extrapolation Refinement is introduced as a novel spatiotemporal error concealment algorithm. The algorithm operates in two steps. First, temporal error concealment is used for obtaining an initial estimate. Afterwards, a spatial denoising algorithm is used for reducing the imperfectness of the temporal extrapolation. For this, Non-Local Means denoising is used which is extended by a spiral scan processing order and is improved by an adaptation step for taking the preliminary temporal extrapolation into account. In doing so, a spatio-temporal error concealment results. By making use of the refinement, a visually noticeable average gain of 1 dB over pure temporal error concealment is possible. With this, the algorithm also is able to clearly outperform other spatio-temporal error concealment algorithms.
△ Less
Submitted 8 July, 2022;
originally announced July 2022.
-
Flatness Analysis for the Sampled-data Model of a Single Mast Stacker Crane
Authors:
Johannes Diwold,
Bernd Kolar,
Markus Schöberl
Abstract:
We show that the Euler-discretization of the nonlinear continuous-time model of a single mast stacker crane is flat. The construction of the flat output is based on a transformation of a subsystem into the linear time-variant discrete-time controller canonical form. Based on the derived flat output, which is also a function of backward-shifts of the system variables, we discuss the planning of tra…
▽ More
We show that the Euler-discretization of the nonlinear continuous-time model of a single mast stacker crane is flat. The construction of the flat output is based on a transformation of a subsystem into the linear time-variant discrete-time controller canonical form. Based on the derived flat output, which is also a function of backward-shifts of the system variables, we discuss the planning of trajectories to achieve a transition between two rest positions and compute the corresponding discrete-time feedforward control.
△ Less
Submitted 24 June, 2022;
originally announced June 2022.
-
Data-driven observer design for an inertia wheel pendulum with static friction
Authors:
L. Ecker,
M. Schöberl
Abstract:
An indirect data-driven state observer design approach for the inertia wheel pendulum considering static friction of the actuated inertia disc is presented. The frictional forces occurring in a real laboratory setup are characterized by the Stribeck effect as well as the transition between two different dynamic behaviors, sticking and non-sticking. These switching nonlinear dynamics are identified…
▽ More
An indirect data-driven state observer design approach for the inertia wheel pendulum considering static friction of the actuated inertia disc is presented. The frictional forces occurring in a real laboratory setup are characterized by the Stribeck effect as well as the transition between two different dynamic behaviors, sticking and non-sticking. These switching nonlinear dynamics are identified with various machine learning methodologies in a data-driven manner, i.e., the unsupervised separation and feature clustering of measured state trajectories into two dynamic classes, and the supervised classification of a state-dependent switching condition. The identified system with the interior switching-structure of two dynamics is combined with a moving horizon estimator.
△ Less
Submitted 21 June, 2022;
originally announced June 2022.
-
A Flat System Possessing no (x,u)-Flat Output
Authors:
Conrad Gstöttner,
Bernd Kolar,
Markus Schöberl
Abstract:
In general, flat outputs of a nonlinear system may depend on the system's state and input as well as on an arbitrary number of time derivatives of the latter. If a flat output which also depends on time derivatives of the input is known, one may pose the question whether there also exists a flat output which is independent of these time derivatives, i.e., an (x,u)-flat output. Until now, the quest…
▽ More
In general, flat outputs of a nonlinear system may depend on the system's state and input as well as on an arbitrary number of time derivatives of the latter. If a flat output which also depends on time derivatives of the input is known, one may pose the question whether there also exists a flat output which is independent of these time derivatives, i.e., an (x,u)-flat output. Until now, the question whether every flat system also possesses an (x,u)-flat output has been open. In this contribution, this conjecture is disproved by means of a counterexample. We present a two-input system which is differentially flat with a flat output depending on the state, the input and first-order time derivatives of the input, but which does not possess any (x,u)-flat output. The proof relies on the fact that every (x,u)-flat two-input system can be exactly linearized after an at most dim(x)-fold prolongation of one of its (new) inputs after a suitable input transformation has been applied.
△ Less
Submitted 20 September, 2022; v1 submitted 8 June, 2022;
originally announced June 2022.
-
Resampling Images to a Regular Grid from a Non-Regular Subset of Pixel Positions Using Frequency Selective Reconstruction
Authors:
Jürgen Seiler,
Markus Jonscher,
Michael Schöberl,
André Kaup
Abstract:
Even though image signals are typically defined on a regular two-dimensional grid, there also exist many scenarios where this is not the case and the amplitude of the image signal only is available for a non-regular subset of pixel positions. In such a case, a resampling of the image to a regular grid has to be carried out. This is necessary since almost all algorithms and technologies for process…
▽ More
Even though image signals are typically defined on a regular two-dimensional grid, there also exist many scenarios where this is not the case and the amplitude of the image signal only is available for a non-regular subset of pixel positions. In such a case, a resampling of the image to a regular grid has to be carried out. This is necessary since almost all algorithms and technologies for processing, transmitting or displaying image signals rely on the samples being available on a regular grid. Thus, it is of great importance to reconstruct the image on this regular grid so that the reconstruction comes closest to the case that the signal has been originally acquired on the regular grid. In this paper, Frequency Selective Reconstruction is introduced for solving this challenging task. This algorithm reconstructs image signals by exploiting the property that small areas of images can be represented sparsely in the Fourier domain. By further taking into account the basic properties of the Optical Transfer Function of imaging systems, a sparse model of the signal is iteratively generated. In doing so, the proposed algorithm is able to achieve a very high reconstruction quality, in terms of PSNR and SSIM as well as in terms of visual quality. Simulation results show that the proposed algorithm is able to outperform state-of-the-art reconstruction algorithms and gains of more than 1 dB PSNR are possible.
△ Less
Submitted 27 April, 2022;
originally announced April 2022.
-
Observer Design for an Inertia Wheel Pendulum with Static Friction
Authors:
L. Ecker,
K. Schlacher,
M. Schöberl
Abstract:
A state observer design for the inertia wheel pendulum considering static friction of the actuated inertia disc is presented. The frictional force is modeled by the Stribeck effect, with two separate differential equations describing the sticking and non-sticking system, respectively. The transition between the two scenarios is in general determined by a static friction condition. Three proposed o…
▽ More
A state observer design for the inertia wheel pendulum considering static friction of the actuated inertia disc is presented. The frictional force is modeled by the Stribeck effect, with two separate differential equations describing the sticking and non-sticking system, respectively. The transition between the two scenarios is in general determined by a static friction condition. Three proposed observers are designed for both the sticking and non-sticking model. Depending on the probability of the respective model given a current measurement, the more likely is selected for state estimation. The performance is demonstrated on a laboratory demonstrator, where the observers including the proposed probabilistic model selection are compared.
△ Less
Submitted 26 April, 2022;
originally announced April 2022.
-
Energy Consumption and Performance of Heapsort in Hardware and Software
Authors:
Maja H. Kirkeby,
Thomas Krabben,
Mathias Larsen,
Maria B. Mikkelsen,
Tjark Petersen,
Mads Rosendahl,
Martin Schoeberl,
Martin Sundman
Abstract:
In this poster abstract we will report on a case study on implementing the Heapsort algorithm in hardware and software and comparing their time and energy consumption. Our experiment shows that the Hardware implementation is more energy efficient, but slower than the Software implementation due to a low clock frequency. It also indicate that the optimal degree of parallelization differs when optim…
▽ More
In this poster abstract we will report on a case study on implementing the Heapsort algorithm in hardware and software and comparing their time and energy consumption. Our experiment shows that the Hardware implementation is more energy efficient, but slower than the Software implementation due to a low clock frequency. It also indicate that the optimal degree of parallelization differs when optimizing for time compared to optimizing for time.
△ Less
Submitted 7 April, 2022;
originally announced April 2022.
-
Towards Comparing Performance of Algorithms in Hardware and Software
Authors:
Maja H. Kirkeby,
Martin Schoeberl
Abstract:
In this paper, we report on a preliminary investigation of the potential performance gain of programs implemented in field-programmable gate arrays (FPGAs) using a high-level language Chisel compared to ordinary high-level software implementations executed on general-purpose computers and small and cheap computers. FPGAs inherently support parallel evaluations, while sequential computers do not. F…
▽ More
In this paper, we report on a preliminary investigation of the potential performance gain of programs implemented in field-programmable gate arrays (FPGAs) using a high-level language Chisel compared to ordinary high-level software implementations executed on general-purpose computers and small and cheap computers. FPGAs inherently support parallel evaluations, while sequential computers do not. For this preliminary investigation, we have chosen a highly parallelizable program as a case study to show an upper bound of performance gain. The purpose is to demonstrate whether or not programming FPGAs has the potential for performance optimizations of ordinary programs. We have developed and evaluated Conway's Game of Life for an FPGA, a small and cheap computer Raspberry Pi 4, and a MacBook Pro Laptop. We have compared the performance of programs over different input sizes to decide the relative increase in runtime.
△ Less
Submitted 25 May, 2022; v1 submitted 7 April, 2022;
originally announced April 2022.
-
Dynamic Non-Regular Sampling Sensor Using Frequency Selective Reconstruction
Authors:
Markus Jonscher,
Jürgen Seiler,
Daniela Lanz,
Michael Schöberl,
Michel Bätz,
André Kaup
Abstract:
Both a high spatial and a high temporal resolution of images and videos are desirable in many applications such as entertainment systems, monitoring manufacturing processes, or video surveillance. Due to the limited throughput of pixels per second, however, there is always a trade-off between acquiring sequences with a high spatial resolution at a low temporal resolution or vice versa. In this pap…
▽ More
Both a high spatial and a high temporal resolution of images and videos are desirable in many applications such as entertainment systems, monitoring manufacturing processes, or video surveillance. Due to the limited throughput of pixels per second, however, there is always a trade-off between acquiring sequences with a high spatial resolution at a low temporal resolution or vice versa. In this paper, a modified sensor concept is proposed which is able to acquire both a high spatial and a high temporal resolution. This is achieved by dynamically reading out only a subset of pixels in a non-regular order to obtain a high temporal resolution. A full high spatial resolution is then obtained by performing a subsequent three-dimensional reconstruction of the partially acquired frames. The main benefit of the proposed dynamic readout is that for each frame, different sampling points are available which is advantageous since this information can significantly enhance the reconstruction quality of the proposed reconstruction algorithm. Using the proposed dynamic readout strategy, gains in PSNR of up to 8.55 dB are achieved compared to a static readout strategy. Compared to other state-of-the-art techniques like frame rate up-conversion or super-resolution which are also able to reconstruct sequences with both a high spatial and a high temporal resolution, average gains in PSNR of up to 6.58 dB are possible.
△ Less
Submitted 7 April, 2022;
originally announced April 2022.
-
Discrete-time Flatness-based Controller Design using an Implicit Euler-discretization
Authors:
Johannes Diwold,
Bernd Kolar,
Markus Schöberl
Abstract:
In this contribution, we present a constructive method to derive flat sampled-data models for continuous-time flat systems through an implicit Euler-discretization. We show how the sampled-data model can be used subsequently for a flatness-based controller design, and illustrate our results with the well-known planar VTOL aircraft example.
In this contribution, we present a constructive method to derive flat sampled-data models for continuous-time flat systems through an implicit Euler-discretization. We show how the sampled-data model can be used subsequently for a flatness-based controller design, and illustrate our results with the well-known planar VTOL aircraft example.
△ Less
Submitted 8 July, 2022; v1 submitted 15 February, 2022;
originally announced February 2022.
-
On the Exact Linearization and Control of Flat Discrete-time Systems
Authors:
Bernd Kolar,
Johannes Diwold,
Conrad Gstöttner,
Markus Schöberl
Abstract:
The paper addresses the exact linearization of flat nonlinear discrete-time systems by generalized static or dynamic feedbacks which may also depend on forward-shifts of the new input. We first investigate the question which forward-shifts of a given flat output can be chosen in principle as a new input, and subsequently how to actually introduce the new input by a suitable feedback. With respect…
▽ More
The paper addresses the exact linearization of flat nonlinear discrete-time systems by generalized static or dynamic feedbacks which may also depend on forward-shifts of the new input. We first investigate the question which forward-shifts of a given flat output can be chosen in principle as a new input, and subsequently how to actually introduce the new input by a suitable feedback. With respect to the choice of a feasible input, easily verifiable conditions are derived. Introducing such a new input requires a feedback which may in general depend not only on this new input itself but also on its forward-shifts. This is similar to the continuous-time case, where feedbacks which depend on time derivatives of the closed-loop input - and in particular quasi-static ones - have already been used successfully for the exact linearization of flat systems since the nineties of the last century. For systems with a flat output that does not depend on forward-shifts of the input, it is shown how to systematically construct a new input such that the total number of the corresponding forward-shifts of the flat output is minimal. Furthermore, it is shown that in this case the calculation of a linearizing feedback is particularly simple, and the subsequent design of a discrete-time flatness-based tracking control is discussed. The presented theory is illustrated by the discretized models of a wheeled mobile robot and a 3DOF helicopter.
△ Less
Submitted 28 December, 2022; v1 submitted 1 January, 2022;
originally announced January 2022.
-
Tracking Control for $(x,u)$-Flat Systems by Quasi-Static Feedback of Classical States
Authors:
Conrad Gstöttner,
Bernd Kolar,
Markus Schöberl
Abstract:
It is well known that for flat systems the tracking control problem can be solved by utilizing a linearizing quasi-static feedback of generalized states. If measurements (or estimates) of a so-called generalized Brunovský state are available, a linear, decoupled and asymptotically stable tracking error dynamics can be achieved. However, from a practical point of view, it is often desirable to achi…
▽ More
It is well known that for flat systems the tracking control problem can be solved by utilizing a linearizing quasi-static feedback of generalized states. If measurements (or estimates) of a so-called generalized Brunovský state are available, a linear, decoupled and asymptotically stable tracking error dynamics can be achieved. However, from a practical point of view, it is often desirable to achieve the same tracking error dynamics by feedback of a classical state instead of a generalized one. This is due to the fact that the components of a classical state typically correspond to measurable physical quantities, whereas a generalized Brunovský state often contains higher order time derivatives of the (fictitious) flat output which are not directly accessible by measurements. In this paper, a systematic solution for the tracking control problem based on quasi-static feedback and measurements of classical states only is derived for the subclass of $(x,u)$-flat systems.
△ Less
Submitted 31 July, 2024; v1 submitted 25 October, 2021;
originally announced October 2021.
-
Discrete-time Flatness-based Control of a Gantry Crane
Authors:
Johannes Diwold,
Bernd Kolar,
Markus Schöberl
Abstract:
This article addresses the design of a discrete-time flatness-based tracking control for a gantry crane and demonstrates the practical applicability of the approach by measurement results. The required sampled-data model is derived by an Euler-discretization with a prior state transformation in such a way that the flatness of the continuous-time system is preserved. Like in the continuous-time cas…
▽ More
This article addresses the design of a discrete-time flatness-based tracking control for a gantry crane and demonstrates the practical applicability of the approach by measurement results. The required sampled-data model is derived by an Euler-discretization with a prior state transformation in such a way that the flatness of the continuous-time system is preserved. Like in the continuous-time case, the flatness-based controller design is performed in two steps. First, the sampled-data system is exactly linearized by a discrete-time quasi-static state feedback. Subsequently, a further feedback enforces a stable linear tracking error dynamics. To underline its practical relevance, the performance of the novel discrete-time tracking control is compared to the classical continuous-time approach by measurement results from a laboratory setup. In particular, it turns out that the discrete-time controller is significantly more robust with respect to large sampling times. Moreover, it is shown how the discrete-time approach facilitates the design of optimal reference trajectories, and further measurement results are presented.
△ Less
Submitted 19 August, 2021;
originally announced August 2021.
-
Necessary and Sufficient Conditions for the Linearizability of Two-Input Systems by a Two-Dimensional Endogenous Dynamic Feedback
Authors:
Conrad Gstöttner,
Bernd Kolar,
Markus Schöberl
Abstract:
We propose easily verifiable necessary and sufficient conditions for the linearizability of two-input systems by an endogenous dynamic feedback with a dimension of at most two.
We propose easily verifiable necessary and sufficient conditions for the linearizability of two-input systems by an endogenous dynamic feedback with a dimension of at most two.
△ Less
Submitted 28 June, 2021;
originally announced June 2021.
-
Energy-based Control and Observer Design for higher-order infinite-dimensional Port-Hamiltonian Systems
Authors:
Tobias Malzer,
Lukas Ecker,
Markus Schöberl
Abstract:
In this paper, we present a control-design method based on the energy-Casimir method for infinite-dimensional, boundary-actuated port-Hamiltonian systems with two-dimensional spatial domain and second-order Hamiltonian. The resulting control law depends on distributed system states that cannot be measured, and therefore, we additionally design an infinite-dimensional observer by exploiting the por…
▽ More
In this paper, we present a control-design method based on the energy-Casimir method for infinite-dimensional, boundary-actuated port-Hamiltonian systems with two-dimensional spatial domain and second-order Hamiltonian. The resulting control law depends on distributed system states that cannot be measured, and therefore, we additionally design an infinite-dimensional observer by exploiting the port-Hamiltonian system representation. A Kirchhoff-Love plate serves as an example in order to demonstrate the proposed approaches.
△ Less
Submitted 30 July, 2021; v1 submitted 19 April, 2021;
originally announced April 2021.
-
Open-Source Verification with Chisel and Scala
Authors:
Andrew Dobis,
Tjark Petersen,
Kasper Juul Hesse Rasmussen,
Enrico Tolotto,
Hans Jakob Damsgaard,
Simon Thye Andersen,
Richard Lin,
Martin Schoeberl
Abstract:
Performance increase with general-purpose processors has come to a halt. We can no longer depend on Moore's Law to increase computing performance. The only way to achieve higher performance or lower energy consumption is by building domain-specific hardware accelerators. To efficiently design and verify those domain-specific accelerators, we need agile hardware development. One of the main obstacl…
▽ More
Performance increase with general-purpose processors has come to a halt. We can no longer depend on Moore's Law to increase computing performance. The only way to achieve higher performance or lower energy consumption is by building domain-specific hardware accelerators. To efficiently design and verify those domain-specific accelerators, we need agile hardware development. One of the main obstacles when proposing such a modern method is the lack of modern tools to attack it. To be able to verify a design in such a time-constrained development method, one needs to have efficient tools both for design and verification.
This paper thus proposes ChiselVerify, an open-source tool for verifying circuits described in any Hardware Description Language. It builds on top of the Chisel hardware construction language and uses Scala to drive the verification using a testing strategy inspired by the Universal Verification Methodology (UVM) and adapted for designs described in Chisel. ChiselVerify is created based on three key ideas. First, our solution highly increases the productivity of the verification engineer, by allowing hardware testing to be done in a modern high-level programming environment. Second, the framework functions with any hardware description language thanks to the flexibility of Chisel blackboxes. Finally, the solution is well integrated into the existing Chisel universe, making it an extension of currently existing testing libraries.
We implement ChiselVerify in a way inspired by the functionalities found in SystemVerilog. This allows one to use functional coverage, constrained-random verification, bus functional models, transaction-level modeling and much more during the verification process of a design in a contemporary high-level programming ecosystem.
△ Less
Submitted 26 February, 2021;
originally announced February 2021.
-
A Trajectory-Based Approach to Discrete-Time Flatness
Authors:
Johannes Diwold,
Bernd Kolar,
Markus Schöberl
Abstract:
For discrete-time systems, flatness is usually defined by replacing the time-derivatives of the well-known continuous-time definition by forward-shifts. With this definition, the class of flat systems corresponds exactly to the class of systems which can be linearized by a discrete-time endogenous dynamic feedback as it is proposed in the literature. Recently, verifiable necessary and sufficient d…
▽ More
For discrete-time systems, flatness is usually defined by replacing the time-derivatives of the well-known continuous-time definition by forward-shifts. With this definition, the class of flat systems corresponds exactly to the class of systems which can be linearized by a discrete-time endogenous dynamic feedback as it is proposed in the literature. Recently, verifiable necessary and sufficient differential-geometric conditions for this property have been derived. In the present contribution, we make an attempt to take into account also backward-shifts. This extended approach is motivated by the one-to-one correspondence of solutions of flat systems to solutions of a trivial system as it is known from the continuous-time case. If we transfer this idea to the discrete-time case, this leads to an approach which also allows backward-shifts. To distinguish the classical definition with forward-shifts and the approach of the present paper, we refer to the former as forward-flatness. We show that flat systems (in the extended sense with backward-shifts) still share many beneficial properties of forward-flat systems. In particular, they still are reachable/controllable, allow a straightforward planning of trajectories and can be linearized by a certain subclass of dynamic feedbacks.
△ Less
Submitted 22 March, 2021; v1 submitted 15 December, 2020;
originally announced December 2020.
-
A Finite Test for the Linearizability of Two-Input Systems by a Two-Dimensional Endogenous Dynamic Feedback
Authors:
Conrad Gstöttner,
Bernd Kolar,
Markus Schöberl
Abstract:
We propose an algorithmic test to check whether a two-input system is linearizable by an endogenous dynamic feedback with a dimension of at most two. This test furthermore provides a procedure for systematically deriving flat outputs for this class of systems.
We propose an algorithmic test to check whether a two-input system is linearizable by an endogenous dynamic feedback with a dimension of at most two. This test furthermore provides a procedure for systematically deriving flat outputs for this class of systems.
△ Less
Submitted 13 November, 2020;
originally announced November 2020.
-
A Structurally Flat Triangular Form Based on the Extended Chained Form
Authors:
Conrad Gstöttner,
Bernd Kolar,
Markus Schöberl
Abstract:
In this paper, we present a structurally flat triangular form which is based on the extended chained form. We provide a complete geometric characterization of the proposed triangular form in terms of necessary and sufficient conditions for an affine input system with two inputs to be static feedback equivalent to this triangular form. This yields a sufficient condition for an affine input system t…
▽ More
In this paper, we present a structurally flat triangular form which is based on the extended chained form. We provide a complete geometric characterization of the proposed triangular form in terms of necessary and sufficient conditions for an affine input system with two inputs to be static feedback equivalent to this triangular form. This yields a sufficient condition for an affine input system to be flat.
△ Less
Submitted 20 July, 2020;
originally announced July 2020.
-
Linearized Controllability Analysis of Semilinear Partial Differential Equations
Authors:
Bernd Kolar,
Markus Schöberl
Abstract:
It is well-known that the controllability of finite-dimensional nonlinear systems can be established by showing the controllability of the linearized system. However, this classical result does not generalize to infinite-dimensional nonlinear systems. In this paper, we restrict ourselves to semilinear infinite-dimensional systems, and show that the exact controllability of the linearized system im…
▽ More
It is well-known that the controllability of finite-dimensional nonlinear systems can be established by showing the controllability of the linearized system. However, this classical result does not generalize to infinite-dimensional nonlinear systems. In this paper, we restrict ourselves to semilinear infinite-dimensional systems, and show that the exact controllability of the linearized system implies exact controllability of the nonlinear system. The restrictions concerning the nonlinear operator are similar to those that can be found in the literature about the linearized stability analysis of semilinear systems.
△ Less
Submitted 26 May, 2020;
originally announced May 2020.
-
Stability Analysis of the Observer Error of an In-Domain Actuated Vibrating String
Authors:
Tobias Malzer,
Hubert Rams,
Bernd Kolar,
Markus Schöberl
Abstract:
In this paper, the behaviour of the observer error of an in-domain actuated vibrating string, where the observer system has been designed based on energy considerations exploiting a port-Hamiltonian system representation for infinite-dimensional systems, is analysed. Thus, the observer-error dynamics are reformulated as an abstract Cauchy problem, which enables to draw conclusions regarding the we…
▽ More
In this paper, the behaviour of the observer error of an in-domain actuated vibrating string, where the observer system has been designed based on energy considerations exploiting a port-Hamiltonian system representation for infinite-dimensional systems, is analysed. Thus, the observer-error dynamics are reformulated as an abstract Cauchy problem, which enables to draw conclusions regarding the well-posedness of the observer-error system. Furthermore, we show that the observer error is asymptotically stable by applying LaSalle's invariance principle for infinite-dimensional systems.
△ Less
Submitted 1 May, 2020;
originally announced May 2020.
-
A Normal Form for Two-Input Flat Nonlinear Discrete-Time Systems
Authors:
Johannes Diwold,
Bernd Kolar,
Markus Schöberl
Abstract:
We show that every flat nonlinear discrete-time system with two inputs can be transformed into a structurally flat normal form by state- and input transformations. This normal form has a triangular structure and allows to read off the flat output, as well as a systematic construction of the parameterization of all system variables by the flat output and its forward-shifts. For flat continuous-time…
▽ More
We show that every flat nonlinear discrete-time system with two inputs can be transformed into a structurally flat normal form by state- and input transformations. This normal form has a triangular structure and allows to read off the flat output, as well as a systematic construction of the parameterization of all system variables by the flat output and its forward-shifts. For flat continuous-time systems no comparable normal form exist.
△ Less
Submitted 20 April, 2020;
originally announced April 2020.
-
Embedded-physics machine learning for coarse-graining and collective variable discovery without data
Authors:
Markus Schöberl,
Nicholas Zabaras,
Phaedon-Stelios Koutsourelakis
Abstract:
We present a novel learning framework that consistently embeds underlying physics while bypassing a significant drawback of most modern, data-driven coarse-grained approaches in the context of molecular dynamics (MD), i.e., the availability of big data. The generation of a sufficiently large training dataset poses a computationally demanding task, while complete coverage of the atomistic configura…
▽ More
We present a novel learning framework that consistently embeds underlying physics while bypassing a significant drawback of most modern, data-driven coarse-grained approaches in the context of molecular dynamics (MD), i.e., the availability of big data. The generation of a sufficiently large training dataset poses a computationally demanding task, while complete coverage of the atomistic configuration space is not guaranteed. As a result, the explorative capabilities of data-driven coarse-grained models are limited and may yield biased "predictive" tools. We propose a novel objective based on reverse Kullback-Leibler divergence that fully incorporates the available physics in the form of the atomistic force field. Rather than separating model learning from the data-generation procedure - the latter relies on simulating atomistic motions governed by force fields - we query the atomistic force field at sample configurations proposed by the predictive coarse-grained model. Thus, learning relies on the evaluation of the force field but does not require any MD simulation. The resulting generative coarse-grained model serves as an efficient surrogate model for predicting atomistic configurations and estimating relevant observables. Beyond obtaining a predictive coarse-grained model, we demonstrate that in the discovered lower-dimensional representation, the collective variables (CVs) are related to physicochemical properties, which are essential for gaining understanding of unexplored complex systems. We demonstrate the algorithmic advances in terms of predictive ability and the physical meaning of the revealed CVs for a bimodal potential energy function and the alanine dipeptide.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
Energy-Based In-Domain Control and Observer Design for Infinite-Dimensional Port-Hamiltonian Systems
Authors:
Tobias Malzer,
Jesús Toledo,
Yann Le Gorrec,
Markus Schöberl
Abstract:
In this paper, we consider infinite-dimensional port-Hamiltonian systems with in-domain actuation by means of an approach based on Stokes-Dirac structures as well as in a framework that exploits an underlying jet-bundle structure. In both frameworks, a dynamic controller based on the energy-Casimir method is derived in order to stabilise certain equilibrias. Moreover, we propose distributed-parame…
▽ More
In this paper, we consider infinite-dimensional port-Hamiltonian systems with in-domain actuation by means of an approach based on Stokes-Dirac structures as well as in a framework that exploits an underlying jet-bundle structure. In both frameworks, a dynamic controller based on the energy-Casimir method is derived in order to stabilise certain equilibrias. Moreover, we propose distributed-parameter observers deduced by exploiting damping injection for the observer error. Finally, we compare the approaches by means of an in-domain actuated vibrating string and show the equivalence of the control schemes derived in both frameworks.
△ Less
Submitted 5 February, 2020;
originally announced February 2020.
-
On a Flat Triangular Form Based on the Extended Chained Form
Authors:
Conrad Gstöttner,
Bernd Kolar,
Markus Schöberl
Abstract:
In this paper, we present a structurally flat triangular form which is based on the extended chained form. We provide necessary and sufficient conditions for an affine input system with two inputs to be static feedback equivalent to the proposed triangular form, and thus a sufficient condition for an affine input system to be flat.
In this paper, we present a structurally flat triangular form which is based on the extended chained form. We provide necessary and sufficient conditions for an affine input system with two inputs to be static feedback equivalent to the proposed triangular form, and thus a sufficient condition for an affine input system to be flat.
△ Less
Submitted 25 July, 2020; v1 submitted 4 February, 2020;
originally announced February 2020.
-
On the Linearization of Flat Two-Input Systems by Prolongations and Applications to Control Design
Authors:
Conrad Gstöttner,
Bernd Kolar,
Markus Schöberl
Abstract:
In this paper we consider $(x,u)$-flat nonlinear control systems with two inputs, and show that every such system can be rendered static feedback linearizable by prolongations of a suitably chosen control. This result is not only of theoretical interest, but has also important implications on the design of flatness based tracking controls. We show that a tracking control based on quasi-static stat…
▽ More
In this paper we consider $(x,u)$-flat nonlinear control systems with two inputs, and show that every such system can be rendered static feedback linearizable by prolongations of a suitably chosen control. This result is not only of theoretical interest, but has also important implications on the design of flatness based tracking controls. We show that a tracking control based on quasi-static state feedback can always be designed in such a way that only measurements of a (classical) state of the system, and not measurements of a generalized Brunovsky state, as reported in the literature, are required.
△ Less
Submitted 16 October, 2019;
originally announced October 2019.
-
Necessary and Sufficient Conditions for Difference Flatness
Authors:
Bernd Kolar,
Johannes Diwold,
Markus Schöberl
Abstract:
We show that the flatness of a nonlinear discrete-time system can be checked by computing a unique sequence of involutive distributions. The well-known test for static feedback linearizability is included as a special case. Since the computation of the sequence of distributions requires only the solution of algebraic equations, it allows an efficient implementation in a computer algebra program. I…
▽ More
We show that the flatness of a nonlinear discrete-time system can be checked by computing a unique sequence of involutive distributions. The well-known test for static feedback linearizability is included as a special case. Since the computation of the sequence of distributions requires only the solution of algebraic equations, it allows an efficient implementation in a computer algebra program. In case of a positive result, a flat output can be obtained by straightening out the involutive distributions with the Frobenius theorem.
△ Less
Submitted 28 December, 2022; v1 submitted 4 September, 2019;
originally announced September 2019.
-
On Structural Invariants in the Energy-Based Control of Infinite-Dimensional Port-Hamiltonian Systems with In-Domain Actuation
Authors:
Tobias Malzer,
Hubert Rams,
Markus Schöberl
Abstract:
This contribution deals with energy-based in-domain control of systems governed by partial differential equations with spatial domain up to dimension two. We exploit a port-Hamiltonian system description based on an underlying jet-bundle formalism, where we restrict ourselves to systems with 2nd-order Hamiltonian. A certain power-conserving interconnection enables the application of a dynamic cont…
▽ More
This contribution deals with energy-based in-domain control of systems governed by partial differential equations with spatial domain up to dimension two. We exploit a port-Hamiltonian system description based on an underlying jet-bundle formalism, where we restrict ourselves to systems with 2nd-order Hamiltonian. A certain power-conserving interconnection enables the application of a dynamic control law based on structural invariants. Furthermore, we use various examples such as beams and plates with in-domain actuation to demonstrate the capability of our approach.
△ Less
Submitted 11 September, 2019; v1 submitted 10 July, 2019;
originally announced July 2019.
-
Differential-Geometric Decomposition of Flat Nonlinear Discrete-Time Systems
Authors:
Bernd Kolar,
Markus Schöberl,
Johannes Diwold
Abstract:
We prove that every flat nonlinear discrete-time system can be decomposed by coordinate transformations into a smaller-dimensional subsystem and an endogenous dynamic feedback. For flat continuous-time systems, no comparable result is available. The advantage of such a decomposition is that the complete system is flat if and only if the subsystem is flat. Thus, by repeating the decomposition at mo…
▽ More
We prove that every flat nonlinear discrete-time system can be decomposed by coordinate transformations into a smaller-dimensional subsystem and an endogenous dynamic feedback. For flat continuous-time systems, no comparable result is available. The advantage of such a decomposition is that the complete system is flat if and only if the subsystem is flat. Thus, by repeating the decomposition at most $n-1$ times, where $n$ is the dimension of the state space, the flatness of a discrete-time system can be checked in an algorithmic way. If the system is flat, then the algorithm yields a flat output which only depends on the state variables. Hence, every flat discrete-time system has a flat output which does not depend on the inputs and their forward-shifts. Again, no comparable result for flat continuous-time systems is available. The algorithm requires in each decomposition step the construction of state- and input transformations, which are obtained by straightening out certain vector fields or distributions with the flow-box theorem or the Frobenius theorem. Thus, from a computational point of view, only the calculation of flows and the solution of algebraic equations is needed. We illustrate our results by two examples.
△ Less
Submitted 29 June, 2021; v1 submitted 1 July, 2019;
originally announced July 2019.
-
System-theoretic Analysis of Nonlinear Infinite-dimensional Systems with Generalized Symmetries
Authors:
Bernd Kolar,
Markus Schöberl
Abstract:
Symmetry groups allow to transform solutions of differential equations continuously into other solutions. This property can be used for the observability analysis of infinite-dimensional systems with input and output. In this contribution, we extend an existing approach, which is based on vertical classical symmetries, to non-vertical classical symmetries and generalized symmetries. This makes the…
▽ More
Symmetry groups allow to transform solutions of differential equations continuously into other solutions. This property can be used for the observability analysis of infinite-dimensional systems with input and output. In this contribution, we extend an existing approach, which is based on vertical classical symmetries, to non-vertical classical symmetries and generalized symmetries. This makes the approach applicable to a much larger class of systems, since many nonlinear systems do not possess any vertical classical symmetries.
△ Less
Submitted 23 May, 2019;
originally announced May 2019.
-
Energy-Based In-Domain Control of a Piezo-Actuated Euler-Bernoulli Beam
Authors:
Tobias Malzer,
Hubert Rams,
Markus Schöberl
Abstract:
The main contribution of this paper is the extension of the well-known boundary-control strategy based on structural invariants to the control of infinite-dimensional systems with in-domain actuation. The systems under consideration, governed by partial differential equations, are described in a port-Hamiltonian setting making heavy use of the underlying jet-bundle structure, where we restrict our…
▽ More
The main contribution of this paper is the extension of the well-known boundary-control strategy based on structural invariants to the control of infinite-dimensional systems with in-domain actuation. The systems under consideration, governed by partial differential equations, are described in a port-Hamiltonian setting making heavy use of the underlying jet-bundle structure, where we restrict ourselves to systems with 1-dimensional spatial domain and 2nd-order Hamiltonian. To show the applicability of the proposed approach, we develop a dynamic controller for an Euler-Bernoulli beam actuated with a pair of piezoelectric patches and conclude the article with simulation results.
△ Less
Submitted 21 November, 2018;
originally announced November 2018.
-
On the Calculation of Differential Parametrizations for the Feedforward Control of an Euler-Bernoulli Beam
Authors:
Bernd Kolar,
Nicole Gehring,
Markus Schöberl
Abstract:
This contribution is concerned with the motion planning for underactuated Euler-Bernoulli beams. The design of the feedforward control is based on a differential parametrization of the beam, where all system variables are expressed in terms of a free time function and its infinitely many derivatives. In the paper, we derive an advantageous representation of the set of all formal differential param…
▽ More
This contribution is concerned with the motion planning for underactuated Euler-Bernoulli beams. The design of the feedforward control is based on a differential parametrization of the beam, where all system variables are expressed in terms of a free time function and its infinitely many derivatives. In the paper, we derive an advantageous representation of the set of all formal differential parametrizations of the beam. Based on this representation, we identify a well-known parametrization, for the first time without the use of operational calculus. This parametrization is a flat one, as the corresponding series representations of the system variables converge. Furthermore, we discuss a formal differential parametrization where the free time function allows a physical interpretation as the bending moment at the unactuated boundary. Even though the corresponding series do not converge, a numerical simulation using a least term summation illustrates the usefulness of this formal differential parametrization for the motion planning.
△ Less
Submitted 31 October, 2018;
originally announced October 2018.
-
Predictive Collective Variable Discovery with Deep Bayesian Models
Authors:
Markus Schöberl,
Nicholas Zabaras,
Phaedon-Stelios Koutsourelakis
Abstract:
Extending spatio-temporal scale limitations of models for complex atomistic systems considered in biochemistry and materials science necessitates the development of enhanced sampling methods. The potential acceleration in exploring the configurational space by enhanced sampling methods depends on the choice of collective variables (CVs). In this work, we formulate the discovery of CVs as a Bayesia…
▽ More
Extending spatio-temporal scale limitations of models for complex atomistic systems considered in biochemistry and materials science necessitates the development of enhanced sampling methods. The potential acceleration in exploring the configurational space by enhanced sampling methods depends on the choice of collective variables (CVs). In this work, we formulate the discovery of CVs as a Bayesian inference problem and consider the CVs as hidden generators of the full-atomistic trajectory. The ability to generate samples of the fine-scale atomistic configurations using limited training data allows us to compute estimates of observables as well as our probabilistic confidence on them. The methodology is based on emerging methodological advances in machine learning and variational inference. The discovered CVs are related to physicochemical properties which are essential for understanding mechanisms especially in unexplored complex systems. We provide a quantitative assessment of the CVs in terms of their predictive ability for alanine dipeptide (ALA-2) and ALA-15 peptide.
△ Less
Submitted 16 January, 2019; v1 submitted 18 September, 2018;
originally announced September 2018.
-
Energy-Based Control of Nonlinear Infinite-Dimensional Port-Hamiltonian Systems with Dissipation
Authors:
Tobias Malzer,
Hubert Rams,
Markus Schöberl
Abstract:
In this paper, we consider nonlinear PDEs in a port-Hamiltonian setting based on an underlying jet-bundle structure. We restrict ourselves to systems with 1-dimensional spatial domain and 2nd-order Hamiltonian including certain dissipation models that can be incorporated in the port- Hamiltonian framework by means of appropriate differential operators. For this system class, energy-based control b…
▽ More
In this paper, we consider nonlinear PDEs in a port-Hamiltonian setting based on an underlying jet-bundle structure. We restrict ourselves to systems with 1-dimensional spatial domain and 2nd-order Hamiltonian including certain dissipation models that can be incorporated in the port- Hamiltonian framework by means of appropriate differential operators. For this system class, energy-based control by means of Casimir functionals as well as energy balancing is analysed and demonstrated using a nonlinear Euler-Bernoulli beam.
△ Less
Submitted 14 July, 2018;
originally announced July 2018.
-
Application of Symmetry Groups to the Observability Analysis of Partial Differential Equations
Authors:
Bernd Kolar,
Hubert Rams,
Markus Schöberl
Abstract:
Symmetry groups of PDEs allow to transform solutions continuously into other solutions. In this paper, we use this property for the observability analysis of nonlinear PDEs with input and output. Based on a differential-geometric representation of the nonlinear system, we derive conditions for the existence of special symmetry groups that do not change the trajectories of the input and the output.…
▽ More
Symmetry groups of PDEs allow to transform solutions continuously into other solutions. In this paper, we use this property for the observability analysis of nonlinear PDEs with input and output. Based on a differential-geometric representation of the nonlinear system, we derive conditions for the existence of special symmetry groups that do not change the trajectories of the input and the output. If such a symmetry group exists, every solution can be transformed into other solutions with the same input and output trajectories but different initial conditions, and this property can be used to prove that the system is not observable. We also put emphasis on showing how the approach simplifies for linear systems, and how it is related to the well-known observability concepts from infinite-dimensional linear systems theory.
△ Less
Submitted 10 April, 2018; v1 submitted 5 April, 2018;
originally announced April 2018.
-
On the extraction of the boundary conditions and the boundary ports in second-order field theories
Authors:
Markus Schöberl,
Kurt Schlacher
Abstract:
In this paper we consider second-order field theories in a variational setting. From the variational principle the Euler-Lagrange equations follow in an unambiguous way, but it is well known that this is not true for the Cartan form. This has also consequences on the derivation of the boundary conditions when non trivial variations are allowed on the boundary. By posing extra conditions on the set…
▽ More
In this paper we consider second-order field theories in a variational setting. From the variational principle the Euler-Lagrange equations follow in an unambiguous way, but it is well known that this is not true for the Cartan form. This has also consequences on the derivation of the boundary conditions when non trivial variations are allowed on the boundary. By posing extra conditions on the set of possible boundary terms we exploit the degree of freedom in the Cartan form to extract physical meaningful boundary expressions. The same mathematical machinery will be applied to derive the boundary ports in a Hamiltonian representation of the partial differential equations which is crucial for energy based control approaches. Our results will be visualized for mechanical systems such as beam and plate models.
△ Less
Submitted 25 January, 2018;
originally announced January 2018.
-
Predictive Coarse-Graining
Authors:
Markus Schöberl,
Nicholas Zabaras,
Phaedon-Stelios Koutsourelakis
Abstract:
We propose a data-driven, coarse-graining formulation in the context of equilibrium statistical mechanics. In contrast to existing techniques which are based on a fine-to-coarse map, we adopt the opposite strategy by prescribing a probabilistic coarse-to-fine map. This corresponds to a directed probabilistic model where the coarse variables play the role of latent generators of the fine scale (all…
▽ More
We propose a data-driven, coarse-graining formulation in the context of equilibrium statistical mechanics. In contrast to existing techniques which are based on a fine-to-coarse map, we adopt the opposite strategy by prescribing a probabilistic coarse-to-fine map. This corresponds to a directed probabilistic model where the coarse variables play the role of latent generators of the fine scale (all-atom) data. From an information-theoretic perspective, the framework proposed provides an improvement upon the relative entropy method and is capable of quantifying the uncertainty due to the information loss that unavoidably takes place during the CG process. Furthermore, it can be readily extended to a fully Bayesian model where various sources of uncertainties are reflected in the posterior of the model parameters. The latter can be used to produce not only point estimates of fine-scale reconstructions or macroscopic observables, but more importantly, predictive posterior distributions on these quantities. Predictive posterior distributions reflect the confidence of the model as a function of the amount of data and the level of coarse-graining. The issues of model complexity and model selection are seamlessly addressed by employing a hierarchical prior that favors the discovery of sparse solutions, revealing the most prominent features in the coarse-grained model. A flexible and parallelizable Monte Carlo - Expectation-Maximization (MC-EM) scheme is proposed for carrying out inference and learning tasks. A comparative assessment of the proposed methodology is presented for a lattice spin system and the SPC/E water model.
△ Less
Submitted 28 September, 2016; v1 submitted 26 May, 2016;
originally announced May 2016.
-
Analysis and Comparison of Port-Hamiltonian Formulations for Field Theories - demonstrated by means of the Mindlin plate
Authors:
Markus Schöberl,
Andreas Siuka
Abstract:
This paper focuses on the port-Hamiltonian formulation of systems described by partial differential equations. Based on a variational principle we derive the equations of motion as well as the boundary conditions in the well-known Lagrangian framework. Then it is of interest to reformulate the equations of motion in a port-Hamiltonian setting, where we compare the approach based on Stokes-Dirac st…
▽ More
This paper focuses on the port-Hamiltonian formulation of systems described by partial differential equations. Based on a variational principle we derive the equations of motion as well as the boundary conditions in the well-known Lagrangian framework. Then it is of interest to reformulate the equations of motion in a port-Hamiltonian setting, where we compare the approach based on Stokes-Dirac structures to a Hamiltonian setting that makes use of the involved bundle structure similar to the one on which the variational approach is based. We will use the Mindlin plate, a distributed parameter system with spatial domain of dimension two, as a running example.
△ Less
Submitted 29 October, 2012;
originally announced October 2012.
-
On an implicit triangular decomposition of nonlinear control systems that are 1-flat - a constructive approach
Authors:
Markus Schöberl,
Kurt Schlacher
Abstract:
We study the problem to provide a triangular form based on implicit differential equations for non-linear multi-input systems with respect to the flatness property. Furthermore, we suggest a constructive method for the transformation of a given system into that special triangular shape, if possible. The well known Brunovsky form, which is applicable with regard to the exact linearization problem,…
▽ More
We study the problem to provide a triangular form based on implicit differential equations for non-linear multi-input systems with respect to the flatness property. Furthermore, we suggest a constructive method for the transformation of a given system into that special triangular shape, if possible. The well known Brunovsky form, which is applicable with regard to the exact linearization problem, can be seen as special case of this implicit triangular form. A key tool in our investigation will be the construction of Cauchy characteristic vector fields that additionally annihilate certain codistributions. In adapted coordinates this construction allows to single out variables whose time-evolution can be derived without any integration.
△ Less
Submitted 5 March, 2014; v1 submitted 11 September, 2012;
originally announced September 2012.
