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....

A guidance law, based on supervisory recurrent fuzzy neural network control (SRFNNC), is proposed for the autonomous underwater vehicle (AUV) guidance systems. This SRFNNC system is comprised of a recurrent fuzzy neural network (RFNN) controller and a supervisory controller. The RFNN controller is used to mimic an ideal controller and the supervisory controller is designed to compensate for the...

While resistance has long been discussed as an obstacle to the process of psychotherapy (Freud, S., 1912,1914; Freud, A., 1936; Fenichel, 1945; Gill, 1963; Greenson, 1967) it has been less frequently addressed in the context of psychotherapy supervision. The most frequent aspect of resistance in supervision that has been discussed in the literature is the type of resistant behavior most commonl...

This paper focuses on a framework for probabilistic supervisory control of probabilistic discrete event systems (PDES). PDES are modelled as generators of probabilistic languages, and the supervisors used are probabilistic. In our previous work, we presented and solved a number of supervisory control problems inside the framework. We also suggested a pseudometric to measure the behavioural simi...

Greater left frontal activation appears to be a measure of appetitive reactivity for desired stimuli, such as alcohol cues. However, inconsistencies in past research examining frontal asymmetry to appetitive stimuli suggest that individual differences strongly influence frontal asymmetry to appetitive stimuli. Because core personality systems of approach, avoidance, and supervisory control play...

Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced in [6] and [7]. This formalism has been used in [26] (also [14] and [15]) for obtaining various results on supervisory control ...

—Conventional sorting algorithms make use of such data structures as array, file and list which define access methods of the items to be sorted. These traditional methods – exchange sort, divide and conquer sort, selection sort and insertion sort – require supervisory control program. The supervisory control program has access to the items and is responsible for arranging them in the proper ord...