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.