![Rajab Aghamov](/media/cache/ce/64/ce6483082873e6f8d23dddf275fb975c.jpg)
11.07.2024
Rajab Aghamov gewinnt den Best Paper Award beim HSCC 2024 für seine Arbeit über lineare dynamische Systeme
Rajab Aghamov, Doktorand an der TU Dresden, gewinnt den Best Paper Award auf der ACM International Conference on Hybrid Systems: Computation and Control 2024 (HSCC 2024), einer führenden Konferenz zur Verbindung von Kontrolltheorie und Informatik. Sein Beitrag konzentriert sich auf zeitdiskrete lineare dynamische Systeme (LDS) und befasst sich mit der Berechnung quantitativer Aspekte wie dem mittleren Payoff, dem gesamten akkumulierten Gewicht und dem diskontierte akkumulierten Gewicht unter Verwendung kontinuierlicher und polynomialer Gewichtsfunktionen. Diese Anerkennung betont Rajabs Beiträge zur theoretischen Informatik und die Exzellenz, die von der SECAI-Graduiertenschule der TU Dresden gefördert wird.
Der SECAI-Doktorand Rajab Aghamov, der ursprünglich an der Moskauer Universität und am Moskauer Institut für Physik und Technologie mit dem Schwerpunkt mathematische Logik studierte, forscht nun an der Schnittstelle zwischen theoretischer Informatik und angewandter Mathematik. Zu seinen aktuellen Forschungsinteressen gehören Modellüberprüfung und LDS. Bei zeitdiskreten LDS wird eine lineare Abbildung wiederholt auf einen Anfangsvektor angewendet, wodurch eine Sequenz entsteht, die als Orbit des Systems bekannt ist. Diese Sequenz kann mit Hilfe von Gewichtsfunktionen untersucht werden, die den Punkten in dem Orbit Gewichte zuweisen, um verschiedene quantitative Aspekte wie den Ressourcenverbrauch zu modellieren.
In seiner Arbeit untersuchen Rajab und seine Mitautoren mehrere kritische Probleme im Zusammenhang mit LDSs. Dazu gehören die Berechnung des mittleren Payoffs, bei dem das durchschnittliche Gewicht über die Zeit für den Orbit des Systems bestimmt wird, und das akkumulierte Gesamtgewicht, das die Summe der Gewichte über den gesamten Orbit ist. Er untersucht auch das diskontierte akkumulierte Gewicht, indem er die Summe der Gewichte unter Anwendung eines Diskontierungsfaktors bewertet, was für die Modellierung des langfristigen Ressourcenverbrauchs von entscheidender Bedeutung ist. In seiner Forschung werden sowohl kontinuierliche Gewichtsfunktionen als auch polynomiale Gewichtsfunktionen als Sonderfall betrachtet. Darüber hinaus untersucht er spezielle Szenarien mit stochastischen LDSs und LDSs mit begrenzten Orbits. Ein wesentlicher Teil seiner Arbeit befasst sich mit dem Entscheidungsproblem, ob eine Energiebeschränkung durch die gewichtete Orbits erfüllt wird, indem sichergestellt wird, dass das akkumulierte Gewicht niemals unter einen bestimmten Schwellenwert fällt.