News97: Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Alex Ivliev (Diskussion | Beiträge)
(Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Forschende der ICCL mit Best Paper Award ausgezeichnet |Titel EN=HSCC 2024 Awards Best Paper to ICCL-Researchers |Beschreibung DE=<p>Das Paper [https://dl.acm.org/doi/10.1145/3641513.3650173 "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 [https://hscc.acm.org/2024/ HSCC 2024]. Die Forschungs…“)
 
Alex Ivliev (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Zeile 5: Zeile 5:
<p>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.</p>
<p>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.</p>
<p>Herzlichen Glückwunsch an die Autoren für ihren herausragenden Beitrag!</p>
<p>Herzlichen Glückwunsch an die Autoren für ihren herausragenden Beitrag!</p>
|Beschreibung EN=<p>The paper [https://dl.acm.org/doi/10.1145/3641513.3650173 "Linear Dynamical Systems with Continuous Weight Functions"] by [[Rajab Aghamov]], [[Christel Baier]], Toghrul Karimov, Joel Ouaknine and [[Jakob Piribauer]] has received the Best Paper Award at [https://hscc.acm.org/2024/ HSCC 2024]. The research explores discrete-time linear dynamical systems (LDSs) and introduces methods to compute the mean payoff, total accumulated weight, and discounted accumulated weight of orbits under continuous and polynomial weight functions. Such functions can be used to model quantatative aspects of a system, like its resource consumption. The study also examines stochastic LDSs, LDSs with bounded orbits, and analyzes the satisfaction of energy constraints within weighted orbits.</p>
|Beschreibung EN=<p>The paper [https://dl.acm.org/doi/10.1145/3641513.3650173 "Linear Dynamical Systems with Continuous Weight Functions"] by [[Rajab Aghamov]], [[Christel Baier]], Toghrul Karimov, Joel Ouaknine and Jakob Piribauer has received the Best Paper Award at [https://hscc.acm.org/2024/ HSCC 2024]. The research explores discrete-time linear dynamical systems (LDSs) and introduces methods to compute the mean payoff, total accumulated weight, and discounted accumulated weight of orbits under continuous and polynomial weight functions. Such functions can be used to model quantatative aspects of a system, like its resource consumption. The study also examines stochastic LDSs, LDSs with bounded orbits, and analyzes the satisfaction of energy constraints within weighted orbits.</p>
<p>HSCC 2024 is a premier conference that bridges control theory and computer science, featuring contributions from a wide array of domains including cyber-physical systems, robotics, and systems biology. This event is part of the 17th Cyber Physical Systems and Internet-of-Things Week, co-located with several other prominent conferences.</p>
<p>HSCC 2024 is a premier conference that bridges control theory and computer science, featuring contributions from a wide array of domains including cyber-physical systems, robotics, and systems biology. This event is part of the 17th Cyber Physical Systems and Internet-of-Things Week, co-located with several other prominent conferences.</p>
<p>Congratulations to the authors for their outstanding contribution!</p>
<p>Congratulations to the authors for their outstanding contribution!</p>

Version vom 6. Juni 2024, 10:47 Uhr

Neuigkeit vom 6. Juni 2024

Forschende der ICCL mit Best Paper Award ausgezeichnet

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!