pFaces swMATH ID: 30630 Software Authors: Khaled, Mahmoud; Zamani, Majid Description: pFaces: an acceleration ecosystem for symbolic control. The correctness of control software in many safety-critical applications such as autonomous vehicles is crucial. One technique to achieve correct control software is called ”symbolic control”, where complex systems are approximated by finite-state abstractions. Then, using those abstractions, provably-correct digital controllers are algorithmically synthesized for concrete systems, satisfying complex high-level requirements. Unfortunately, the complexity of synthesizing such controllers grows exponentially in the number of state variables. However, if distributed implementations are considered, high-performance computing platforms can be leveraged to mitigate the effects of the state-explosion problem. We propose pFaces, an extensible software-ecosystem, to accelerate symbolic control techniques. It facilitates designing parallel algorithms and supervises their executions to utilize available computing resources. To demonstrate its capabilities, novel parallel algorithms are designed for abstraction-based controller synthesis. Then, they are implemented inside pFaces and dispatched, for parallel execution, in different heterogeneous computing platforms, including CPUs, GPUs and Hardware Accelerators (HWAs). Results show remarkable reduction in the computation time by several orders of magnitudes as number of processing elements (PEs) increases, which easily outperforms all the existing tools. Homepage: https://dl.acm.org/citation.cfm?id=3311798 Keywords: C++; CPU; FPGA; GPU; HW accelerators; OpenCL; discrete abstractions; high performance computing; message passing interface (MPI); parallel algorithms; reactive synthesis; symbolic control Related Software: ROCS; SCOTS; CoSyma; AMYTISS; StocHy; SReachTools; FAUST2; GitHub; SReach; ProbReach; MoDeST; PRISM; CPAchecker; BLAST; SENSE; BDD2Implement; TuLiP; PESSOA Cited in: 3 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year pFaces: an acceleration ecosystem for symbolic control. Zbl 07120161Khaled, Mahmoud; Zamani, Majid 2019 all top 5 Cited by 8 Authors 2 Khaled, Mahmoud 2 Zamani, Majid 1 Hsu, Kyle 1 Lavaei, Abolfazl 1 Majumdar, Rupak 1 Mallik, Kaushik 1 Schmuck, Anne-Kathrin 1 Soudjani, Sadegh Cited in 0 Serials Cited in 2 Fields 3 Systems theory; control (93-XX) 2 Computer science (68-XX) Citations by Year