Skip to Main content Skip to Navigation
Reports

Linear Control of Live Marked Graphs

Philippe Darondeau 1 Xiaolan Xie 2
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 MACSI - Industrial system modeling, analysis and operation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00072337
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 8:25:53 PM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM
Long-term archiving on: : Sunday, April 4, 2010 - 11:04:27 PM

Identifiers

  • HAL Id : inria-00072337, version 1

Citation

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

Share

Metrics

Record views

283

Files downloads

342