FaPAS

swMATH10957MaRDI QIDQ22909FDOQ22909

Author name not available (Why is that?)

Official website: http://sites.bu.edu/hyness/fapas/

Cited In (6)

• \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
• Formal analysis of piecewise affine systems through formula-guided refinement
• Distributed \(H_\infty\)-consensus filtering for piecewise discrete-time linear systems
• Maxplus
• VeriSIMPL
• Compositional abstraction refinement for control synthesis

This page was built for software: FaPAS