Výsledky vyhľadávania - "Larsen, Kim Guldstrand"

A faster‐than relation for semi‐markov decision processes Autor Ruggaard Pedersen, Mathias, Bacci, Giorgio, Guldstrand Larsen, Kim

“…When modeling concurrent or cyber-physical systems, non-functional requirements such as time are important to consider. In order to improve the timing aspects…”
Získať plný text

Sustainable Energy Systems Planning, Integration, and Management Autor Anvari-Moghaddam, Amjad, Mohammadi-ivatloo, Behnam, Asadi, Somayeh, Guldstrand Larsen, Kim, Shahidehpour, Mohammad

“…Energy systems worldwide are undergoing a major transformation as a consequence of the transition towards the widespread use of clean and sustainable energy…”
Získať plný text

Optimization of power-to-heat flexibility for residential buildings in response to day-ahead electricity price Autor 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…”
Získať plný text

Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures Autor Foshammer, Louise, Guldstrand Larsen, Kim, Mariegaard, Anders

“…This paper concerns branching simulation for weighted Kripke structures with parametric weights. Concretely, we consider a weighted extension of branching…”
Získať plný text

Dynamic Modeling and Analysis for Electricity-Gas Systems With Electric-Driven Compressors Autor Huang, Yujia, Sun, Qiuye, Chen, Zhe, Wenzhong Gao, David, Bach Pedersen, Torben, Guldstrand Larsen, Kim, Li, Yushuai

“…The dynamic gas flow model with static electric-driven compressor (EDC) model has been widely studied in coordinated analysis of integrated electricity-gas…”
Získať plný text

Contraction Heuristics for Tensor Decision Diagrams Autor Larsen, Christian Bøgh, Olsen, Simon Brun, Larsen, Kim Guldstrand, Schilling, Christian

“…In this paper, we study the equivalence problem for quantum circuits: Given two quantum circuits, are they equivalent? We reduce this problem to the…”
Získať plný text

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I Autor Groote, Jan Friso, Larsen, Kim Guldstrand

“…This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of…”
Získať plný text

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II Autor Groote, Jan Friso, Larsen, Kim Guldstrand

“…This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of…”
Získať plný text

Developing UPPAAL over 15 years Autor Behrmann, Gerd, David, Alexandre, Larsen, Kim Guldstrand, Pettersson, Paul, Yi, Wang

“…UPPAAL is a tool suitable for model checking real‐time systems described as networks of timed automata communicating by channel synchronizations and extended…”
Získať plný text

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

“…Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial…”
Získať plný text

Reasoning About Bounds in Weighted Transition Systems Autor Hansen, Mikkel, Larsen, Kim Guldstrand, Mardare, Radu, Pedersen, Mathias Ruggaard

“…We propose a way of reasoning about minimal and maximal values of the weights of transitions in a weighted transition system (WTS). This perspective induces a…”
Získať plný text

Abstract Dependency Graphs and Their Application to Model Checking

Získať plný text

Distributed Fleet Management in Noisy Environments via Model-Predictive Control Autor Bøgh, Simon, Gjøl Jensen, Peter, Kristjansen, Martin, Guldstrand Larsen, Kim, Nyman, Ulrik

“…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…”
Získať plný text

Shielded Reinforcement Learning for Safe and Optimal Cyber Physical Systems: Invited Presentation at the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification Autor Larsen, Kim Guldstrand

Získať plný text

Integration of flexibility potentials of district heating systems into electricity markets: A review Autor 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…”
Získať plný text

Economic heat control of mixing loop for residential buildings supplied by low-temperature district heating Autor Golmohamadi, Hessam, Larsen, Kim Guldstrand

“…Increasing the penetration of Renewable Energy Sources (RES), the heat pumps are an alternative solution to facilitate the integration of RES into district…”
Získať plný text

Randomized reachability analysis in UPPAAL: fast error detection in timed systems Autor Kiviriga, Andrej, Larsen, Kim Guldstrand, Nyman, Ulrik

“…Randomized reachability analysis is an efficient method for detection of safety violations. Due to the under-approximate nature of the method, it excels at…”
Získať plný text

Distributed Parametric and Statistical Model Checking Autor Bulychev, Peter, David, Alexandre, Larsen, Kim Guldstrand, Mikučionis, Marius, Legay, Axel

“…Statistical Model Checking (SMC) is a trade-off between testing and formal verification. The core idea of the approach is to conduct some simulations of the…”
Získať plný text

Algorithmic Minimization of Uncertain Continuous-Time Markov Chains Autor Cardelli, Luca, Grosu, Radu, Larsen, Kim G., Tribastone, Mirco, Tschaikowski, Max, Vandin, Andrea

“…The assumption of perfect knowledge of rate parameters in continuous-time Markov chains (CTMCs) is undermined when confronted with reality, where they may be…”
Získať plný text

Uncertainty-Aware Temporal Graph Convolutional Network for Traffic Speed Forecasting Autor Qian, Weizhu, Nielsen, Thomas Dyhre, Zhao, Yan, Larsen, Kim Guldstrand, Yu, James Jianqiao

“…Traffic speed forecasting has been a very active research area as it is essential for Intelligent Transportation Systems. Although a plethora of deep learning…”
Získať plný text