A definition of the modes of a nonlinear autonomous system was developed. The existence conditions and orbits' nature of modes are given by using the geometry theory of invariant manifolds that include stable mani...A definition of the modes of a nonlinear autonomous system was developed. The existence conditions and orbits' nature of modes are given by using the geometry theory of invariant manifolds that include stable manifold theorem, center maifold theorm and sub-center manifold theorem. The Taylor series expansion was used in order to approach the sub-manifolds of the modes and obtain the motions of the mods on the manifolds. Two examples were given to demonstrate the applications.展开更多
This paper proposes a tube-based method for the asynchronous observation problem of discrete-time switched linear systems in the presence of amplitude-bounded disturbances.Sufficient stability conditions of the nomina...This paper proposes a tube-based method for the asynchronous observation problem of discrete-time switched linear systems in the presence of amplitude-bounded disturbances.Sufficient stability conditions of the nominal observer error system under mode-dependent persistent dwell-time(MPDT)switching are first established. Taking the disturbances into account, a novel asynchronous MPDT robust positive invariant(RPI) set and an asynchronous MPDT generalized RPI(GRPI)set are determined for the difference system between the nominal and disturbed observer error systems. Further, the global uniform asymptotical stability of the observer error system is established in the sense of converging to the asynchronous MPDT GRPI set, i.e., the cross section of the tube of the observer error system. Finally, the proposed results are validated on a space robot manipulator example.展开更多
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracte...Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode transition graph of a hybrid system. This method can be used for a general class of industrial hybrid plants which are defined by Polyhedral Invariant Hybrid Automata (PIHA). In these automata there are no resetting maps, while invariant sets are defined by linear inequalities. Therefore, based on the continuity property of the state trajectories in a PIHA, the problem is reduced to finding possible transitions between all two adjacent discrete modes. In the presented method, the possibility and the direction of such transitions are detected only by computing the angle between the vector field and the normal vector of the switching surfaces. Thus, unlike the most other reachability methods, there is no need to solve differential equations and to do mapping computations. In addition, the proposed method, with some modifications can be applied for extracting Stochastic or Timed Discrete Trace Transition Systems.展开更多
文摘A definition of the modes of a nonlinear autonomous system was developed. The existence conditions and orbits' nature of modes are given by using the geometry theory of invariant manifolds that include stable manifold theorem, center maifold theorm and sub-center manifold theorem. The Taylor series expansion was used in order to approach the sub-manifolds of the modes and obtain the motions of the mods on the manifolds. Two examples were given to demonstrate the applications.
基金supported in part by the National Defense Basic Scientific Research Program of China(JCKY2018603C015)Cultivation Plan of Major Research Program of Harbin Institute of Technology(ZDXMPY20180101)
文摘This paper proposes a tube-based method for the asynchronous observation problem of discrete-time switched linear systems in the presence of amplitude-bounded disturbances.Sufficient stability conditions of the nominal observer error system under mode-dependent persistent dwell-time(MPDT)switching are first established. Taking the disturbances into account, a novel asynchronous MPDT robust positive invariant(RPI) set and an asynchronous MPDT generalized RPI(GRPI)set are determined for the difference system between the nominal and disturbed observer error systems. Further, the global uniform asymptotical stability of the observer error system is established in the sense of converging to the asynchronous MPDT GRPI set, i.e., the cross section of the tube of the observer error system. Finally, the proposed results are validated on a space robot manipulator example.
文摘Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode transition graph of a hybrid system. This method can be used for a general class of industrial hybrid plants which are defined by Polyhedral Invariant Hybrid Automata (PIHA). In these automata there are no resetting maps, while invariant sets are defined by linear inequalities. Therefore, based on the continuity property of the state trajectories in a PIHA, the problem is reduced to finding possible transitions between all two adjacent discrete modes. In the presented method, the possibility and the direction of such transitions are detected only by computing the angle between the vector field and the normal vector of the switching surfaces. Thus, unlike the most other reachability methods, there is no need to solve differential equations and to do mapping computations. In addition, the proposed method, with some modifications can be applied for extracting Stochastic or Timed Discrete Trace Transition Systems.
