Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Schupp, Stefan"'
Representing time is crucial for cyber-physical systems and has been studied extensively in the Situation Calculus. The most commonly used approach represents time by adding a real-valued fluent $\mathit{time}(a)$ that attaches a time point to each a
Externí odkaz:
http://arxiv.org/abs/2402.03164
This paper proposes an algorithm to maximize reachability probabilities for rectangular automata with random clocks via a history-dependent prophetic scheduler. This model class incorporates time-induced nondeterminism on discrete behavior and nondet
Externí odkaz:
http://arxiv.org/abs/2304.14996
Publikováno v:
EPTCS 361, 2022, pp. 61-77
A swarm robotic system consists of a team of robots performing cooperative tasks without any centralized coordination. In principle, swarms enable flexible and scalable solutions; however, designing individual control algorithms that can guarantee a
Externí odkaz:
http://arxiv.org/abs/2207.06758
Autor:
Hofmann, Till, Schupp, Stefan
While Golog is an expressive programming language to control the high-level behavior of a robot, it is often tedious to use on a real robotic system. On an actual robot, the user needs to consider low-level details, such as enabling and disabling har
Externí odkaz:
http://arxiv.org/abs/2204.03596
Publikováno v:
In Science of Computer Programming February 2025 240
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Information and Computation November 2022 289 Part A
Publikováno v:
EPTCS 250, 2017, pp. 1-14
In this paper we propose an improvement for flowpipe-construction-based reachability analysis techniques for hybrid systems. Such methods apply iterative successor computations to pave the reachable region of the state space by state sets in an over-
Externí odkaz:
http://arxiv.org/abs/1707.04851
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Jenewein, Christian1 (AUTHOR), Schupp, Stefan M.2 (AUTHOR), Ni, Bing1 (AUTHOR), Schmidt-Mende, Lukas2 (AUTHOR), Cölfen, Helmut1 (AUTHOR) helmut.coelfen@uni-konstanz.de
Publikováno v:
Small Science. Aug2022, Vol. 2 Issue 8, p1-12. 12p.