Optimal control of multi-task Boolean control networks via temporal logic

DOI10.1016/j.sysconle.2021.105007zbMath1478.49019OpenAlexW3195978155MaRDI QIDQ2242936

Jitao Sun, Yuhua Yao

Publication date: 10 November 2021

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.sysconle.2021.105007

zbMATH Keywords

optimal controltemporal logicmultiple taskssemi-tensor product (STP)Boolean control networks (BCNs)

Mathematics Subject Classification ID

Temporal logic (03B44) Optimality conditions for problems involving relations other than differential equations (49K21) Boolean control/observation systems (93C29) Networked control (93B70)

Related Items (4)

Edge removal towards asymptotical stabilizability of Boolean networks under asynchronous stochastic update ⋮ A unified transform method for general robust property of probabilistic Boolean control networks ⋮ Matrix-based flipping method for improving the robustness of Boolean networks ⋮ Pinning detectability of Boolean control networks with injection mode

Cites Work

• Unnamed Item
• Stability and stabilization of Boolean networks with impulsive effects
• Linear temporal logic symbolic model checking
• On the periodic trajectories of Boolean control networks
• A temporal logic approach to discrete event control for the safety canonical class
• Temporal logic model predictive control
• Set stability and set stabilization of Boolean control networks based on invariant subsets
• On the timed temporal logic planning of coupled multi-agent systems
• Sampled-data stabilization of probabilistic Boolean control networks
• Extracting Boolean and probabilistic rules from trained neural networks
• Cluster synchronization of Boolean network
• Control of Boolean networks: hardness results and algorithms for tree structured networks
• Logical matrix factorization towards topological structure and stability of probabilistic Boolean networks
• Stabilizing Boolean networks by optimal event-triggered feedback control
• On the observability of free Boolean networks via the semi-tensor product method
• Receding Horizon Based Feedback Optimization for Mix-Valued Logical Networks
• Stabilization, Controllability and Optimal Control of Boolean Networks With Impulsive Effects and State Constraints
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• A Linear Representation of Dynamics of Boolean Networks
• Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances
• Less conservative conditions for asymptotic stability of impulsive control systems
• New procedures for selecting the k-best exponential populations

This page was built for publication: Optimal control of multi-task Boolean control networks via temporal logic