This paper discusses recent results related to the approximation of optimal sensor selection and information sharing policies for the supervisory control of discrete-event systems. Although the framework of supervisory control is used, the results and methods contained herein are also applicable to fault diagnosis systems. It is shown how the problems of computing an optimal sensor selection is...

The goal of our control system is to improve the reliability, accuracy, and economy of operation of a sequence of interrelated processes. We achieve this task by using well known, rigorous statistical techniques to continuously monitor process parameters, detect out-of-control equipment, and then optimally adjust relevant machine inputs to bring the process back on target. We have implemented t...

Supervisory Controllers are Discrete Event Dynamic Systems (DEDSs) forming the discrete core of a Hybrid Control System. We address the problem of automatic synthesis of Optimal Finite State Supervisory Controllers (OSCs). We show that Boolean First Order Logic (BFOL) and Binary Decision Diagrams (BDDs) are an eeective meth-odological and practical framework for Optimal Finite State Supervisory...

The objective of this work is automatic labelling of characters in TV video and movies, given weak supervisory information provided by an aligned transcript. We make four contributions: (i) a new strategy for obtaining stronger supervisory information from aligned transcripts; (ii) an explicit model for classifying background characters, based on their face-tracks; and (iii) employing new ConvN...

This paper presents a supervisory generalized predictive control (GPC) by combining GPC with statistical process control (SPC) for the control of the thin film deposition process. In the supervised GPC, the deposition process is described as an ARMAX model for each production run and GPC is applied to the in situ thickness-sensing data for thickness control. Supervisory strategies, developed fr...

The object-oriented paradigm has been used extensively both in CASE tools for modeling and design of distributed real-time systems as well as in software tools for developing supervisory control systems. Supervisory tools are very useful in the context of real-time industrial automation systems. Recent researches prove that the use of object-orientation paradigm in the development of these syst...

Cyber-physical systems (CPS), such as autonomous vehicles crossing an intersection, are vulnerable to cyber-attacks and their safety-critical nature makes them a target for malicious adversaries. This paper studies the problem of supervisory control of autonomous intersections in the presence of sensor attacks. Sensor attacks are performed when an adversary gains access to the transmission chan...

Task-based, rather than vehicle-based, control architectures have been shown to provide superior performance in certain human supervisory control missions. These results motivate the need for the development of robust, reliable usability metrics to aid in creating interfaces for use in this domain. To this end, we conduct a pilot usability study of a particular task-based supervisory control in...

In the Model-Based Engineering (MBE) paradigm, models are the core elements in the design process of a system from its requirements to the actual implementation of the system. By means of Supervisory Control Theory (SCT), supervisory controllers (supervisors) can be synthesized instead of designing themmanually. In this paper, a framework based on the Compositional Interchange Format for hybrid...

This paper discusses problems related to partial observation supervisory controllers with possibly faulty sensors in the framework of discrete-event systems. At initialization all controller sensors are operational such that all sensors correctly communicate their event observations to the controller. Sensor failures are unobservable. After a sensor fails, it sends no signals to the controller....