Input-output dynamical stability analysis for cyber-physical systems via logical networks

DOI10.1049/IET-CTA.2020.0197MaRDI QIDQ6609015zbMATH OpenFDO

Authors Guodong Zhao, Haitao Li, Ting Hou

Publication date 20 September 2024

Published in IET Control Theory \& Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1049/IET-CTA.2020.0197

zbMATH Keywords

cyber-physical systemcyber-physical systemsfinite systemsinfinite systemsinput-output dynamical stability analysisinput-output stabilitylogical networkrobust control

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Networked control (93B70) Control/observation systems involving computers (process control, etc.) (93C83) Input-output approaches in control theory (93D25)

Recommendations

• Robustness analysis of logical networks and its application in infinite systems
• Stabilizability analysis of logical networks with switching signal and control input
• Stability analysis of multi-valued logical networks with Markov jump disturbances
• Robust stability of switched delayed logical networks with all unstable modes

Cites work

• A control Lyapunov function approach to feedback stabilization of logical control networks
• A Notion of Robustness for Cyber-Physical Systems
• A semi-tensor product approach to pseudo-Boolean functions with application to Boolean control networks
• An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems
• Analysis and control of Boolean networks. A semi-tensor product approach.
• Complete synchronization of temporal Boolean networks
• Finite-time stability analysis of stochastic switched Boolean networks with impulsive effect
• Invertibility and nonsingularity of Boolean control networks
• Lyapunov-based stability and construction of Lyapunov functions for Boolean networks
• Mathematical concepts and methods in modern biology. Using modern discrete models
• Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
• On controllability of delayed Boolean control networks
• Output tracking control of Boolean control networks via state feedback: constant reference signal case
• Output tracking control of Boolean control networks with impulsive effects
• Stability and $l_1$ Gain Analysis of Boolean Networks With Markovian Jump Parameters
• Stabilization of \(k\)-valued logical control networks by open-loop control via the reverse-transfer method
• State feedback stabilization for probabilistic Boolean networks
• STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS
• Structural stability analysis of gene regulatory networks modeled by Boolean networks
• System decomposition with respect to inputs for Boolean control networks

Cited in

(2)

• Robust satisfaction of metric interval temporal logic objectives in adversarial environments
• Weighted Nash equilibrium of incomplete-profile networked evolutionary games with multiple payoffs

This page was built for publication: Input-output dynamical stability analysis for cyber-physical systems via logical networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6609015)