Pages that link to "Item:Q5026795"

The following pages link to Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras (Q5026795):

Displaying 2 items.

• New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems (Q2348373) (← links)
• Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra (Q5027756) (← links)