The paper addresses two of the basic issues of switching supervisory control (SSC):
controller falsification (CF) and inference of candidate loop behaviour (ICLB). CF is …

The paper studies the problem of inferring the performance of a linear feedback-loop
consisting of an uncertain plant and a candidate controller from data taken from the same …

It is shown that an effective way for inferring the performance of a linear feedback loop made
up by an uncertain plant and a given candidate controller is to resort to the concept of a …

A high-level supervisor, employing switching and logic, is proposed to orchestrate the
switching between a family of candidate controllers into feedback with an imprecisely …

The growth of the complexity of automated systems in industry has occurred extensively in
recent years due to the production demand increase, quality improvements and flexibility to …

We extend an existing model-based framework for supervisory control synthesis with
generalized control and verification state-based requirements. The former stem from the …

Supervisory control theory (SCT) is examined in a non-deterministic setting. We show that
language controllability of a supervisor is not necessarily equivalent to state controllability …

A comparative study of different models and identification techniques applied to the
quantification of valve stiction in industrial control loops is presented in this paper, with the …

This paper proposes an extension of the process tracking in modal supervisory control that
takes into account the models of the controlled processes which are not trimmed. Indeed, in …

This paper describes a simple,'high-level'controller called a'supervisor'which is capable of
switching into feedback with a SISO process, a sequence of linear positioning or set-point …