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

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

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