Abstract | ||
---|---|---|
We consider a class of controlled timed event graphs subject to strict temporal constraints. Such a graph is deterministic, in the sense that its behavior only depends on the initial marking and on the control that is applied. As it is wellknown, this behavior can be modelled by a system of difference equations that are linear in the Min-Plus algebra (R 驴 {+驴}, min, plus). The temporal constraint is represented by an inequation, that is also linear in the min-plus algebra. Then, a method for the synthesis of a control law ensuring the respect of the constraint is described. Two sufficient conditions are given, in terms of initial tokens and delays along the graph. We give explicit formulas characterizing a control law, which, if the conditions are satisfied, ensures the validity of the temporal constraints. This control law is also defined as a linear system over the Min-Plus algebra. It is a causal state feedback, involving delays. The method is illustrated on a production system. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1109/IPDPS.2005.153 | IPDPS |
Keywords | Field | DocType |
timed event graphs,dioid algebra,difference equation,event graph,initial token,control law,linear system,causal state feedback,strict temporal constraint,temporal constraint,production system,min-plus algebra,difference equations,linear systems,control systems,linear algebra,algebra,satisfiability,food industry,graph theory | Graph theory,System of difference equations,Linear algebra,Graph,Constraint algebra,Linear system,Algebra,Computer science,Inequation,Constraint theory | Conference |
ISBN | Citations | PageRank |
0-7695-2312-9 | 2 | 0.54 |
References | Authors | |
4 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Said Amari | 1 | 61 | 7.27 |
Jean Jacques Loiseau | 2 | 106 | 19.60 |
Demongodin Isabel | 3 | 61 | 10.10 |