Hybrid decentralized maximum entropy control for large-scale dynamical systems

In the analysis of complex, large-scale dynamical systems it is often essential to decompose the overall dynamical system into a collection of interacting subsystems. Because of implementation constraints, cost, and reliability considerations, a decentralized controller architecture is often required for controlling large-scale interconnected dynamical systems. In this paper, a novel class of fixed-order, energy-based hybrid decentralized controllers is proposed as a means for achieving enhanced energy dissipation in large-scale lossless and dissipative dynamical systems. These dynamic decentralized controllers combine a logical switching architecture with continuous dynamics to guarantee that the system plant energy is strictly decreasing across switchings. The general framework leads to hybrid closed-loop systems described by impulsive differential equations. In addition, we construct hybrid dynamic controllers that guarantee that each subsystem–subcontroller pair of the hybrid closed-loop system is consistent with basic thermodynamic principles. Special cases of energy-based hybrid controllers involving state-dependent switching are described, and an illustrative combustion control example is given to demonstrate the efficacy of the proposed approach.     

ASYMPTOTIC SOLUTION OF SINGULARLY PERTURBED HYBRID DYNAMICAL SYSTEMS

In this paper, we consider a class of optimal control problem for the singularly perturbed hybrid dynamical systems. By means of variational method, we obtain the necessary conditions of the hybrid dynamical systems. Meanwhile, the existence of solution for the hybrid dynamical system is proved by the sewing method and the uniformly valid asymptotic expansion of the optimal trajectory is constructed by the boundary function method. Finally,an example is presented to illustrate the result.     

Control vector Lyapunov functions for large-scale impulsive dynamical systems

Vector Lyapunov theory has been developed to weaken the hypothesis of standard Lyapunov theory in order to enlarge the class of Lyapunov functions that can be used for analyzing system stability. In this paper, we provide generalizations to the recent extensions of vector Lyapunov theory for continuous-time systems to address stability and control design of impulsive dynamical systems via vector Lyapunov functions. Specifically, we provide a generalized comparison principle involving hybrid comparison dynamics that are dependent on the comparison system states as well as the nonlinear impulsive dynamical system states. Furthermore, we develop stability results for impulsive dynamical systems that involve vector Lyapunov functions and hybrid comparison inequalities. Based on these results, we show that partial stability for state-dependent impulsive dynamical systems can be addressed via vector Lyapunov functions. Furthermore, we extend the recently developed notion of control vector Lyapunov functions to impulsive dynamical systems. Using control vector Lyapunov functions, we construct a universal hybrid decentralized feedback stabilizer for a decentralized affine in the control nonlinear impulsive dynamical system that possesses guaranteed gain and sector margins in each decentralized input channel. These results are then used to develop hybrid decentralized controllers for large-scale impulsive dynamical systems with robustness guarantees against full modeling and input uncertainty.     

Stability and robustness of quasi-linear impulsive hybrid systems

Both hybrid dynamical systems and impulsive dynamical systems are studied extensively in the literature. However, impulsive hybrid systems are not yet well studied. Nonetheless, many physical systems exhibit both system switching and impulsive jump phenomena. This paper investigates stability and robust stability of a class of quasi-linear impulsive hybrid systems by using the methods of Lyapunov functions and Riccati inequalities. Sufficient conditions for stability and robust stability of those systems are established. Some examples are given to illustrate the applicability of our results.     

On the expressiveness and decidability of o-minimal hybrid systems

This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete components can be decoupled, and hence, the problem reduces in building a finite symbolic dynamical system for the continuous dynamics of each location. We show that this can be done for a quite general class of hybrid systems defined on o-minimal structures. In particular, we recover the main result of a paper by G. Lafferriere, G.J. Pappas, and S. Sastry, on o-minimal hybrid systems. We also provide an analysis and extension of results on decidability and complexity of problems and constructions related to o-minimal hybrid systems.     

Hybrid dynamical systems with controlled discrete transitions

This invited survey focuses on a new class of systems–hybrid dynamical systems with controlled discrete transitions. A type of system behavior referred to as the controlled infinitesimal dynamics is shown to arise in systems with widely divergent dynamic structures and application domains. This type of behavior is demonstrated to give rise to a new dynamic mode in hybrid system evolution–a controlled discrete transition. Conceptual and analytical frameworks for modeling of and controller synthesis for such transitions are detailed for two systems classes: one requiring bumpless switching among controllers with different properties, and the other–exhibiting single controlled impacts and controlled impact sequences under collision with constraints. The machinery developed for the latter systems is also shown to be capable of analysing the behavior of difficult to model systems characterized by accumulation points, or Zeno-type behavior, and unique system motion extensions beyond them in the form of sliding modes along the constraint boundary. The examples considered demonstrate that dynamical systems with controlled discrete transitions constitute a general class of hybrid systems.     

Online optimization of LTI systems under persistent attacks: Stability,tracking, and robustness

We study the stability properties of a closed-loop system composed of a dynamical plant and a feedback controller, the latter generating control signals that can be compromised by a malicious attacker. We consider two classes of feedback controllers: a static output-feedback controller, and a dynamical gradient-flow controller that seeks to steer the output of the plant towards the solution of a convex optimization problem. In both cases, we analyze the stability properties of the closed-loop system under a class of switching attacks that persistently modify the control inputs generated by the controllers. Our stability analysis leverages the framework of hybrid dynamical systems, Lyapunov-based arguments for switching systems with unstable modes, and singular perturbation theory. Our results reveal that, under a suitable time-scale separation between plant and controllers, the stability of the interconnected system can be preserved when the attack occurs with “sufficiently low frequency” in any bounded time interval. We present simulation results in a power-grid example that corroborate the technical findings.     

The medium access control problem for wireless communication networks modelled as hybrid dynamical systems

The paper considers the medium access control problem for a class of wireless communication networks. We apply mathematical models in terms of hybrid dynamical systems to analyze such networks. We introduce the concept of stabilizability for such systems which guarantees that any data packet in the wireless network will reach its destination within finite time. We obtain conditions for a wireless communication network to be stabilizable.     

Approximability of nonlinear affine control systems

This paper focuses on a strong approximability property for nonlinear affine control systems. We consider control processes governed by ordinary differential equations (ODEs) and study an initial system and the associated generalized system. Our theoretical approach makes it possible to prove a strong approximability result for the above dynamical systems. The latter can be effectively applied to some classes of variable structure and hybrid control systems. In particular, this paper deals with applications of the strong approximability property obtained to the conventional sliding mode processes and to hybrid control systems with autonomous location transitions. We also take into consideration some optimal control problems for the above class of hybrid systems.     

Energy dissipating hybrid control for impulsive dynamical systems

A novel class of fixed-order, energy-based hybrid controllers is proposed as a means for achieving enhanced energy dissipation in nonsmooth Euler–Lagrange, hybrid port-controlled Hamiltonian, and lossless impulsive dynamical systems. These dynamic controllers combine a logical switching architecture with hybrid dynamics to guarantee that the system plant energy is strictly decreasing across switchings. The general framework leads to hybrid closed-loop systems described by impulsive differential equations. Special cases of energy-based hybrid controllers involving state-dependent switching are described, and an illustrative numerical example is given to demonstrate the efficacy of the proposed approach.     

Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems

The notion of Lyapunov function plays a key role in the design and verification of dynamical systems, as well as hybrid and cyber-physical systems. In this paper, to analyze the asymptotic stability of a dynamical system, we generalize standard Lyapunov functions to relaxed Lyapunov functions (RLFs), by considering higher order Lie derivatives. Furthermore, we present a method for automatically discovering polynomial RLFs for polynomial dynamical systems (PDSs). Our method is relatively complete in the sense that it is able to discover all polynomial RLFs with a given predefined template for any PDS. Therefore it can also generate all polynomial RLFs for the PDS by enumerating all polynomial templates.     

Limit cycles and chaotic invariant sets in autonomous hybrid planar systems

This paper demonstrates that complex dynamical behaviors such as limit cycles and chaotic invariant sets can exist in some simple autonomous hybrid planar systems governed by simple transition laws.     

Linear estimate of the number of limit cycles for a class of non-linear systems

A dynamic system has a finite number of limit cycles. However, finding the upper bound of the number of limit cycles is an open problem for general non-linear dynamical systems. In this paper, we investigated a class of non-linear systems under perturbations. We proved that the upper bound of the number of zeros of the related elliptic integrals of the given system is 7n + 5 including multiple zeros, which also gives the upper bound of the number of limit cycles for the given system.     

Robust tube-based MPC of constrained piecewise affine systems with bounded additive disturbances

In this article, we propose a robust tube-based MPC formulation for a class of hybrid systems, namely autonomously switched PWA systems, with bounded additive disturbances. The term tube-based refers to those control techniques whose objective is to maintain all possible trajectories of the uncertain system inside a tube which is a set around the nominal (or reference) system trajectory, that is free from disturbances. Common methods in tube-based control systems consider an error dynamical system as the difference between the state of the nominal system and the state of the perturbed system. However, this definition of the error dynamical system leads to a complicated switched affine system for PWA systems. Therefore, we use a new notion of the reference system similar to the nominal system except that the switching between the various modes of the PWA system is driven by the state of the real system. Using this reference system instead of the nominal system leads us to an error dynamical system that can be modeled as a switched linear system. We employ a switched linear controller to stabilize this error system under arbitrary switching. This auxiliary controller forces the states of the uncertain system to remain in a tube confined to the invariant set around the state of the reference system. We add new constraints and tighten some other constraints of the nominal hybrid MPC for the reference system, in order to ensure convergence of the uncertain system and to guarantee robust exponential stability of the closed-loop system.     

On optimal control problems of a class of impulsive switching systems with terminal states constraints

The global optimal control problem is proposed for a special class of hybrid dynamical systems, i.e. impulsive switching systems. Then the necessary condition of the above problem, the minimum principle, is given. Ekeland’s variational principle and the matrix cost functional structure expression are utilized in the process of the proof. Based on the main result, a special linear hybrid impulsive and switching system (HISS) is illustrated and the optimal control algorithm is presented. Moreover, the cases of pure impulsive systems and pure switched systems are included in this paper.     

Periodic orbits for perturbations of piecewise linear systems

We consider the existence of periodic orbits in a class of three-dimensional piecewise linear systems. Firstly, we describe the dynamical behavior of a non-generic piecewise linear system which has two equilibria and one two-dimensional invariant manifold foliated by periodic orbits. The aim of this work is to study the periodic orbits of the continuum that persist under a piecewise linear perturbation of the system. In order to analyze this situation, we build a real function of real variable whose zeros are related to the limit cycles that remain after the perturbation. By using this function, we state some results of existence and stability of limit cycles in the perturbed system, as well as results of bifurcations of limit cycles. The techniques presented are similar to the Melnikov theory for smooth systems and the method of averaging.     

Counteracting the dynamical degradation of digital chaos via hybrid control

Chaotic systems would degrade owing to finite computing precisions, and such degradation often seriously affects the performance of digital chaos-based applications. In this paper, a chaotification method is proposed to solve the dynamical degradation of digital chaotic systems based on a hybrid structure, where a continuous chaotic system is applied to control the digital chaotic system, and a unidirectional coupling controller that combines a linear external state control with a modular function is designed. Moreover, we proof rigorously that a class of digital chaotic systems can be driven to be chaotic in the sense that the system is sensitive to initial conditions. Different from the existing remedies, this method can recover the dynamical properties of system, and even make some properties better than those of the original chaotic system. Thus, this new approach can be applied to the fields of chaotic cryptography and secure communication.     

Time-triggered and event-triggered control of switched affine systems via a hybrid dynamical approach

This paper focuses on the design of both periodic time- and event-triggered control laws of switched affine systems using a hybrid dynamical system approach. The novelties of this paper rely on the hybrid dynamical representation of this class of systems and on a free-matrix min-projection control, which relaxes the structure of the usual Lyapunov matrix-based min-projection control. This contribution also presents an extension of the usual periodic time-triggered implementation to the event-triggered one, where the control input updates are permitted only when a particular event is detected. Together with the definition of an appropriate optimization problem, a stabilization result is formulated to ensure the uniform global asymptotic stability of an attractor for both types of controllers, which is a neighborhood of the desired operating point. Finally, the proposed method is evaluated through a numerical example.     

Finite-time stabilization of nonlinear impulsive dynamical systems

Finite-time stability involves dynamical systems whose trajectories converge to a Lyapunov stable equilibrium state in finite time. For continuous-time dynamical systems finite-time convergence implies nonuniqueness of system solutions in reverse time, and hence, such systems possess non-Lipschitzian dynamics. For impulsive dynamical systems, however, it may be possible to reset the system states to an equilibrium state achieving finite-time convergence without requiring non-Lipschitzian system dynamics. In this paper, we develop sufficient conditions for finite-time stability of impulsive dynamical systems using both scalar and vector Lyapunov functions. Furthermore, we design hybrid finite-time stabilizing controllers for impulsive dynamical systems that are robust against full modelling uncertainty. Finally, we present a numerical example for finite-time stabilization of large-scale impulsive dynamical systems.     

Centers and isochronous centers of a class of quasi-analytic switching systems

In this paper, we study the integrability and linearization of a class of quadratic quasi-analytic switching systems. We improve an existing method to compute the focus values and periodic constants of quasianalytic switching systems. In particular, with our method, we demonstrate that the dynamical behaviors of quasi-analytic switching systems are more complex than those of continuous quasi-analytic systems, by showing the existence of six and seven limit cycles in the neighborhood of the origin and infinity, respectively, in a quadratic quasi-analytic switching system. Moreover, explicit conditions are obtained for classifying the centers and isochronous centers of the system.