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

In this paper we consider the supervisory control problem through language equation solving. The equation solving approach allows to deal with more general topologies and to find a largest supervisor which can be used as a reservoir for deriving an optimal controller. We introduce the notions of solutions under partial controllability and partial observability, and we show how supervisory contr...

This paper presents an algorithm for synthesizing a supervisor timed automata (TA) using the conventional supervisory control theory. The is directly applicable to TA without explicit transformation into finite automata, and iteratively strengthens guards of edges labeled by controllable events invariants locations where progression time can be preempted forcible events. synthesized supervisor,...