Kernels and Case Studies

Kernels

The following are open-source software tools that use pFaces for acceleration. Users can benifit from those tools to have an idea how pFaces work:

• AMYTISS: A pFaces's kernel on for parallel automated controller synthesis for large-scale stochastic systems.
• PIRK: A utility for parallel computation of interval overapproximations to reachable sets of nonlinear control systems. We will be contiously priding examples on using pFaces in this repo.
• SymbolicControl: A pFaces's kernel on for parallel automated controller synthesis for general non-linear systems.

Case Studies

The following are some interesting case studies for using pFaces with the above kernels:

• Symbolic control goes real-time