Pages that link to "Item:Q2409446"
From MaRDI portal
The following pages link to Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446):
Displaying 10 items.
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems (Q262437) (← links)
- Conditional reachability of uncertain max plus linear systems (Q1797147) (← links)
- Analysis and control of max-plus linear discrete-event systems: an introduction (Q2177779) (← links)
- Global optimization for max-plus linear systems and applications in distributed systems (Q2207246) (← links)
- Sparsity in max-plus algebra and systems (Q2286330) (← links)
- Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446) (← links)
- Local and global robustness with \(q\)-step delay for max-plus linear systems (Q2673760) (← links)
- Modeling and analysis of switching max-plus linear systems with discrete-event feedback (Q6080682) (← links)
- Relatively maximal perturbation bounds for global robustness of max‐plus linear systems (Q6089752) (← links)
- Properties of morphological dilation in max-plus and plus-prod algebra in connection with the Fourier transformation (Q6134292) (← links)
