Title :
Logical discrete event systems in a trace theory based setting
Author_Institution :
Dept. of Comput. Sci., Groningen Univ., Netherlands
Abstract :
Discrete event systems can be modelled using a triple consisting of some alphabet (representing the events that might occur), and two trace sets (sets of possible strings) denoting the possible behaviour and the completed tasks of the system. Using this definition, the authors formulate and solve control problems and define the notion of deadlock. Distributed control is also discussed
Keywords :
discrete event simulation; distributed control; formal logic; set theory; alphabet; deadlock; logical discrete event systems; strings; trace sets; trace theory based setting;
Conference_Titel :
Discrete Event Systems: A New Challenge for Intelligent Control Systems, IEE Colloquium on
Conference_Location :
London
