Hybrid and Hybrid Adaptive Petri Nets: On the computation of a Reachability Graph

Petri Nets (PNs) constitute a well known family of formalisms for the modelling and analysis of Discrete Event Dynamic Systems (DEDS). As general formalisms for DEDS, PNs suffer from the state explosion problem. A way to alleviate this difficulty is to relax the original discrete model and deal with a fully or partially continuous model. In Hybrid Petri Nets (HPNs), transitions can be either discrete or continuous, but not both. In Hybrid Adaptive Petri Nets (HAPNs), each transition commutes between discrete and continuous behaviour depending on a threshold: if its load is higher than its threshold, it behaves as continuous; otherwise, it behaves as discrete. This way, transitions adapt their behaviour dynamically to their load. This paper proposes a method to compute the Reachability Graph (RG) of HPNs and HAPNs.     

Change-of-bases abstractions for non-linear hybrid systems

We present abstraction techniques that transform a given non-linear dynamical system into a linear system, or more generally, an algebraic system described by polynomials of bounded degree, so that invariant properties of the resulting abstraction can be used to infer invariants for the original system. The abstraction techniques rely on a change-of-bases transformation that associates each state variable of the abstract system with a function involving the state variables of the original system. We present conditions under which a given change-of-bases transformation for a non-linear system can define an abstraction. Furthermore, the techniques developed here apply to continuous systems defined by Ordinary Differential Equations (ODEs), discrete systems defined by transition systems and hybrid systems that combine continuous as well as discrete subsystems.The techniques presented here allow us to discover, given a non-linear system, if a change-of-bases transformation involving degree-bounded polynomials yielding an algebraic abstraction exists. If so, our technique yields the resulting abstract system, as well. Our techniques enable the use of analysis techniques for linear systems to infer invariants for non-linear systems. We present preliminary evidence of the practical feasibility of our ideas using a prototype implementation.     

Tightened reachability constraints for the verification of linear hybrid systems

In this paper, we first generalize reachability constraints for linear differential equations, then tighten them by using the information of multiplicity of the eigenvalues and eigenvectors of such equations and put them into our constraint based approach for safety verification of hybrid systems that employs recursive reasoning to improve the method of constraint propagation based abstraction refinement.     

Hybrid systems: Modelling and analysis using emergent dynamics

In this paper, we discuss modelling and analysis of hybrid systems with physical interaction dynamics. Such systems are typically considered complex and they are modelled using abstractions. Abstractions may, however, unintentionally exclude critical details, leading to partial or false results. Therefore, we study here use of a particle system in modelling and analysis. The novelty of the particle system is that it is designed to reveal interaction dynamics as emergent dynamics; thus, supporting analysis of complex and intricate interaction dynamics with acceptable modelling effort. As the main contribution, we formalize the particle system, and use it to model and analyze hybrid systems, both mechanical and biological, with nontrivial interaction dynamics.     

Hybrid systems with time scales and impulses

In this paper, we describe hybrid systems introducing special time scales and impulsive effects so as to provide a broader perspective for hybrid systems.     

Hybrid consensus for multi-agent systems with time-driven jumps

In this paper, the behavior of scalar multi-agent systems over networks subject to time-driven jumps. Assuming that all agents communicate through distinct communication digraphs at jump and flow times, the asymptotic multi-consensus behavior of the hybrid network is explicitly characterized. The hybrid multi-consensus is shown to be associated with a suitable partition that is almost equitable for both the jump and flow communication digraphs. In doing so, no assumption on the underlying digraphs is introduced. Finally, the coupling rules making the multi-consensus subspace attractive are established. Several simulation examples illustrate the theoretical results.     

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.     

Hybrid feedback stabilization of quasilinear systems in the plane

We apply Artstein's hybrid feedback algorithm to stabilize quasilinear dynamical systems with complex multipliers in the plane. We study only the case of incomplete observation when ordinary feedback controls do not work. The main results of the paper state that Artstein's procedure provides an arbitrary rate of asymptotic convergence/divergence of solutions. In other words, we prove the complete controllability from below of the upper Lyapunov exponent and the uniform upper Lyapunov exponent for the quasilinear systems in question.     

A geometric approach for reachability and observability of linear switched impulsive systems

This paper is concerned with the reachability and observability of linear switched impulsive systems with singular impulse matrices. First some new concepts with respect to the reachability and unobservability are introduced. Especially, span reachability is proposed because the reachable sets of switched impulsive systems do not always constitute subspaces. Then the geometric characterization of the span reachable and unobservable sets is presented. Moreover, the relations between the span reachable set, unobservable set and the invariant subspaces of such systems are discussed. Finally, corresponding criteria applied to linear impulsive systems and linear switched systems are also discussed.     

Canonical forms for positive discrete-time linear control systems

In this paper, the properties of reachability, controllability and essential reachability of positive discrete-time linear control systems are studied. These properties are characterized in terms of the directed graph of the state matrix. From these characterizations canonical forms of those properties are deduced.     

Hybrid port–Hamiltonian systems: From parameterized incidence matrices to hybrid automata

This paper shows how to formally design a hybrid automaton model for a wide class of dissipative physical systems with sources and switching topology. This method is based on a mathematical representation of the dynamic network graph and of its dual graph, using the hybrid incidence matrix, and on a constructive method for analyzing admissible and constrained configurations. The port–Hamiltonian representation associated with the set of hybrid system configurations, parameterized by the discrete state of the switches, is synthesized to be part of the hybrid automaton of the system. This is a further step towards a generic control synthesis for physical switching systems.     

Holes in the spectrum of functions generating affine systems

Given a expansive dilation matrix , a measurable set is called a -dilation generator of if is tiled (modulo null sets) by the collection . Our main goal in this paper is to prove certain results relating the support of the Fourier transform of functions generating a wavelet or orthonormal affine system associated with the dilation to an arbitrary set which is a -dilation generator of .

     

Hybrid output regulation for linear impulsive systems with aperiodic jumps: A discrete-time feedback controller design approach

This paper is concerned with the problem of hybrid output regulation for a class of linear impulsive systems with aperiodic jumps. Firstly, by leveraging time-dependent Lyapunov function technique and impulsive control theory, sufficient conditions for achieving output regulation are obtained in state feedback case. Then, the results are extended to error feedback case by constructing an impulsive observer. In this framework, two novel hybrid controllers are designed. Such controllers only need the discrete-time system state or error signal for feedback. The complete procedures for controller designs are also presented. Finally, two illustrative examples, including a numerical example and an LC circuit, are given to show the validity and applicability of the proposed control laws.     

Existence test for solution of nonlinear systems applying affine arithmetic

A computational test is proposed for existence of solution in nonlinear systems. In this test, an interval inclusion of Newton mapping is estimated applying affine arithmetic. Numerical examples are presented to show the efficiency of this test.     

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.     

A parameter estimation scheme for a class of sequential hybrid systems

It may happen that the equations governing the response of dynamical systems have some parameters whose values may not be known a priori and have to be obtained using parameter estimation schemes. In this article, we present a parameter estimation scheme for a class of sequential hybrid systems. By hybrid systems, we refer to those systems whose response is described by different governing equations corresponding to various regimes/modes of operation along with some criteria to switch between the same. In a sequential hybrid system, the different modes are arranged in a specific sequence and the system can switch from a given mode to either the previous mode or the following mode in this sequence. Here, we consider those systems whose governing equations consist of ordinary differential equations and algebraic equations. The conditions for switching between the various modes (referred to as transition conditions) are in the form of linear inequalities involving the system output. We shall first consider the case where the transition conditions are known completely. We present a parameter update scheme along with sufficient conditions that will guarantee bounded parameter estimation errors. Then, we shall consider the case where the transition conditions are not known in the sense that some parameters in these conditions are not known. We present a parameter estimation scheme for this case. We illustrate the performance of the parameter estimation scheme in both cases with some examples.