Controller synthesis method for Discrete Event Systems

@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}",
}