• Title/Summary/Keyword: timed event graphs

Search Result 2, Processing Time 0.019 seconds

Feedback control synthesis for a class of controlled petri nets time constraints

  • Park, Hyeok-Gi;Park, Hong-Seong;Kwon, Wook-Hyun
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1993.10a
    • /
    • pp.330-335
    • /
    • 1993
  • This paper presents an efficient solution for a class of forbidden state problems by introducing a cyclic timed controlled marked graphs (TCMG's), a special class of timed controlled Petri nets (TCPN's) as a model of a class of discrete event systems (DES's). The state feedback control is synthesized, which is maximally permissive while guaranteeing the forbidden states will be avoided. The practical applications or tire theoretical results for an automated guided vehicle (ACV) coordination problem in a flexible manufacturing facility is illustrated.

  • PDF

Optimal Buffer Allocation in Tandem Queues with Communication Blocking

  • Seo, Dong-Won;Ko, Sung-Seok;Jung, Uk
    • ETRI Journal
    • /
    • v.31 no.1
    • /
    • pp.86-88
    • /
    • 2009
  • In this letter, we consider an m-node tandem queue (queues in series) with a Poisson arrival process and either deterministic or non-overlapping service times. With the assumption that each node has a finite buffer except for the first node, we show the non-increasing convex property of stationary waiting time with respect to the finite buffer capacities. We apply it to an optimization problem which determines the smallest buffer capacities subject to probabilistic constraints on stationary waiting times.

  • PDF