Titlebook: Discrete Event Systems: Modeling and Control; Proceedings of a Joi Silvano Balemi,Petr Kozák,Rein Smedinga Conference proceedings 1993 Birk

Sad570

A Unifying Framework for Discrete Event System Control Theory of control problems related to time discrete event systems at the qualitative level. Basic underlying ideas, definitions, and results are briefly presented. Several illustrative examples are provided.

Cpap155

GLADE

Conditions for Tracking Timing Perturbations in Timed Petri Nets with Monitorsicient conditions are presented for tracking perturbations in TPNs in which timings are only available for a set of monitor transitions. These conditions imply that tracking can be performed in some TPNs without knowledge of all timings. We present a class of safe TPNs as an example.

Bumptious

A Petri Nets-Based Approach to the Maze Problem Solvingessed in the form of the abstract linear discrete dynamical systems. A simple procedure of the control synthesis is presented. It compares (step-by-step) the possibilities of the further development of the animals behaviour with a knowledge base expressing the predefined constraints imposed on their behaviour.

隱士

Mawkish

arterioles

An Obsolete Fundamental PhilosophyThe problem is defined in the setting of logical automata and the control of the doors is given by a set of logical functions understood as output function of a Moore automaton describing possible development of the whole system.

單片眼鏡

過份

The Workshop Exercise Using a Trace Theory Based SettingDiscrete event systems can be modelled using a trace theory based setting. In this setting the workshop exercise is modelled and solved. To be able to compute the needed systems, a state space model is introduced.

疲勞

The Cat-and-Mouse Problem as a System of Boolean EquationsThe problem is defined in the setting of logical automata and the control of the doors is given by a set of logical functions understood as output function of a Moore automaton describing possible development of the whole system.