The following pages link to (Q4657046):
Displaying 6 items.
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← links)
- Conditional reachability of uncertain max plus linear systems (Q1797147) (← links)
- A walk on max-plus algebra (Q2173321) (← links)
- Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446) (← links)
- An overview of transience bounds in max-plus algebra (Q2942952) (← links)
- Control laws synthesis for timed event graphs subject to generalised marking constraints by Min-Plus algebra: application to cluster tools (Q6548596) (← links)