Pages that link to "Item:Q5347552"
From MaRDI portal
The following pages link to Formal Analysis of Discrete-Time Piecewise Affine Systems (Q5347552):
Displaying 5 items.
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems (Q262437) (← links)
- Reachability and observability reduction for linear switched systems with constrained switching (Q340659) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Hierarchical analysis of large-scale control systems via vector simulation function (Q2407907) (← links)
- On tolerance of discrete systems with respect to transition perturbations (Q6201386) (← links)
