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.

Pinning Controllability of <inline-formula><tex-math notation="LaTeX">$k$</tex-math></inline-formula>-ValuedLogical Systems

Synthesis of logical controllers and discrete-event systems supervisory control theory

On Stabilization and Set Stabilization of Multivalued Logical Systems

Pinning control design for robust output tracking of k-valued logical networks.

Robust Stabilization for a Logical System

On Pinning Controllability of Boolean Control Networks.

Pinning Control Design for State Feedback Stabilization of Multi-Valued Logical Control Networks

Necessary and Sufficient Conditions on Pinning Stabilization for Stochastic Boolean Networks.

Pinning Output Tracking Control of Multi-Valued Logical Networks

Pinning Controllability for a Boolean Network with Arbitrary Disturbance Inputs

Pinning Stabilization of Boolean Control Networks Via a Minimum Number of Controllers.

Pinning Stabilizer Design for Probabilistic Boolean Control Networks via Condensation Digraph

Set Stabilization of Probabilistic Boolean Networks Using Pinning Control

Pinning Control Design for Feedback Stabilization of Constrained Boolean Control Networks

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

Asynchronous Stabilization of Boolean Control Networks with Stochastic Switched Signals.

The Outputs Robustness of Boolean Control Networks Via Pinning Control

Stability of Boolean Networks with Delays Using Pinning Control

Stabilization of Delayed Boolean Networks Using Constrained State Pinning Control

Pinning Controllability of Autonomous Boolean Control Networks

Asymptotical Stabilization for Probabilistic Boolean Control Networks under Operators and Inputs Constraints