Earlier work concerning control of discrete event systems usually assumed that a correct model of the system to be controlled was available. A goal of this wok is to provide an algorithm for determining the correct model from a set of models. The result of the algorithm is a nite language which can be used to test for the correct model or notiication that the remaining models cannot be controll...

For timed event graphs, linear models were obtained using dioid algebra. After describing backward equations which solve an optimal tracking problem and which introduce co-state variables, this paper presents preliminary results concerning the matrix of ‘ratios’ (i.e. conventional differences) of co-states over states: this matrix sounds like a Riccati matrix, although a neat analogue to a Ricc...

Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...

Different problems of strategy planning and control a mobile robot group under complex dynamicconditions with incomplete information about the external environment are considered. Approachesto solving effective work scheduling conditions inconstant active groupcomposition, searching for source nonstationary concentration field, supervisory ofdiscrete-event systems presented. An original mathema...

  Background: Nonspecific symptoms are common in all areas of medicine. Patients and caregivers can be frustrated when an illness cannot be reduced to a discrete pathophysiological process that corresponds with the symptoms. We therefore asked the following questions: 1) Which demographic factors and psychological comorbidities are associated with change from an initial diagnosis of nonspecific...

in this paper the problem of minimizing the total transmitting power subject to a fixedtotal bit rate in ofdm systems is considered. upper bounds on transmitting power and bit rate ofeach subcarrier can also be taken into account. in practice, the number of bits of each subcarriershould be integer and nonnegative. in this paper an analytical optimal solution is derived for thecase of assuming t...

Hidden Markov Model is a popular statisical method that is used in continious and discrete speech recognition. The probability density function of observation vectors in each state is estimated with discrete density or continious density modeling. The performance (in correct word recognition rate) of continious density is higher than discrete density HMM, but its computation complexity is very ...

background: nonspecific symptoms are common in all areas of medicine. patients and caregivers can be frustrated when an illness cannot be reduced to a discrete pathophysiological process that corresponds with the symptoms. we therefore asked the following questions: 1) which demographic factors and psychological comorbidities are associated with change from an initial diagnosis of nonspecific a...

We construct  a noncommutative analog of additive functional equations on discrete quantum semigroups and show that this noncommutative functional equation has Hyers-Ulam stability on amenable discrete quantum semigroups. The discrete quantum semigroups that we consider in this paper are in the sense of van Daele, and the amenability is in the sense of Bèdos-Murphy-Tuset. Our main result genera...