• DocumentCode
    286672
  • Title

    Logical discrete event systems in a trace theory based setting

  • Author

    Smedinga, R.

  • Author_Institution
    Dept. of Comput. Sci., Groningen Univ., Netherlands
  • fYear
    1993
  • fDate
    34124
  • Firstpage
    42370
  • Lastpage
    42377
  • 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;
  • fLanguage
    English
  • Publisher
    iet
  • Conference_Titel
    Discrete Event Systems: A New Challenge for Intelligent Control Systems, IEE Colloquium on
  • Conference_Location
    London
  • Type

    conf

  • Filename
    255883
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=286672