检索结果-南通市图书馆

EXISTENCE AND UNIQUENESS AND STABILITY OF SOLUTIONS FOR STOCHASTIC IMPULSIVE SYSTEMS

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2007年第1期20卷 149-158页

作者： Bin liu xinzhi liu Xiaoxin LIAO Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan 430074 Department of Information and Computation Science Zhuzhou Institute of Technology Zhuzhou 412008 China Department of Applied Mathematics University of Waterloo Waterloo Ontario N2L 3G1 Canada. Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan 430074 China

This paper studies the existence, uniqueness, and stability of solutions for stochastic impulsive systems. By employing Lyapunov-like functions, some sufficient conditions of the global existence, uniqueness, and stability of solutions for stochastic impulsive systems are established. Furthermore, the results are specialized to the case of linear stochastic impulsive systems. Finally, some examples are given to illustrate the applications of our theory.

关键词： Ito's formula Lyapunov-like function stability stochastic impulsive system.

Finite-Time Observability of Probabilistic Logical Control Systems

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2023年第5期36卷 1905-1926页

作者： ZHOU Rongpei GUO Yuqian liu xinzhi GUI Weihua School of Information Engineering Nanchang UniversityNanchang 330031China School of Automation Central South UniversityChangsha 410083China Department of Applied Mathematics University of WaterlooWaterlooOntarioN 2L 3G 1Canada

This study investigates finite-time observability of probabilistic logical control systems(PLCSs)under three definitions(i.e.,finite-time observability with probability one,finite-time singleinput sequence observability with probability one,and finite-time arbitrary-input observability with probability one).The authors adopt a parallel extension technique to recast the finite-time observability problem of a PLCS as a finite-time set reachability ***,the finite-time set reachability problem can be transferred to stabilization problem of a logic dynamical system by using the state transfer graph reconstruction *** and sufficient conditions for finite-time observability under the three definitions are derived ***,the proposed methods are illustrated by numerical examples.

关键词： Finite-time observability finite-time set reachability probabilistic logical control systems semi-tensor products

Stabilization of Boolean control networks with state-triggered impulses

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2022年第3期65卷 123-137页

作者： Rongpei ZHOU Yuqian GUO xinzhi liu Weihua GUI School of Automation Central South University Department of Applied Mathematics University of Waterloo

Previously, impulses were used to model abrupt changes in dynamic biological systems. This paper introduces a hybrid-index model that can characterize instantaneity of the impulsive behavior more effectively, compared with the existing impulsive Boolean network models. Using the hybrid-index model,we investigate the set stabilization of Boolean control networks with state-triggered impulses in the hybriddomain and the time-domain. We establish necessary and sufficient conditions for set stabilizability in the hybrid and time domains, using the methods of k-domain and quotient mapping, respectively. Further, we obtain algorithms for constructing all hybrid-optimal and time-optimal set stabilizers by partitioning the state space into layers. The relationships between different set stabilizabilities are summarized. In addition,we have shared two examples to demonstrate the main results.

关键词： Boolean control networks set stabilization state-triggered impulses hybrid-index model semi-tensor product of matrices

同方期刊数据库

Recent results on stochastic hybrid dynamical systems

在线全文

学校读者我要写书评

暂无评论

Journal of Control and Decision 2016年第1期3卷 68-103页

作者： Mohamad S.Alwan xinzhi liu Department of Applied Mathematics University of WaterlooWaterlooCanada

This paper addresses stochastic hybrid systems,particularly switched and impulsive *** systems under consideration are linear and non-linear continuous with/without time delay,and with/without external *** importance of using such systems and the discrepancies between hybrid and non-hybrid systems are *** objective of this paper is to survey recent developments on some of the important qualitative properties such as stability,stabilisation,input-to-state stability and state estimation along with the challenges that might arise when taking hybridness into *** properties are mainly developed by using the direct method of Lyapunov or Lyapunov-Razumikhin if time delay is taken into *** examples with simulations are presented to further clarify the results introduced in this paper.

关键词： stochastic hybrid systems stability stabilisation ISS state estimation Lyapunov method

Robust stability and H-infinity control for uncertain discrete-time Markovian jump singular systems

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

控制理论与应用（英文版） 2008年第2期6卷 133-140页

作者： Shuping MA Chenghui ZHANG xinzhi liu School of Mathematics and System Science Shandong University Jinan Shandong 250100 China School of Computer Science and Technology Shandong University Jinan Shandong 250061 China School of Control and Engineering Shandong University Jinan Shandong 250061 China Department of Applied Mathematics University of Waterloo Waterloo Ontario N2L 3G1 Canada

The robust stability and stabilization, and H-infinity control problems for discrete-time Markovian jump singular systems with parameter uncertainties are discussed. Based on the restricted system equivalent （r.s.e.） transformation and by introducing new state vectors, the singular system is transformed into a discrete-time Markovian jump standard linear system, and the linear matrix inequality （LMI） conditions for the discrete-time Markovian jump singular systems to be regular, causal, stochastically stable, and stochastically stable with 7- disturbance attenuation are obtained, respectively. With these conditions, the robust state feedback stochastic stabilization problem and H-infinity control problem are solved, and the LMI conditions are obtained. A numerical example illustrates the effectiveness of the method given in the oaoer.

关键词： Discrete-time singular system Markovian jump system Robust stability and stabilization H-infinitycontrol Linear matrix inequality(LMI)

Global Exponential Stability of Nonlinear Impulsive Discrete Systems with Time Delay

在线全文

学校读者我要写书评

暂无评论

Global Exponential Stability of Nonlinear Impulsive Discrete...

A Combined Alignment Method for Strapdown Inertial Navigation System on Stationary Base

第25届中国控制与决策会议

作者： Kexue Zhang xinzhi liu Department of Applied Mathematics University of Waterloo School of Control Science and Engineering Shandong University

ISBN: (纸本)9781467355339

This paper studies global exponential stability of general nonlinear impulsive discrete delay systems. By employing the Lyapunov function approach and Razumikhin technique, several global exponential stability criteria are established. As theoretic application, these results are used to investigate the exponential stability for a class of nonlinear impulsive discrete systems with time delay. Examples are given to illustrate our results.

关键词： Impulsive discrete system Time delay Exponential stability Razumikhin technique

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Journal of Harbin Institute of Technology(New Series) 2020年第6期27卷 57-71页

作者： Shuai Chen xinzhi liu Qian Sun Ya Zhang School of Information and Control Engineering Liaoning Shihua UniversityFushun 113001LiaoningChina Department of Applied Mathematics University of WaterlooWaterloo N2L3G1Canada College of Information and Communication Engineering Harbin Engineering UniversityHarbin 150001China School of Electrical Engineering&Automation Harbin Institute of TechnologyHarbin 150001China

Owing to the weak observability of the azimuth misalignment angle,alignment accuracy and time are always the contradictory issues in the initial alignment process of Strapdown Inertial Navigation System(SINS),which requires a compromise between *** this paper,a combined alignment mechanism is proposed to construct an observable and controllable system model,which can effectively achieve higher azimuth alignment accuracy during the fixed time ***,the Reduced Order Kalman Filter(ROKF)alignment algorithm was utilized to calculate the misalignment angles in parallel with the classical gyrocompass alignment ***,the misalignment angles calculated by the gyrocompass alignment method were used to formulate the augmented measurement model with zero velocity ***,the zero velocity model of the ROKF method was switched into the augmented measurement model when the azimuth misalignment angle of the gyrocompass alignment method was close to steady *** combined alignment method was analyzed reasonably by the observability and the mathematical *** comparison results of the numerical simulation and the experimental data test showed that the combined method had good performance in terms of estimation accuracy and consistency of the alignment results.

关键词： inertial navigation instrumentation and measurement gyroscopes accelerometers Kalman filter measurement errors

Clarification of underneath capacity loss for O3-type Ni, co free layered cathodes at high voltage for sodium ion batteries

在线全文

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2023年第2期77卷 479-486,I0012页

作者： Dong Zhou De Ning Jun Wang Jiahua liu Gaoyuan Zhang Yinguo Xiao Jiaxin Zheng Yongli Li Jie Li xinzhi liu Guangdong Provincial Key Laboratory of Magnetoelectric Physics and Devices School of PhysicsSun Yat-sen UniversityGuangzhou 510275GuangdongChina School of Innovation and Entrepreneurship Southern University of Science and TechnologyShenzhen 518055GuangdongChina Centre for Photonics Information and Energy Materials Shenzhen Institutes of Advanced TechnologyChinese Academy of SciencesShenzhen 518055GuangdongChina School of Advanced Materials Peking University Shenzhen Graduate SchoolShenzhen 518055GuangdongChina Institute for Clean Energy Technology North China Electric Power UniversityBeijing 102206China Department of Energy Politecnico di MilanoVia Lambruschini 4Milano 20156Italy Centre for Physical Mechanics and Biophysics School of PhysicsSun Yat-sen UniversityGuangzhou 510275GuangdongChina

Earth abundant O3-type NaFe_(0.5)Mn_(0.5)O_(2)layered oxide is regarded as one of the most promising cathodes for sodium ion batteries due to its low cost and high energy ***,its poor structural stability and cycle life strongly impede the practical ***,the dynamic phase evolution as well as charge compensation mechanism of O3-type NaFe_(0.5)Mn_(0.5)O_(2)cathode during sodiation/desodiation are revealed by a systemic study with operando X-ray diffraction and X-ray absorption spectroscopy,high resolution neutron powder diffraction and neutron pair distribution *** layered structure experiences a phase transition of O3→P3→OP2→ramsdellite during the desodiation,and a new O3’phase is observed at the end of the discharge state(1.5 V).The density functional theory(DFT)calculations and nPDF results suggest that depletion of Na^(+)ions induces the movement of Fe into Na layer resulting the formation of an inert ramsdellite phase thus causing the loss of capacity and structural ***,the operando XAS clarified the voltage regions for active Mn^(3+)/Mn^(4+)and Fe^(3+)/Fe^(4+)redox *** work points out the universal underneath problem for Fe-based layered oxide cathodes when cycled at high voltage and highlights the importance to suppress Fe migration regarding the design of high energy O3-type cathodes for sodium ion batteries.

关键词： Sodium ion batteries Layered oxide cathode Iron migration Operando X-ray absorption spectroscopy Neutron measurements

The Collaborative Relationship among Industrialization,Urbanization,Informatization and Agricultural Modernization and the Path of Synchronous Development in China: An Analysis Based on the Data during 1978-2011

在线全文

学校读者我要写书评

暂无评论

Asian Agricultural Research 2014年第10期6卷 6-11页

作者： xinzhi liu Lu LI Yusong liu Agricultural Education Development Research Center Southwest University College of Economics and Management South-west University

The synchronous development of industrialization,urbanization,agricultural modernization and informatization is the basic trend and future requirements of China's economic and social development. By using the relevant data of 1978- 2011,and establishing the VAR model,we find that in the short term,industrialization is the Granger cause of urbanization; urbanization is the Granger cause of industrialization,informatization,and agricultural modernization; agricultural modernization is the Granger cause of industrialization,informatization and urbanization; informatization is the Granger reason of industrialization,urbanization and agricultural modernization. In the long run,there are long-term and stable relations among them,and at the same time,their changes affect the structure of each other,and there are pulling effect among them.

关键词： Industrialization Urbanization Informatization Agr