Related papers: Thomas decompositions of parametric nonlinear cont…
This paper addresses problems on the structural design of control systems taking explicitly into consideration the possible application to large-scale systems. We provide an efficient and unified framework to solve the following major…
We present an adaptation of the so-called structural method \cite{CMM23} for Hamiltonian systems, and redesign the method for this specific context, which involves two coupled differential systems. Structural schemes decompose the problem…
In this paper we are going to make an analytical and numerical analysis for the Thomas system. Physically, this system describes a particle, driving by a system of oscillators, dissipated by a dissipation term b > 0. Mathematically, this…
We develop a method to control discrete-time systems with constant but initially unknown parameters from linear temporal logic (LTL) specifications. We introduce the notions of (non-deterministic) parametric and adaptive transition systems…
We consider a terminal control problem for processes governed by a nonlinear system of fractional ODEs. In order to show existence of the control, we first consider the linear counterpart of the system and reprove a number of classical…
Nonlinear dynamical systems are complex and typically only simple systems can be analytically studied. In applications, these systems are usually defined with a set of tunable parameters and as the parameters are varied the system response…
We investigate the possible origin of hierarchical structures in complex systems describable in terms of a finite and small number of parameters which control the behavioral pattern at each level of organization. We argue that the…
Discrete control systems, as considered here, refer to the control theory of discrete-time Lagrangian or Hamiltonian systems. These discrete-time models are based on a discrete variational principle, and are part of the broader field of…
This is a continuation of the work initiated in a previous paper on so-called driven cofactor systems, which are partially decoupling second-order differential equations of a special kind. The main purpose in that paper was to obtain an…
Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growing interest in the use of symbolic models as a tool for mitigating…
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models are very powerful when dealing with physical phenomena, they…
We report a method for describing plasticity in a broad class of amorphous materials. The method is based on nonlinear (geometric) deformation theory allowing the separation of the plastic deformation from the general deformation tensor.…
This set of theories presents a formalisation in Isabelle/HOL+Isar of data dependencies between components. The approach allows to analyse system structure oriented towards efficient checking of system: it aims at elaborating for a concrete…
This work primarily focuses on an operator inference methodology aimed at constructing low-dimensional dynamical models based on a priori hypotheses about their structure, often informed by established physics or expert insights. Stability…
The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for…
This paper presents a new approach to distributed controller design that exploits a partial-structure representation of linear time invariant systems to characterize the structure of a system. This partial-structure representation, called…
In a common experimental setting, the behaviour of a noisy dynamical system is monitored in response to manipulations of one or more control parameters. Here, we introduce a structured model to describe parametric changes in qualitative…
Topological constraint theory has become an increasingly popular tool to predict the compositional dependence of glass properties or pinpoint promising compositions with tailored functionalities. This approach reduces complex disordered…
An experimental method has been developed to locate unstable equilibria of nonlinear structures quasi-statically. The technique involves loading a structure by application of either a force or a displacement at a main actuation point, while…
Differential passivity is a property that allows to check with a pointwise criterion that a system is incrementally passive, a property that is relevant to study interconnected systems in the context of regulation, synchronization, and…