Semistability of switched dynamical systems,Part II: Non-linear system theory

In a companion paper [Q. Hui, W.M. Haddad, Semistability of switched dynamical systems. Part I: Linear system theory, Non-linear Anal. Hybrid Syst. 3 (3) (2009) 343–353] semistability and uniform semistability results for switched linear systems were developed. In this paper we develop semistability analysis results for non-linear switched systems. Semistability is the property whereby the solutions of a dynamical system converge to Lyapunov stable equilibrium points determined by the system initial conditions. The main results of the paper involve sufficient conditions for semistability using multiple Lyapunov functions and integral-type inequalities.     

Multistability,bifurcations, and biological neural networks: A synaptic drive firing model for cerebral cortex transition in the induction of general anesthesia

This paper focuses on multistability theory for discontinuous dynamical systems having a set of multiple isolated equilibria and/or a continuum of equilibria. Multistability is the property whereby the solutions of a dynamical system can alternate between two or more mutually exclusive Lyapunov stable and convergent equilibrium states under asymptotically slowly changing inputs or system parameters. In this paper, we extend the definition and theory of multistability to discontinuous autonomous dynamical systems. In particular, nontangency Lyapunov-based tests for multistability of discontinuous systems with Filippov and Carathéodory solutions are established. The results are then applied to excitatory and inhibitory biological neuronal networks to explain the underlying mechanism of action for anesthesia and consciousness from a multistable dynamical system perspective, thereby providing a theoretical foundation for general anesthesia using the network properties of the brain.     

Semistability of switched dynamical systems,Part I: Linear system theory

This paper develops semistability and uniform semistability analysis results for switched linear systems. Semistability is the property whereby the solutions of a dynamical system converge to Lyapunov stable equilibrium points determined by the system’s initial conditions. Since solutions to switched systems are a function of the system’s initial conditions as well as the switching signals, uniformity here refers to the convergence rate of the multiple solutions as the switching signal evolves over a given switching set. The main results of the paper involve sufficient conditions for semistability and uniform semistability using multiple Lyapunov functions and sufficient regularity assumptions on the class of switching signals considered.     

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.     

Excess in critical graphs

In this paper we prove that the cartesian product of two trees is a semistable graph and we exhibit several vertices of semistability. We show that in most cases the cartesian product of two paths is completely semistable and we list the exceptions. Finally, we characterize stable composite graphs.     

Semistable sheaves on homogeneous spaces and abelian varieties

In this paper we prove that semistable sheaves with zero Chern classes on homogeneous spaces are trivial and semistable sheaves on abelian varieties with zero Chern classes are filtered by line bundles numerically equivalent to zero. The method consists in reducing modp and then showing that the Frobenius morphism preserves semistability on the above class of varieties. For technical reasons, we have to assume boundedness of semistable sheaves in charp.     

平面上全局半稳定的广义Liénard系统

该文研究了广义Lienard系统的全局半稳定,获得了系统（E）为全局半稳定系统的充要条件．     

不确定非自治混沌陀螺仪在非线性输入下的有限时间稳定性

陀螺仪是一个非常有趣,又是永恒的非线性非自治动力系统课题,它可以显示出非常复杂的动力学行为,如混沌现象.在一个给定的有限时间内,研究非线性非自治陀螺仪鲁棒稳定性问题.假设陀螺仪系统受到模型不确定的外部扰动而摄动,系统参数并不知道,同时考虑了非线性输入的影响.为未知参数提出了适当的自适应律.以自适应律和有限时间控制理论为基础,提出非连续有限时间控制理论,来研究系统的有限时间稳定性.解析证明了闭循环系统的有限时间稳定性及其收敛性.若干数值仿真结果表明,该文的有限时间控制法是有效的,同时验证了该文的理论结果.     

On the Cauchy problem for planar autonomous Hamiltonian Systems with a discontinuous right-hand side

Using the implicit function theorem for non-differentiable functions and structural properties of the dynamical system, we prove a local existence and uniqueness result for a class of planar autonomous Hamiltonian systems with discontinuous right-hand sides.     

Remarks on Semistability of G-Bundles in Positive Characteristic

We analyzes a notion of strong semistability of principal G-bundles by including reduction to nonreduced parabolic subgroup schemes. It turns out that strong semistability is equivalent to the Frobenius semistability of Ramanan and Rananathan. We also give a bound for nonstrongly semsitability of a semistable GL(n)-bundle improving a previous result of Shepherd-Barron.     

Approximate Hermitian–Yang–Mills structures and semistability for Higgs bundles II: Higgs sheaves and admissible structures

We study the basic properties of Higgs sheaves over compact Kähler manifolds and establish some results concerning the notion of semistability; in particular, we show that any extension of semistable Higgs sheaves with equal slopes is semistable. Then, we use the flattening theorem to construct a regularization of any torsion-free Higgs sheaf and show that it is in fact a Higgs bundle. Using this, we prove that any Hermitian metric on a regularization of a torsion-free Higgs sheaf induces an admissible structure on the Higgs sheaf. Finally, using admissible structures we prove some properties of semistable Higgs sheaves.     

Dissipativity theory for discontinuous dynamical systems: Basic input, state, and output properties, and finite-time stability of feedback interconnections

In this paper, we develop dissipativity theory for discontinuous dynamical systems. Specifically, using set-valued supply rate maps and set-valued connective supply rate maps consisting of locally Lebesgue integrable supply rates and connective supply rates, respectively, and set-valued storage maps consisting of piecewise continuous storage functions, dissipativity properties for discontinuous dynamical systems are presented. Furthermore, extended Kalman–Yakubovich–Popov set-valued conditions, in terms of the discontinuous system dynamics, characterizing dissipativity via generalized Clarke gradients and locally Lipschitz continuous storage functions are derived. Finally, these results are used to develop feedback interconnection stability results for discontinuous dynamical systems by appropriately combining the set-valued storage maps for the forward and feedback systems.     

Dissipative differential inclusions,set-valued energy storage and supply rate maps,and stability of discontinuous feedback systems

In this paper, we develop dissipativity notions for dynamical systems with discontinuous vector fields. Specifically, we consider dynamical systems with Lebesgue measurable and locally essentially bounded vector fields characterized by differential inclusions involving Filippov set-valued maps specifying a set of directions for the system velocity and admitting Filippov solutions with absolutely continuous curves. In particular, we introduce a generalized definition of dissipativity for discontinuous dynamical systems in terms of set-valued supply rate maps and set-valued storage maps consisting of locally Lebesgue integrable supply rates and Lipschitz continuous storage functions, respectively. In addition, we introduce the notion of a set-valued available storage map and a set-valued required supply map, and show that if these maps have closed convex images they specialize to single-valued maps corresponding to the smallest available storage and the largest required supply of the differential inclusion, respectively. Furthermore, we show that all system storage functions are bounded from above by the largest required supply and bounded from below by the smallest available storage, and hence, a dissipative differential inclusion can deliver to its surroundings only a fraction of its generalized stored energy and can store only a fraction of the generalized work done to it. Moreover, extended Kalman–Yakubovich–Popov conditions, in terms of the discontinuous system dynamics, characterizing dissipativity via generalized Clarke gradients and locally Lipschitz continuous storage functions are derived. Finally, these results are then used to develop feedback interconnection stability results for discontinuous systems thereby providing a generalization of the small gain and positivity theorems to systems with discontinuous vector fields.     

Dynamical behavior for a class of predator–prey system with general functional response and discontinuous harvesting policy

In this paper, we introduce a class of predator–prey system with general functional response, whose harvesting policy is modeled by a discontinuous function. Based on the differential inclusions theory, topological degree theory in set‐valued analysis and generalized Lyapunov approach, we analyze the existence, uniqueness and global asymptotic stability of positive periodic solution. In particular, a series of useful criteria on existence, uniqueness and global asymptotic stability of the positive equilibrium point are established for the autonomous system corresponding to the non‐autonomous biological and mathematical model with a discontinuous right‐hand side. Moreover, some new sufficient conditions are provided to guarantee the global convergence in measure of harvesting solution and convergence in finite time of any positive solution for the autonomous discontinuous biological system. The obtained results, which improve and generalize previous works on dynamical behavior in the literature, are of interest for understanding and designing biological system with not only continuous or even Lipschitz continuous but also discontinuous harvesting function. Finally, we give three examples with numerical simulations to show the applicability and effectiveness of our main results. Copyright © 2015 John Wiley & Sons, Ltd.     

Certain Probabilistic Aspects of Semistable Laws

We study the extent to which the property of semistability of a random vector in ^d is determined by semistability of its marginals, and the place of semistable laws within the family of type G and sub-stable laws. Similarities and differences between stable and semistable laws are discussed.     

A Universal Construction for Moduli Spaces of Decorated Vector Bundles over Curves

Let $X$ be a smooth projective curve over the field of complex numbers, and fix a homogeneous representation $\rho\colon \mathop{\rm GL}(r)\rightarrow \mathop{\rm GL}(V)$. Then one can associate to every vector bundle $E$ of rank $r$ over $X$ a vector bundle $E_\rho$ with fibre $V$. We would like to study triples $(E,L,\phi)$ where $E$ is a vector bundle of rank $r$ over $X$, $L$ is a line bundle over $X$, and $\phi\colon E_\rho\rightarrow L$ is a nontrivial homomorphism. This setup comprises well known objects such as framed vector bundles, Higgs bundles, and conic bundles. In this paper, we will formulate a general (parameter dependent) semistability concept for such triples, which generalizes the classical Hilbert--Mumford criterion, and we establish the existence of moduli spaces for the semistable objects. In the examples which have been studied so far, our semistability concept reproduces the known ones. Therefore, our results give in particular a unified construction for many moduli spaces considered in the literature.     

There is no Bogomolov type restriction theorem for strong semistability in positive characteristic

We give an example of a strongly semistable vector bundle of rank two on the projective plane such that there exist smooth curves of arbitrary high degree with the property that the restriction of the bundle to the curve is not strongly semistable anymore. This shows that a Bogomolov type restriction theorem does not hold for strong semistability in positive characteristic.

     

异维混沌动力系统的有限时间广义同步

本文研究了异维混沌动力系统的有限时间广义同步的问题.利用有限时间Lyapunov稳定性定理、Jensen不等式等理论方法,通过设置不同的控制器,从理论上提出了一般的异维驱动系统和响应系统的有限时间广义同步的两种方案,并且对方案二中的影响同步时间因素做了理论分析和证明.最后,数值模拟验证了提出理论的正确性和可行性.     

Non-autonomous perturbation of autonomous semilinear differential equations: Continuity of local stable and unstable manifolds

In this paper we prove a result on lower semicontinuity of pullback attractors for dynamical systems given by semilinear differential equations in a Banach space. The situation considered is such that the perturbed dynamical system is non-autonomous whereas the limiting dynamical system is autonomous and has an attractor given as union of unstable manifold of hyperbolic equilibrium points. Starting with a semilinear autonomous equation with a hyperbolic equilibrium solution and introducing a very small non-autonomous perturbation we prove the existence of a hyperbolic global solution for the perturbed equation near this equilibrium. Then we prove that the local unstable and stable manifolds associated to them are given as graphs (roughness of dichotomy plays a fundamental role here). Moreover, we prove the continuity of this local unstable and stable manifolds with respect to the perturbation. With that result we conclude the lower semicontinuity of pullback attractors.     

Dynamical Systems and Adaptive Timestepping in ODE Solvers

Initial value problems for ODEs are often solved numerically using adaptive timestepping algorithms. These algorithms are controlled by a user-defined tolerance which bounds from above the estimated error committed at each step. We formulate a large class of such algorithms as discrete dynamical systems which are discontinuous and of higher dimension than the underlying ODE. By assuming sufficiently strong finite-time convergence results on some neighbourhood of an attractor of the ODE we prove existence and upper semicontinuity results for a nearby numerical attractor as the tolerance tends to zero.This assumption of sufficiently strong finite-time convergence results is then examined for adaptive algorithms that use a pair of explicit Runge-Kutta methods of different order to estimate the one-step error. For arbitrary Runge-Kutta pairs the necessary finite-time convergence results fail to hold on a set of points in the phase space that includes all the equilibria of the ODE. Therefore, in general, the asymptotic convergence results cannot be applied to attractors containing equilibria. However, for a particular class of Runge-Kutta pairs, the finite-time convergence results can be strengthened to include neighbourhoods of equilibrium points for which the Jacobian is invertible.