![Rajab Aghamov](/media/cache/ce/64/ce6483082873e6f8d23dddf275fb975c.jpg)
July 11, 2024
Rajab Aghamov Wins Best Paper Award at HSCC 2024 for Work on Linear Dynamical Systems
Rajab Aghamov, a PhD student at TU Dresden, has been awarded the Best Paper Award at the ACM International Conference on Hybrid Systems: Computation and Control 2024 (HSCC 2024), a premier conference bridging control theory and Computer Science. His paper focuses on discrete-time linear dynamical systems (LDSs), addressing the computation of quantitative aspects such as mean payoff, total accumulated weight, and discounted accumulated weight using continuous and polynomial weight functions. This recognition underscores Rajab`s contributions to theoretical computer science and the excellence fostered by the SECAI graduate school at TU Dresden.
SECAI PhD candidate Rajab Aghamov, who originally studied at Moscow University and the Moscow Institute of Physics and Technology with a focus on mathematical logic, now pursues research at the intersection of theoretical computer science and applied mathematics. His current research interests include model checking and LDS. In discrete-time LDSs, a linear map is repeatedly applied to an initial vector, generating a sequence known as the orbit of the system. This sequence can be studied using weight functions, which assign weights to the points in the orbit to model various quantitative aspects such as resource consumption.
In his work, Rajab and co-authors explore several critical problems associated with LDSs. These include calculating the mean payoff, which involves determining the average weight over time for the orbit of the system, and the total accumulated weight, which is the sum of weights over the entire orbit. He also examines the discounted accumulated weight, evaluating the sum of weights with a discount factor applied, which is crucial for modeling long-term resource consumption. His research considers both continuous weight functions and polynomial weight functions as a specific case. Furthermore, he examines special scenarios involving stochastic LDSs and LDSs with bounded orbits. A significant part of his work addresses the decision problem of whether an energy constraint is satisfied by the weighted orbit, ensuring that the accumulated weight never falls below a specified threshold. Rajab`s recognition at such a prestigious conference is a testament to the quality and impact of his research. His achievements not only highlight his individual excellence but also reflect the high standards and supportive environment of the SECAI graduate school at TU Dresden.