Controller synthesis method for Discrete Event Systems

Created by W.Langdon from gp-bibliography.bib Revision:1.3973

@InProceedings{Letia:2012:AQTR,
  author =       "Tiberiu S. Letia and Mihai Hulea and Octavian Cuibus",
  title =        "Controller synthesis method for Discrete Event
                 Systems",
  booktitle =    "IEEE International Conference on Automation Quality
                 and Testing Robotics (AQTR 2012)",
  year =         "2012",
  month =        may,
  pages =        "85--90",
  size =         "6 pages",
  abstract =     "Many applications contain plants that are Discrete
                 Events Systems (DES). They have to be controlled such
                 that DES fulfils some specifications like: avoid the
                 deadlocks, reach or avoid the reaching of some given
                 states, execute or avoid the execution of some given
                 sequences of events, execute cyclically sequences of
                 events with the shortest periods, etc. In the current
                 study the plants are modelled by Delay Time Petri Nets
                 (DTPN) and the controllers are Time Petri Nets (TPN)
                 models. The controllers can be described by a
                 particular Time Petri Net Language (TPNL). The TPNL
                 descriptions can be transformed into Lisp descriptions.
                 The latest are used by a Genetic Programming (GP)
                 method for the controller synthesis such that DES meets
                 most accurately the system requirements.",
  keywords =     "genetic algorithms, genetic programming, Lisp
                 descriptions, controller synthesis method, deadlocks,
                 delay time Petri nets, discrete event systems, time
                 Petri net language, time Petri nets models, Petri nets,
                 control system synthesis, discrete event systems",
  DOI =          "doi:10.1109/AQTR.2012.6237680",
  notes =        "Also known as \cite{6237680}",
}

Genetic Programming entries for Tiberiu S Letia Mihai Hulea Octavian P Cuibus

Citations