S. Takai et S. Kodama, FORMULAS FOR THE EXTREMAL CONTROLLABLE SEQUENCES IN TIMED-EVENT GRAPHS, IEEE transactions on automatic control, 43(10), 1998, pp. 1465-1468
This paper studies controllable sequences in the max-algebra model of
timed event graphs, We present a formula for the supremal controllable
sequence when a desirable behavior is specified as a single sequence.
As a result, the supremal sequence can be computed without iterative
computation, A formula for the infimal controllable sequence is also o
btained under some assumption.