Abstract:Finite-state systems have applications in systems biology, formal verification and synthesis of infinite-state (hybrid) systems, etc. As deterministic finite-state systems, logical control networks (LCNs) consist of a finite number of nodes which can be in a finite number of states and update their states. In this paper, we investigate the synthesis problem for observability of LCNs based on state feedback with exogenous input by using the semitensor product proposed by Daizhan Cheng and the notion of observability graph (previously called weighted pair graph) proposed by us. We prove that if an unobservable LCN can be made observable by state feedback with exogenous input, then it can also be made observable by state feedback (without exogenous input, equivalent to state feedback with constant input). Furthermore, we give an upper bound on the number of state-feedback controllers that are needed to be tested in order to verify whether an unobservable LCN can be made observable by state feedback, and based on the procedure of obtaining the upper bound, we design an observability synthesis algorithm, by additionally combining the ideas of a greedy algorithm and dynamic programming. These results open the study of observability synthesis in LCNs.

Luenberger-Like Observer Design and Optimal State Estimation of Logical Control Networks with Stochastic Disturbances

Observer-Based Robust Decentralized Stabilization for a Class of Uncertain Interconnected Time-Delay Systems

Luenberger-Type Observer Design for Stochastic Time-Delay Systems

The Research of Luenberger-Like Nonlinear Extension State Observer

Minimal-order Observer and Output-Feedback Stabilization Control Design of Stochastic Nonlinear Systems.

H∞ Partial-State Observer Design for Nonlinear Systems

Design of Delay-independent State Observer for Neutral Linear Systems

On Convergence of the Linear Extended State Observer

Synthesis for Controllability and Observability of Logical Control Networks

Impulsive observer-based stabilisation of uncertain linear systems

Observer-based H ∞ control for linear stochastic discrete-time systems with missing measurements

Optimal State Estimation of Boolean Control Networks With Stochastic Disturbances.

Observer-based L 2 –L ∞ control for a class of stochastic systems with time-varying delay

Observer-based Event-Driven Fault-Tolerant Control for a Class of System with State-Dependent Uncertainties.

Dynamic Event-Triggered Optimal Control for Linear Systems with State Observer

Observer-Based Control for Continuous-Time Switched Linear Parameter-Varying Systems

A LMI approach to observer design for a class of switched nonlinear systems

Optimal Control and Stabilization for Networked Control Systems Subject to Intermittent Observations and One-step Delayed Measurement

Observer-Based L-2-L-Infinity Control For A Class Of Stochastic Systems With Time-Varying Delay

A Class of Networked Control Systems Based on Observer State Feedback Stabilization

State and Disturbance Observer-Based Controller Design for Fully Actuated Systems