Abstract:Constraints are very common for practical control systems. For logical systems, the existing technique of pre-feedback is an effective way of treating state-dependent constraints in control when the state is measurable. However, it is inapplicable for the case when measurement information is not available. In this situation, in order for the control input to not violate the state-dependent constraint, the control at each step must be selected from the common admissible controls of all possible states. Motivated by this observation, in this study, we propose a novel technique, termed the subset transition method, for finite-time controllability and stabilization of probabilistic logical dynamic control system (PLDCS) with a state-dependent control constraint. The main idea of this method is to construct an unconstrained deterministic logical control system over the power set of the state space, called the subset transition system (SubSTS), characterizing the transitional dynamics between subsets under common admissible controls. We prove that a control sequence is admissible with respect to all states in an initial subset if and only if it does not steer the SubSTS from the initial subset to the empty set. Based on this, necessary and sufficient conditions for set controllability and set stabilizability are obtained. Examples are presented to demonstrate the application of the obtained results.

Controllability of Context-Sensitive Probabilistic Mix-Valued Logical Control Networks with Constraints

Controllability of Switched Singular Mix-Valued Logical Control Networks with Constraints

Reachability/controllability of High Order Mix-Valued Logical Networks

Two Kinds of Optimal Controls for Probabilistic Mix-Valued Logical Dynamic Networks

Strong Controllability Of Mix-Valued Logical Control Networks

Controllability of dynamic-algebraic mix-valued logical control networks

Optimal Finite-Horizon Control Problem of Context-Sensitive Probabilistic Boolean Networks with Perturbation

Singular Mix-Valued Logical Networks And Its Optimal Control

Controllability of Boolean Networks Via Mixed Controls.

Finite-Time Controllability and Set Controllability of Impulsive Probabilistic Boolean Control Networks.

Controllability of Probabilistic Boolean Control Networks Based on Transition Probability Matrices.

Controllability of Probabilistic Boolean Control Networks.

Controllability and Reachability of Periodically Time-Variant Mixed-Valued Logical Control Networks

Controllability and Observability of State‐dependent Switched Boolean Control Networks with Input Constraints

Asymptotical Feedback Stabilization and Controllability of Probabilistic Logic Networks with State-Dependent Constraints

Asymptotical Feedback Controllability of Continuous-time Probabilistic Logic Control Networks

Topological structure and optimal control of singular mix-valued logical networks

Controllability and Stabilization of Boolean Control Networks with State and Input Constraints

Finite-time Controllability and Stabilization of Probabilistic Logical Systems with State-Dependent Constraint Via Subset Transition Method.

Controllability and Observability of Singular Boolean Control Networks

Controllability and Observability of Switched Boolean Control Networks