Softwareentwicklung

 

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems

Ein fortgeschrittenes Softwaretool geschrieben in C++/OpenCL, das parallele automatische Reglersynthese für weitläufige zeitdiskrete stochastische Systeme bereitstellt, was für viele sicherheitskritische Anwendungen, wie automatisierte Fahrzeuge, unabdingbar ist. Dieses Tool erlaubt es:

• endliche Markov-Entscheidungsprozesse (MDPs) als endliche Abstraktionen von gegebenen Systemen zu berechnen;

• automatische Regler für die konstruierten MDPs zu synthetisieren, die high-level Anforderungen (Sicherheit & Erreichbarkeit) erfüllen.

AMYTISS nutzt hoch performante Computing-Plattformen und Cloud-basierte Server, um die Probleme der Zustandsexplosion zu minimieren, die bei der Analyse weitläufiger stochastischer Systeme auftritt. Dieses Tool verbessert die Leistung im Bezug auf Speichernutzung und Berechnungszeit signifikant indem es Prozesse in verschiedenen heterogenen ComputingPlatformen wie CPUs, GPUs und HWAs paralellisiert.

Herunterladen

AMYTISS ist ein Open-Source-Tool und kann aus dem GitHub-Repository heruntergeladen werden. AMYTISS benötigt das Beschleunigungs-Ökosystem pFaces, das hier heruntergeladen werden kann.

Werkzeugpapier

• A. Lavaei*, M. Khaled*, S. Soudjani, and M. Zamani, AMYTISS: PArallelized AutoMated Controller SYnthesis for Large-Scale STochastIc SystemS, 32nd International Conference on Computer-Aided Verification (CAV), Lecture Notes in Computer Science 12225, pp. 461-474, Springer, 2020. (Akzeptanzrate: 27%)

• A. Lavaei, M. Khaled, S. Soudjani, and M. Zamani, AMYTISS: A Parallelized Tool on Automated Controller Synthesis for Large-Scale Stochastic Systems, 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2020. (Best Demo/Poster Award)

Unterstützung

Bitte melden Sie alle Probleme / Fehler, die bei der Installation und Ausführung von AMYTISS auftreten, an Abolfazl Lavaei oder Mahmoud Khaled.