Loading…

Controller synthesis method for Discrete Event Systems

Many applications contain plants that are Discrete Events Systems (DES). They have to be controlled such that DES fulfills 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 cyclic...

Full description

Saved in:
Bibliographic Details
Main Authors: Letia, T. S., Hulea, M., Cuibus, O.
Format: Conference Proceeding
Language:English
Subjects:
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Many applications contain plants that are Discrete Events Systems (DES). They have to be controlled such that DES fulfills 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 modeled 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.
DOI:10.1109/AQTR.2012.6237680