Controller synthesis method for Discrete Event Systems

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

@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 = "24-27 " # may,
• pages = "85--90",
• 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",
• 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.",
• notes = "Also known as \cite{6237680}",

}

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

Citations