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.

Finite-Time Observability of Probabilistic Logical Control Systems

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

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

Asymptotical Controllability of Continuous-Time Probabilistic Logic Control Systems

Stabilization and Finite-Time Stabilization of Probabilistic Boolean Control Networks

Asymptotical Feedback Controllability of Continuous-time Probabilistic Logic Control Networks

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

Finite-Time Observability of Boolean Networks with Markov Jump Parameters under Mode-Dependent Pinning Control

Synthesis for Controllability and Observability of Logical Control Networks

Minimal Observability of Boolean Control Networks

Finite-Time Stability of Probabilistic Logical Networks: A Topological Sorting Approach

Set reachability and observability of probabilistic Boolean networks

Observability of Boolean Control Networks Using Parallel Extension and Set Reachability

Observability Decomposition of Boolean Control Networks under Several Kinds of Observability

Observability conditions of Boolean control networks: OBSERVABILITY OF BOOLEAN CONTROL NETWORKS

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

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

Observability of Singular Boolean Control Networks with State Delays

Transition Analysis of Stochastic Logical Control Networks

Reachability and Observability of Switched Linear Systems with Continuous-Time and Discrete-Time Subsystems

STABILIZABILITY OF LINEAR SYSTEMS WITH DISCRETE OBSERVATION MODE