Khaled, Mahmoud; Zamani, Majid pFaces: an acceleration ecosystem for symbolic control. (English) Zbl 07120161 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 252-257 (2019). Cited in 3 Documents MSC: 68Q45 Formal languages and automata 68Q60 Specification and verification (program logics, model checking, etc.) 93C30 Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) Keywords:C++; CPU; FPGA; GPU; HW accelerators; OpenCL; discrete abstractions; high performance computing; message passing interface (MPI); parallel algorithms; reactive synthesis; symbolic control Software:CoSyma; BDD2Implement; SENSE; pFaces; SCOTS; PESSOA; TuLiP; ROCS PDF BibTeX XML Cite \textit{M. Khaled} and \textit{M. Zamani}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 252--257 (2019; Zbl 07120161) Full Text: DOI OpenURL