{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/amytiss-parallelized-automated-controller","title":"AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems","arxiv_id":"2005.06191","date":"2020-05-13","proceeding":null,"authors":[],"abstract":"In this paper, we propose a software tool, called AMYTISS, implemented in\nC++/OpenCL, for designing correct-by-construction controllers for large-scale\ndiscrete-time stochastic systems. This tool is employed to (i) build finite\nMarkov decision processes (MDPs) as finite abstractions of given original\nsystems, and (ii) synthesize controllers for the constructed finite MDPs\nsatisfying bounded-time high-level properties including safety, reachability\nand reach-avoid specifications. In AMYTISS, scalable parallel algorithms are\ndesigned such that they support the parallel execution within CPUs, GPUs and\nhardware accelerators (HWAs). Unlike all existing tools for stochastic systems,\nAMYTISS can utilize high-performance computing (HPC) platforms and\ncloud-computing services to mitigate the effects of the state-explosion\nproblem, which is always present in analyzing large-scale stochastic systems.\nWe benchmark AMYTISS against the most recent tools in the literature using\nseveral physical case studies including robot examples, room temperature and\nroad traffic networks. We also apply our algorithms to a 3-dimensional\nautonomous vehicle and 7-dimensional nonlinear model of a BMW 320i car by\nsynthesizing an autonomous parking controller.","url_abs":"http://arxiv.org/abs/2005.06191v1","url_pdf":"http://arxiv.org/pdf/2005.06191v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"amytiss-parallelized-automated-controller","repo_url":"https://github.com/mkhaled87/pFaces-AMYTISS","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":0,"framework":"none","reach":{"status":"ok","spdx":"MIT"}}],"tasks":[{"task_slug":"cloud-computing","task_name":"Cloud Computing"}],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":"https://app.syntology.ai/?focus=2005.06191","mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}