Pages that link to "Item:Q5353426"
From MaRDI portal
The following pages link to Finite Abstractions of Max-Plus-Linear Systems (Q5353426):
Displaying 6 items.
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems (Q262437) (← links)
- Strong solvability of interval max-plus systems and applications to optimal control (Q325071) (← 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)
- Finite abstraction of mixed monotone systems with discrete and continuous inputs (Q2374568) (← links)
- Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446) (← links)