Abstract:In this paper, we propose two new nonblocking properties of automata as quantitative measures of maximal distances to marker states. The first property, called {\em quantitative nonblockingness}, captures the practical requirement that at least one of the marker states (representing e.g. task completion) be reachable within a prescribed number of steps from any non-marker state and following any trajectory of the system. The second property, called {\em heterogeneously quantitative nonblockingness}, distinguishes individual marker states and requires that each marker state be reached within a given bounded number of steps from any other state and following any trajectory of the system. Accordingly, we formulate two new problems of quantitatively nonblocking supervisory control and heterogeneously quantitatively nonblocking supervisory control, and characterize their solvabilities in terms of new concepts of quantitative language completability and heterogeneously quantitative language completability, respectively. It is proved that there exists the unique supremal (heterogeneously) quantitatively completable sublanguage of a given language, and we develop effective algorithms to compute the supremal sublanguages. Finally, combining with the algorithm of computing the supremal controllable sublanguage, we design algorithms to compute the maximally permissive solutions to the formulated (heterogeneously) quantitatively nonblocking supervisory control problems.

Characterisation of observability and controllability for nonuniformly sampled discrete systems

Questions of controllability and observability for nonuniformly sampled discrete systems

A Joint Criterion for Reachability and Observability of Nonuniformly Sampled Discrete Systems

ϵ-Controllability/ϵ-Observability of linear switched sampled-data systems with the non-equidistant time schedule

Characterization by Observability Inequalities of Controllability and Stabilization Properties

Controllability and Observability of Boolean Control Networks Via Sampled-Data Control

Nonuniform complete observability; preservation by output feedback and duality results

Stability analysis for interconnected system with quantized sampled-data control

Controllability and observability of a class of linear impulsive systems

Necessary and Sufficient Conditions for Controllability and Observability of Switched Impulsive Control Systems

Continuous time Stochastic optimal control under discrete time partial observations

Discrete-time controllability for feedback quantum dynamics

Event-triggered Control of Discrete-time Switched Linear Systems with an Arbitrary Sampling Period

Singular Value Assignment for Nonuniformly Sampled Systems: Stabilization and Control

Controllability Of A Class Of Singular Systems

Controllability and feedback stabilizability in a nonuniform framework

Characterizing Controllability and Observability for Systems with Locality, Communication, and Actuation Constraints

Controllability and Observability of Switched Multi-Agent Systems

Sampled-data control design for systems with quantized actuators

Observability and Decentralized Control of Fuzzy Discrete Event Systems

Quantitatively Nonblocking Supervisory Control of Discrete-Event Systems