Pages that link to "Item:Q1631239"
From MaRDI portal
The following pages link to Tropical abstractions of MAX-plus linear systems (Q1631239):
Displaying 6 items.
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems (Q262437) (← links)
- Computation of the transient in max-plus linear systems via SMT-solving (Q1996024) (← links)
- Solving linear systems over tropical semirings through normalization method and its applications (Q5157909) (← links)
- Tropical Generalized Interval Systems (Q5237258) (← links)
- Tropical Abstractions of Max-Plus-Linear Systems (Q6302918) (← links)
- On the set-estimation of uncertain max-plus linear systems (Q6659179) (← links)