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

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

In supervisor synthesis achieving nonblockingness is a major computational challenge when a target system consists of a large number of local components. To overcome this difficulty we propose a coordinated distributed supervisor synthesis approach, where specifications are enforced by local supervisors. To avoid conflicting among local supervisors, coordinators are created based on automaton a...

We present a hierarchical control theory for supervisory automata based on state aggregation. Conditions are determined on state partitions which ensure that the control of transitions between blocks in a high-level (i.e. aggregated) model, combined with local state-dependent controls, is eeective in the sense of achieving speciications given either for the high-level model or for the low-level...