Forschende der ICCL mit Best Paper Award ausgezeichnet

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Neuigkeit vom 6. Juni 2024

Forschende der ICCL mit Best Paper Award ausgezeichnet

2024.05.16-rajab.png

Das Paper "Linear Dynamical Systems with Continuous Weight Functions" von Rajab Aghamov, Christel Baier, Toghrul Karimov, Joel Ouaknine and Jakob Piribauer erhielt den Best Paper Award auf der HSCC 2024. Die Forschungsarbeit untersucht zeitdiskrete lineare dynamische Systeme (LDS) und stellt Methoden zur Berechnung des mittleren Payoffs, des gesamten akkumulierten Gewichts und des diskontierten akkumulierten Gewichts von Orbits unter kontinuierlichen und polynomialen Gewichtsfunktionen vor. Solche Funktionen können verwendet werden, um quantitative Aspekte eines Systems zu modellieren, wie z.B. seinen Ressourcenverbrauch. Außerdem werden auch stochastische LDSs, LDSs mit begrenzten Bahnen und analysiert die Erfüllung von Energiebeschränkungen innerhalb gewichteter Bahnen.

Die HSCC 2024 ist eine führende Konferenz mit Beiträgen aus einem breiten Sprekturm von Bereichen wie cyber-physischen Systemen, Robotik und Systembiologie. Diese Veranstaltung ist Teil der 17. Cyber Physical Systems and Internet-of-Things Week, die zusammen mit mehreren anderen prominenten Konferenzen stattfindet.

Herzlichen Glückwunsch an die Autoren für ihren herausragenden Beitrag!