The following pages link to FaPAS (Q22909):
Displaying 4 items.
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems (Q262437) (← links)
- Distributed \(H_\infty\)-consensus filtering for piecewise discrete-time linear systems (Q1660449) (← links)
- Compositional abstraction refinement for control synthesis (Q1690521) (← links)
- Formal analysis of piecewise affine systems through formula-guided refinement (Q1939637) (← links)