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

The main aim of this article is to look at supervision and control public benefit organizations in Poland regarding civil society Europe the national supervisory systems relevant these organizations. Also considered legal system UE, which provides recommendations for NGOs operating its Member States. This text focuses on changes over activities aspect centralization Poland, resulting from power...

This paper provides an overview of the results available on supervisory control in an adaptive context, with special emphasis on estimator-based supervisory architectures. We cover both the linear and nonlinear cases in a unified manner, highlighting the common properties and analysis techniques. The style of the paper is tutorial and provides the reader with enough detail to apply these techni...