In this paper, we present a sampling-based verification algorithm for embedded robotic systems with continuous dynamics and uncertainty due to adversaries, unmodeled disturbance inputs, unknown parameters, or initial ...
详细信息
In this paper, we present a sampling-based verification algorithm for embedded robotic systems with continuous dynamics and uncertainty due to adversaries, unmodeled disturbance inputs, unknown parameters, or initial conditions. The algorithm attempts to find inputs (and resulting trajectories) that falsify the specifications of the system thus providing examples of bad inputs to the system. The system is said to be verified if the algorithm cannot find falsifying inputs. The main contribution of the paper is the analysis of the effects of discretization of the state and input spaces that are inherent to sampling-based techniques. We derive conditions that guarantee resolution completeness. These provide sufficient, although conservative, conditions for verifying Lipschitz continuous (but possibly non-smooth) dynamic systems without known analytical solutions. We analyze the effects of transformations of the input and state space on these conditions. The main results of this paper are illustrated with several simple examples.
In this paper, we present a sampling-based verification algorithm for embedded robotic systems with continuous dynamics and uncertainty due to adversaries, unmodeled disturbance inputs, unknown parameters, or initial ...
详细信息
ISBN:
(纸本)9783540684046
In this paper, we present a sampling-based verification algorithm for embedded robotic systems with continuous dynamics and uncertainty due to adversaries, unmodeled disturbance inputs, unknown parameters, or initial conditions. The algorithm attempts to find inputs (and resulting trajectories) that falsify the specifications of the system thus providing examples of bad inputs to the system. The system is said to be verified if the algorithm cannot find falsifying inputs. The main contribution of the paper is the analysis of the effects of discretization of the state and input spaces that are inherent to sampling-based techniques. We derive conditions that guarantee resolution completeness. These provide sufficient, although conservative, conditions for verifying Lipschitz continuous (but possibly non-smooth) dynamic systems without known analytical solutions. We analyze the effects of transformations of the input and state space on these conditions. The main results of this paper are illustrated with several simple examples.
Tato práce se zabývá problémem plánování pohybu objektu ve 3D prostoru. Cílem je vytvořit program, který uživateli umožní vytvořit scénu, ve které bude hled&...
详细信息
Tato práce se zabývá problémem plánování pohybu objektu ve 3D prostoru. Cílem je vytvořit program, který uživateli umožní vytvořit scénu, ve které bude hledání cesty probíhat, automaticky pak cestu vyhledá a nakonec ji bude vizualizovat. Práce je zaměřena na pravděpodobnostní algoritmy, které jsou spolu s důležitými pojmy popsány v teoretické části. V praktické části je popsán návrh a implementace aplikace. Nakonec je provedeno několik experimentů pro porovnání výkonu jednotlivých algoritmů a demonstraci funkčnosti programu.
Tato bakalářská práce pojednává o pravděpodobnostních algoritmech pro hledání cesty holonomického (hlavně robota typu auto) a pružného robota. Obsahuje stručný ...
详细信息
Tato bakalářská práce pojednává o pravděpodobnostních algoritmech pro hledání cesty holonomického (hlavně robota typu auto) a pružného robota. Obsahuje stručný teoretický popis pravděpodobnostních algoritmů včetně diskuze nad implementačními detaily. Součástí práce jsou java applety a webové stránky věnované této problematice.
V následující práci jsou předvedeny základy plánování v prostoru se zaměřením na pravděpodobnostní plánování. Oborem úzce spjatým ...
详细信息
V následující práci jsou předvedeny základy plánování v prostoru se zaměřením na pravděpodobnostní plánování. Oborem úzce spjatým je detekce kolizí, s užitím lineární algebry je vytvořen systém pro kolize objektů v libovolném počtu rozměrů. Jsou popsány základní možnosti vizualizace trojrozměrných dat. Vybrané algoritmy byly implementovány v haskellu a užity k vytažení ježka z klece.
Tato bakalářská práce pojednává o pravděpodobnostních algoritmech pro hledání cesty robota. Obsahuje teoretický popis pravděpodobnostních algoritmů včetně diskuze n...
详细信息
Tato bakalářská práce pojednává o pravděpodobnostních algoritmech pro hledání cesty robota. Obsahuje teoretický popis pravděpodobnostních algoritmů včetně diskuze nad implementačními detaily, přibližuje jejich využití a popisuje jednotlivé algoritmy - PRM, EST, RRT a SRT včetně jejich dalších modifikací. Součástí práce jsou java applety znázorňující vybrané algoritmy a také webové stránky věnované této problematice.
暂无评论