Necessary and Sufficient Conditions for Event-Triggered Set Stabilizability of Markovian Jump Logical Networks

Lin Lin,Jinde Cao,Jie Zhong,Yang Liu,Wenhua Qian
DOI: https://doi.org/10.1109/tcyb.2023.3262540
IF: 11.8
2023-01-01
IEEE Transactions on Cybernetics
Abstract:This technical paper utilizes the Lyapunov theory to characterize the event-triggered set stabilizability of Markovian jump logical control networks (MJLCNs). Whereas the existing result for checking the set stabilizability of MJLCNs is only sufficient, this technical paper further establishes its necessary and sufficient condition. First, the Lyapunov function is established to describe the set stabilizability of MJLCNs necessarily and sufficiently by combining recurrent switching modes and desired state set. Then, the triggering condition and the input updating mechanism are designed regarding the value change of the Lyapunov function. Finally, the effectiveness of theoretical results is demonstrated by a biological example concerning the lac operon in Escherichia coli.
automation & control systems,computer science, cybernetics, artificial intelligence
What problem does this paper attempt to address?