Munich Aerospace Alumnus Abolfazl Lavaei receives Best Demo/Poster Award at ACM HSCC 2020

Munich Aerospace veröffentlicht Raumfahrt-Report aus dem Space Valley

14 May 2020 - The Munich Aerospace Alumnus Dr Abolfazl Lavaei receives the Best Demo/Poster Award at the 23rd Association for Computing Machinery (ACM) International Conference on Hybrid Systems: Computation and Control (HSCC 2020) in Sydney, Australia.

In his paper entitled “AMYTISS: A Parallelized Tool on Automated Controller Synthesis for Large-Scale Stochastic Systems”, Dr Abolfazl Lavaei, Mahmoud Khaled, Professor Sadegh Soudjani and former Munich Aerospace research group member Professor Majid Zamani propose a parallelized software tool, called AMYTISS, implemented in C++/OpenCL, for designing correct-by-construction controllers for large-scale discrete-time stochastic systems. This tool employs novel data-parallel algorithms and allows to:

  • - build finite Markov decision processes (MDPs) as finite abstractions of given original stochastic systems;
  • - synthesize automated controllers for the constructed finite MDPs satisfying some high-level specifications (safety, reachability & reach-avoid).

AMYTISS enjoys high-performance computing (HPC) platforms together with cloud-computing services to mitigate the problem of state-explosion. This is always crucial in analyzing large-scale stochastic systems especially in safety-critical applications such as traffic networks and self-driving cars. This tool significantly improves performances with respect to computation time and memory usage by the parallel execution in different heterogeneous computing platforms including CPUs, GPUs and hardware accelerators (HWAs).

The ACM HSCC is a leading conference dedicated to the advancement of the theory and practice on all aspects of hybrid systems. The annually event brings together an international community of researchers and expertise in the field of “Hybrid Systems and Control” to discuss new research results, perspectives on future developments, and innovative applications relevant to the field.

Due to the Covid-19 situation, the 23th HSCC event went virtual with an online award ceremony, available at:

Bibliographic information

Title: AMYTISS: A Parallelized Tool on Automated Controller Synthesis for Large-Scale Stochastic Systems
Authors: Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani and Majid Zamani
Tool paper:
Tool download:

List of News

Der Newsletter von Munich Aerospace informiert Sie halbjährlich über Neuigkeiten, Veranstaltungen und Ausschreibungen des Vereins.