Model simplification for switched hybrid systems

This paper is concerned with the problem of model reduction for switched system, which is an important class of hybrid systems frequently encountered in practical situations. Two sharply different approaches are proposed to solve this problem. The first approach casts the model reduction into a convex optimization problem, which is the first attempt to solve the model reduction problem by using linearization procedure. The second one, based on the cone complementarity linearization idea, casts the model reduction problem into a sequential minimization problem subject to linear matrix inequality constraints. Both approaches have their own advantages and disadvantages concerning conservatism and computational complexity. A numerical example illustrates the effectiveness of the proposed theories.     

Continuous selections of trajectories of hybrid systems

We present results on existence of continuous selections of trajectories of hybrid systems evolving according to Lipschitz nonlinear inclusions. First, we utilize the Skorohod metric to define both a family of pseudo-metrics and a metric on the set of trajectories accepted by the hybrid automaton. We show that under a non-Zeno condition the latter metric is complete. Second, the existence of continuous selections with respect to the family of pseudo-metrics is proved under a relatively mild assumption of transversality.     

一类混杂系统的生存控制设计

研究了混杂系统关于由不等式表示的区域的生存控制设计问题.首先基于非光滑分析理论给出了系统关于所给区域生存的一个充分条件;然后给出相应的生存控制设计方法.该方法将系统的生存控制输入的选择问题转化为求解非光滑优化问题和二次规划问题.     

Reachability analysis of complex planar hybrid systems

Hybrid systems are systems that exhibit both discrete and continuous behavior. Reachability, the question of whether a system in one state can reach some other state, is undecidable for hybrid systems in general. In this paper we are concerned with GSPDIs, 2-dimensional systems generalizing SPDIs (planar hybrid systems based on “simple polygonal differential inclusions”), for which reachability have been shown to be decidable. GSPDIs are useful to approximate 2-dimensional control systems, allowing the verification of safety properties of such systems.     

Control for discrete singular hybrid systems

The problems of stability, state feedback control and static output feedback control for a class of discrete-time singular hybrid systems are investigated in this paper. A new sufficient and necessary condition for a class of discrete-time singular hybrid systems to be regular, causal and stochastically stable is proposed in terms of a set of coupled strict linear matrix inequalities (LMIs). Sufficient conditions are proposed for the existence of state feedback controller and static output feedback controller in terms of a set of coupled strict LMIs, respectively. Finally, two illustrative examples are provided to demonstrate the applicability of the proposed approach.     

Abstractions for hybrid systems

We present a procedure for constructing sound finite-state discrete abstractions of hybrid systems. This procedure uses ideas from predicate abstraction to abstract the discrete dynamics and qualitative reasoning to abstract the continuous dynamics of the hybrid system. It relies on the ability to decide satisfiability of quantifier-free formulas in some theory rich enough to encode the hybrid system. We characterize the sets of predicates that can be used to create high quality abstractions and we present new approaches to discover such useful sets of predicates. Under certain assumptions, the abstraction procedure can be applied compositionally to abstract a hybrid system described as a composition of two hybrid automata. We show that the constructed abstractions are always sound, but are relatively complete only under certain assumptions.     

Output-to-state stability for hybrid systems

Output-to-state stability (OSS) is a dual notion of input-to-state stability for dynamical systems. This paper presents Lyapunov and asymptotic characterizations of OSS for hybrid dynamical systems, emphasizing that a globally detectable (i.e. nonuniformly OSS) hybrid system admits a smooth OSS-Lyapunov function.     

Algorithmic analysis of polygonal hybrid systems,Part II: Phase portrait and tools

Polygonal differential inclusion systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as the computation of certain objects of the phase portrait is decidable. In this paper we show how to compute the viability, controllability and invariance kernels, as well as semi-separatrix curves for SPDIs. We also present the tool SPeeDI⁺, which implements a reachability algorithm and computes phase portraits of SPDIs.     

Kalman filter for controlled hybrid systems

The linear partially observed discrete-continuous (hybrid) stochastic controllable system described by differential equations with measures is considered. The optimal filtering equations in the form of generalized Kalman filter are obtained in the case of non-anticipating control. This result could be a theoretical basis for the optimal control in stochastic hybrid systems with incomplete information.     

A hybrid receding-horizon control scheme for nonlinear systems

A hybrid receding-horizon control scheme for nonlinear discrete-time systems is proposed. Whereas a set of optimal feedback control functions is defined at the continuous level, a discrete-event controller chooses the best control action, depending on the current conditions of a plant and on possible external events. Such a two-level scheme is embedded in the structure of abstract hybrid systems, thus making it possible to prove a new asymptotic stability result for the hybrid receding-horizon control approach.     

Safety verification and reachability analysis for hybrid systems

Safety verification and reachability analysis for hybrid systems is a very active research domain. Many approaches that seem quite different, have been proposed to solve this complex problem. This paper presents an overview of various approaches for autonomous, continuous-time hybrid systems and presents them with respect to basic problems related to verification.     

Wirtinger-based integral inequality: Application to time-delay systems

In the last decade, the Jensen inequality has been intensively used in the context of time-delay or sampled-data systems since it is an appropriate tool to derive tractable stability conditions expressed in terms of linear matrix inequalities (LMIs). However, it is also well-known that this inequality introduces an undesirable conservatism in the stability conditions and looking at the literature, reducing this gap is a relevant issue and always an open problem. In this paper, we propose an alternative inequality based on the Fourier Theory, more precisely on the Wirtinger inequalities. It is shown that this resulting inequality encompasses the Jensen one and also leads to tractable LMI conditions. In order to illustrate the potential gain of employing this new inequality with respect to the Jensen one, two applications on time-delay and sampled-data stability analysis are provided.     

Regularizability of complex switched server queueing networks modelled as hybrid dynamical systems

The paper considers the problem of the qualitative analysis of complex switched server queueing networks. Such networks can be used to model various flexible manufacturing, communications, and computer systems. We introduce the concept of regularizability for such systems and obtain a necessary and sufficient condition for a switched server queueing network to be regularizable.     

Energy-based control for hybrid port-controlled Hamiltonian systems

In this paper we develop an energy-based hybrid control framework for hybrid port-controlled Hamiltonian systems. In particular, we obtain constructive sufficient conditions for hybrid feedback stabilization that provide a shaped energy function for the closed-loop system, while preserving a hybrid Hamiltonian structure at the closed-loop level. Furthermore, an inverse optimal hybrid feedback control framework is developed that characterizes a class of globally stabilizing energy-based controllers that guarantee hybrid sector and gain margins to multiplicative input uncertainty of hybrid Hamiltonian systems.     

Representations and structural properties of periodic systems

We consider periodic behavioral systems as introduced in [Kuijper, M., & Willems, J. C. (1997). A behavioral framework for periodically time-varying systems. In Proceedings of the 36th conference on decision & control (Vol. 3, pp. 2013-2016). San Diego, California, USA, 10-12 December 1997] and analyze two main issues: behavioral representation/controllability and autonomy. More concretely, we study the equivalence and the minimality of kernel representations, and introduce latent variable (and, in particular, image) representations. Moreover we relate the controllability of a periodic system with the controllability of an associated time-invariant system known as lifted system, and derive a controllability test. Further, we prove the existence of an autonomous/controllable decomposition similar to the time-invariant case. Finally, we introduce a new concept of free variables and inputs, which can be regarded as a generalization of the one adopted for time-invariant systems, but appears to be more adequate for the periodic case.     

A hybrid splitting method for variational inequality problems with separable structure

Alternating direction method (ADM), which decomposes a large-scale original variational inequality (VI) problem into a series of smaller scale subproblems, is very attractive for solving a class of VI problems with a separable structure. This type of method can greatly improve the efficiency, but cannot avoid solving VI subproblems. In this paper, we propose a hybrid splitting method with variable parameters for separable VI problems. Specifically, the proposed method solves only one strongly monotone VI subproblem and a well-posed system of nonlinear equations in each iteration. The global convergence of the new method is established under some standard assumptions as those in classical ADMs. Finally, some preliminary numerical results show that the proposed method performs favourably in practice.     

Dynamical properties of hybrid systems simulators

This paper analyzes the dynamical properties of a class of hybrid systems simulators. A hybrid system is a dynamical system with a state that can both flow and jump. Its simulator attempts to generate its solutions approximately. The paper presents mild regularity conditions on the hybrid system and its simulator to guarantee that simulated solutions are close to actual solutions on compact (hybrid) time intervals, and that asymptotically stable compact sets are preserved, in a semiglobal practical sense, under simulation. In fact, it is established that asymptotically stable compact sets are continuous in the integration step size parameter of the simulator; that is, as the step size of the simulator converges to zero, the asymptotically stable set observed in simulations approaches the asymptotically stable compact set of the true hybrid system. Examples are used to illustrate concepts and results.     

Reachability for partially observable discrete time stochastic hybrid systems

When designing optimal controllers for any system, it is often the case that the true state of the system is unknown to the controller. Imperfect state information must be taken into account in the controller’s design in order to preserve its optimality. The same is true when performing reachability calculations. To estimate the probability that the state of a stochastic system reaches, or stays within, some set of interest in a given time horizon, it is necessary to find a controller that drives the system to that set with maximum probability, given the controller’s knowledge of the true state of the system. To date, little work has been done on stochastic reachability calculations with partially observable states. The work that has been done relies on converting the reachability optimization problem to one with an additive cost function, for which theoretical results are well known. Our approach is to preserve the multiplicative cost structure when deriving a sufficient statistic that reduces the problem to one of perfect state information. Our transformation includes a change of measure that simplifies the distribution of the sufficient statistic conditioned on its previous value. We develop a dynamic programming recursion for the solution of the equivalent perfect information problem, proving that the recursion is valid, an optimal solution exists, and results in the same solution as to the original problem. We also show that our results are equivalent to those for the reformulated additive cost problem, and so such a reformulation is not required.     

Finite data-rate feedback stabilization of switched and hybrid linear systems

We study the problem of asymptotically stabilizing a switched linear control system using sampled and quantized measurements of its state. The switching is assumed to be slow enough in the sense of combined dwell time and average dwell time, each individual mode is assumed to be stabilizable, and the available data rate is assumed to be large enough but finite. Our encoding and control strategy is rooted in the one proposed in our earlier work on non-switched systems, and in particular the data-rate bound used here is the data-rate bound from that earlier work maximized over the individual modes. The main technical step that enables the extension to switched systems concerns propagating over-approximations of reachable sets through sampling intervals, during which the switching signal is not known; a novel algorithm is developed for this purpose. Our primary focus is on systems with time-dependent switching (switched systems) but the setting of state-dependent switching (hybrid systems) is also discussed.