Search Results - "Gjøl Jensen, Peter"

Optimization of power-to-heat flexibility for residential buildings in response to day-ahead electricity price by Golmohamadi, Hessam, Guldstrand Larsen, Kim, Gjøl Jensen, Peter, Riaz Hasrat, Imran

“…Increasing the penetration of renewable power in Denmark, demand-side flexibility is offered as a workable solution to hedge against the intermittency and…”
Get full text

ADTLang: a programming language approach to attack defense trees by Hansen, René Rydhof, Larsen, Kim Guldstrand, Legay, Axel, Jensen, Peter Gjøl, Poulsen, Danny Bøgsted

“…The Attack Defense Tree framework was developed to facilitate abstract reasoning about security issues of complex systems. As such, a zoo of techniques and…”
Get full text

Integration of flexibility potentials of district heating systems into electricity markets: A review by Golmohamadi, Hessam, Larsen, Kim Guldstrand, Jensen, Peter Gjøl, Hasrat, Imran Riaz

“…Increasing the penetration of Renewable Energy Sources (RES), e.g. wind and solar, intermittency and volatility of the supply-side are increasing in power…”
Get full text

Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021 by Jensen, Peter Gjøl, Neele, Thomas

“…This special issue contains six revised and extended versions of tool papers that appeared in the proceedings of TACAS 2021, the 27th International Conference…”
Get full text

A toolchain for domestic heat-pump control using Uppaal Stratego by Hasrat, Imran Riaz, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Srba, Jiří

“…Heatpump-based floor-heating systems for domestic heating offer flexibility in energy consumption patterns, which can be utilized for reducing heating costs—in…”
Get full text

Hierarchical flexibility potentials of residential buildings with responsive heat pumps: A case study of Denmark by Golmohamadi, Hessam, Larsen, Kim Guldstrand, Jensen, Peter Gjøl, Hasrat, Imran Riaz

“…In Denmark, the penetration of Renewable Energy Sources (RES) has increased from 44% in 2015 to 55% in 2020 and is scheduled to increase up to 100% by 2050. To…”
Get full text

Discrete and continuous strategies for timed-arc Petri net games by Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Srba, Jiří

“…Automatic strategy synthesis for a given control objective can be used to generate correct-by-construction controllers of real-time reactive systems. The…”
Get full text

Stubborn Set Reduction for Two-Player Reachability Games by Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba

“…Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial…”
Get full text

Shielded Reinforcement Learning for Hybrid Systems by Brorholt, Asger Horn, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Lorber, Florian, Schilling, Christian

“…AISoLA 2023 Safe and optimal controller synthesis for switched-controlled hybrid systems, which combine differential equations and discrete changes of the…”
Get full text

Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures by Duijn, Ingo van, Jensen, Peter Gjol, Jensen, Jesper Stenbjerg, Krogh, Troels Beck, Madsen, Jonas Sand, Schmid, Stefan, Srba, Jiri, Thorgersen, Marc Tom

“…Future communication networks are expected to be highly automated, disburdening human operators of their most complex tasks. While the first powerful and…”
Get full text

Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction by Cassez, Franck, Jensen, Peter Gjøl, Larsen, Kim Guldstrand

“…We address the safety verification and synthesis problems for real-time systems. We introduce real-time programs that are made of instructions that can perform…”
Get full text

Stubborn Set Reduction for Two-Player Reachability Games by Bønneland, Frederik Meyer, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Muñiz, Marco, Srba, Jiří

“…Logical Methods in Computer Science, Volume 17, Issue 1 (March 18, 2021) lmcs:5997 Partial order reductions have been successfully applied to model checking of…”
Get full text

It's Time to Play Safe: Shield Synthesis for Timed Systems by Bloem, Roderick, Jensen, Peter Gjøl, Könighofer, Bettina, Larsen, Kim Guldstrand, Lorber, Florian, Palmisano, Alexander

“…Erroneous behaviour in safety critical real-time systems may inflict serious consequences. In this paper, we show how to synthesize timed shields from timed…”
Get full text

Approximating Euclidean by Imprecise Markov Decision Processes by Jaeger, Manfred, Bacci, Giorgio, Bacci, Giovanni, Larsen, Kim Guldstrand, Jensen, Peter Gjøl

“…Euclidean Markov decision processes are a powerful tool for modeling control problems under uncertainty over continuous domains. Finite state imprecise, Markov…”
Get full text

Dual Balancing of SoC/SoT in Smart Batteries Using Reinforcement Learning in Uppaal Stratego by Kristjansen, Martin, Kulkarni, Abhijit, Jensen, Peter Gjol, Teodorescu, Remus, Larsen, Kim Guldstrand

“…Battery packs in electric vehicles are managed by battery management systems that influence the state of charge among the cells in the pack, where such systems…”
Get full text

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU by Jensen, Peter Gjol, Larsen, Kim Guldstrand, Legay, Axel, Nyman, Ulrik

“…While standalone tools for verification and modeling have proven useful, their chosen formalism and description-language can at times be restrictive. We…”
Get full text