Zobrazeno 1 - 10
of 52
pro vyhledávání: '"Kim G. Larsen"'
Autor:
Guohan Zhao, Michael R. Rasmussen, Kim G. Larsen, Jiri Srba, Thomas D. Nielsen, Martijn A. Goorden, Weizhu Qian, Jesper E. Nielsen
Publikováno v:
Journal of Hydroinformatics, Vol 25, Iss 4, Pp 1256-1275 (2023)
Flow-regulated stormwater ponds providing safe outflow discharges prevail as the primary stormwater management tool for stream protections. Detailed pond geometries are essential metrics in pond monitoring technologies, which convert the point-based
Externí odkaz:
https://doaj.org/article/3b0ce51ddc6045298ea815e8a9c86a5a
Publikováno v:
Logical Methods in Computer Science, Vol Volume 17, Issue 1 (2021)
The probabilistic bisimilarity distance of Deng et al. has been proposed as a robust quantitative generalization of Segala and Lynch's probabilistic bisimilarity for probabilistic automata. In this paper, we present a characterization of the bisimila
Externí odkaz:
https://doaj.org/article/c6f32619ae8444a09335d630eb19c76a
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 227, Iss Proc. QAPL 2016, Pp 1-14 (2016)
Energy games are infinite two-player games played in weighted arenas with quantitative objectives that restrict the consumption of a resource modeled by the weights, e.g., a battery that is charged and drained. Typically, upper and/or lower bounds on
Externí odkaz:
https://doaj.org/article/f536973687534448a0fafedc8f0b789f
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 4 (2018)
In this paper we propose a complete axiomatization of the bisimilarity distance of Desharnais et al. for the class of finite labelled Markov chains. Our axiomatization is given in the style of a quantitative extension of equational logic recently pro
Externí odkaz:
https://doaj.org/article/bc987de65f4d4b95b6f3e02fe032fc3a
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 193, Iss Proc. GandALF 2015, Pp 1-15 (2015)
Two-player quantitative zero-sum games provide a natural framework to synthesize controllers with performance guarantees for reactive systems within an uncontrollable environment. Classical settings include mean-payoff games, where the objective is t
Externí odkaz:
https://doaj.org/article/a87a5c255e5a463ba2d933f1030f3835
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 2 (2017)
We propose a distance between continuous-time Markov chains (CTMCs) and study the problem of computing it by comparing three different algorithmic methodologies: iterative, linear program, and on-the-fly. In a work presented at FoSSaCS'12, Chen et al
Externí odkaz:
https://doaj.org/article/20d51ffaea6a44a0b2ec2a6f0224455d
Publikováno v:
Logical Methods in Computer Science, Vol Volume 12, Issue 4 (2017)
We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics. We argue that uniform continuity (generalizing the earlier proposed property of non-expansiveness) cap
Externí odkaz:
https://doaj.org/article/f5d05a114a874bb5b04ae7233b139341
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 103, Iss Proc. QFM 2012, Pp 49-63 (2012)
Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed for automatically learning system models based on observed system beha
Externí odkaz:
https://doaj.org/article/af821cf6d2e644648f342f591e57800f
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 103, Iss Proc. QFM 2012, Pp 33-47 (2012)
This paper shows that a classic metalogical framework, including all Boolean operators, can be used to support the development of a metric behavioural theory for Markov processes. Previously, only intuitionistic frameworks or frameworks without negat
Externí odkaz:
https://doaj.org/article/3ac9531735214e7d8badc21429feb3f0
Autor:
Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 105, Iss Proc. FTSCS 2012, Pp 135-149 (2012)
Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observed from outside. Such systems may also involve intensive computing in t
Externí odkaz:
https://doaj.org/article/8c3ecb35f34840e88adba76a079934ed