Linear Control of Live Marked Graphs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2001

Linear Control of Live Marked Graphs

Abstract

Given a linear constraint on the firing vectors of a live marked graph (bounded or unbounded) with uncontrollable / unobservable transitions, we apply linear programming techniques to compute the most liberal controller enforcing this constraint. In the special case of strongly connected live marked graphs, we compute further on the most liberal controller that keeps the marked graph live and enforces the constraint.
Fichier principal
Vignette du fichier
RR-4251.pdf (338.32 Ko) Télécharger le fichier

Dates and versions

inria-00072337 , version 1 (23-05-2006)

Identifiers

  • HAL Id : inria-00072337 , version 1

Cite

Philippe Darondeau, Xiaolan Xie. Linear Control of Live Marked Graphs. [Research Report] RR-4251, INRIA. 2001, pp.24. ⟨inria-00072337⟩
85 View
185 Download

Share

Gmail Facebook Twitter LinkedIn More