Optimizing the Controller of Production Flows

Ciufudean C., Filote C.

9th WSEAS International Conference on Simulation, Modelling and Optimization, Budapest, Hungary, 3 - 05 September 2009, pp.156-157 identifier

  • Publication Type: Conference Paper / Full Text
  • City: Budapest
  • Country: Hungary
  • Page Numbers: pp.156-157
  • Istanbul Technical University Affiliated: No

Abstract

In this paper, we consider the discrete event systems (DES) modeled via a state - space representation. The control objective is the avoidance of a given set of states. We achieve this goal by verifying that certain predicates, specified in terms of states, are always false. We model the DES involved in physical systems with a class of controlled state machines, respectively the formalism of the controlled Petri nets. A model of a railway shunting system illustrates the theoretical approach.