FaPAS
From MaRDI portal
Software:22909
No author found.
Related Items (4)
Distributed \(H_\infty\)-consensus filtering for piecewise discrete-time linear systems ⋮ Compositional abstraction refinement for control synthesis ⋮ Formal analysis of piecewise affine systems through formula-guided refinement ⋮ \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
This page was built for software: FaPAS
