Stubborn Set Reduction for Two-Player Reachability Games

Autor: Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba

Publikováno v: Logical Methods in Computer Science, Vol Volume 17, Issue 1 (2021)

Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial reduction in the size of the explored state space. We present a theory of partial order reduct

Externí odkaz: https://doaj.org/article/735f5ce760d74791b3443fab468d5cbf

Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures

Autor: Ingo van Duijn, Peter Gjøl Jensen, Marc Tom Thorgersen, Jiri Srba, Troels Beck Krogh, Stefan Schmid, Jesper Stenbjerg Jensen, Jonas Sand Madsen

Publikováno v: Duijn, I V, Jensen, P G, Jensen, J S, Krøgh, T B, Madsen, J S, Schmid, S, Srba, J & Thorgersen, M T 2022, ' Automata-Theoretic Approach to Verification of MPLS Networks under Link Failures ', I E E E-A C M Transactions on Networking, vol. 30, no. 2, pp. 766-781 . https://doi.org/10.1109/TNET.2021.3126572
Aalborg University

Future communication networks are expected to be highly automated, disburdening human operators of their most complex tasks. While the first powerful and automated network analysis tools are emerging, existing tools provide only limited and inefficie

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2567750961dd423574368b15df55c8b0
https://doi.org/10.1109/tnet.2021.3126572

Distributed Fleet Management in Noisy Environments via Model-Predictive Control

Autor: Simon Bøgh, Peter Gjøl Jensen, Ulrik Mathias Nyman, Kim Guldstrand Larsen, Martin Kristjansen

Publikováno v: Bøgh, S, Jensen, P G, Nyman, U, Larsen, K G & Kristjansen, M 2022, Distributed Fleet Management in Noisy Environments via Model-Predictive Control . in Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling . AAAI Press Association for the Advancement of Artificial Intelligence, Proceedings International Conference on Automated Planning and Scheduling, ICAPS, pp. 565-573, The 32nd International Conference on Automated Planning and Scheduling, Singapore, Singapore, 13/06/2022 . < https://ojs.aaai.org/index.php/ICAPS/article/view/19843/19602 >
Aalborg University

We consider dynamic route planning for a fleet of Autonomous Mobile Robots (AMRs) doing fetch and carry tasks on a shared factory floor. In this paper, we propose Stochastic Work Graphs (SWG) as a formalism for capturing the semantics of such distrib

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b2e0ed0d100d00b7cb9ce9e386616cee
https://vbn.aau.dk/ws/files/519451648/ICAPS_camera_ready.pdf

Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking

Autor: Peter Gjøl Jensen, Jiří Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt

Publikováno v: Lecture Notes in Computer Science ISBN: 9783030945824

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::ff08ee2c9dd9a5c5ab93f61ffefe25bd
https://doi.org/10.1007/978-3-030-94583-1_8

Integration of flexibility potentials of district heating systems into electricity markets:A review

Autor: Hessam Golmohamadi, Kim Guldstrand Larsen, Peter Gjøl Jensen, Imran Riaz Hasrat

Publikováno v: Golmohammadi, H, Larsen, K G, Jensen, P G & Riaz, I 2022, ' Integration of flexibility potentials of district heating systems into electricity markets : A review ', Renewable and Sustainable Energy Reviews, vol. 159, 112200 . https://doi.org/10.1016/j.rser.2022.112200

Increasing the penetration of Renewable Energy Sources (RES), e.g. wind and solar, intermittency and volatility of the supply-side are increasing in power systems worldwide. Therefore, the power systems need alternative forms of flexibility potential

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20e3f82802c1fe97d296f65dcaa9026a
https://vbn.aau.dk/da/publications/096c2344-1e82-4a76-a854-d280b1aefba7