A Robust Lyapunov Criterion for Nonoscillatory Behaviors in Biological Interaction Networks

• 成果类型: Article
• 署名作者: Angeli, David; Al-Radhawi, Muhammad Ali; Sontag, Eduardo D.
• 署名单位: Imperial College London; University of Florence; Northeastern University; Northeastern University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2021.3096807
• 发表日期: 2022
• 页码: 3305-3320
• 关键词: Kinetic theory; Substrates; regulation; Compounds; Additives; oscillators; Biological interactions; Biological interaction networks (BINs); enzymatic cycles; piecewise linear (PWL) Lyapunov functions; robust nonoscillation; second additive compounds

摘要

We introduce the notion of nonoscillation, propose a constructive method for its robust verification, and study its application to biological interaction networks (also known as, chemical reaction networks). We begin by revisiting Muldowney's result on the nonexistence of periodic solutions based on the study of the variational system of the second additive compound of the Jacobian of a nonlinear system. We show that exponential stability of the latter rules out limit cycles, quasi-periodic solutions, and broad classes of oscillatory behavior. We focus then on nonlinear equations arising in biological interaction networks with general kinetics, and we show that the dynamics of the aforementioned variational system can be embedded in a linear differential inclusion. We then propose algorithms for constructing piecewise linear Lyapunov functions to certify global robust nonoscillatory behavior. Finally, we apply our techniques to study several regulated enzymatic cycles, where available methods are not able to provide any information about their qualitative global behavior.