ZGŁOŚ PROBLEMikona ozdobna

Pola oznaczone gwiazdką (*) są wymagane
*
*
*
*
captcha
Zapoznałem/am się i akceptuję regulamin oraz politykę prywatności *

ODSYŁACZE

Link do zasobu (portal):

Link do zasobu (skrót):

http://azon.e-science.pl/zasoby/40934

Link do zasobu (repozytorium):

https://id.e-science.pl/records/40934

Typ zasobu: artykuł, rozdział

Dowodzenie poprawności planów warunkowych

Widok

Metadane zasobu

Tytuł Dowodzenie poprawności planów warunkowych
Osoby Autorzy: Ireneusz Sierocki
Partner: Politechnika Wrocławska
Opis Referat zaprezentowany w 1996 roku na V Krajowej Konferencji Robotyki.
Praca dotyczy badania poprawności planów warunkowych dla robotów działających w otoczeniu stacjonarnym i deterministycznym. Skonstruowano formalny język opisu akcji warunkowych. W oparciu o zmodyfikowany logikę Hoare’a, zaproponowano dedukcyjny metodę sprawdzania poprawności planów warunkowych. (Polski)
Słowa kluczowe "robot"@pl, "Krajowa Konferencja Robotyki"@pl, "robotyka"@pl, "planowanie akcji"@pl, "plan warunkowy"@pl, "poprawność"@pl, "język formalny"@pl, "logika Hoare'a"@pl, "dowodzenie"@pl
Klasyfikacja Typ zasobu: artykuł, rozdział
Dyscyplina naukowa: dziedzina nauk technicznych / automatyka i robotyka (2011)
Grupa docelowa: naukowcy, nauczyciele, studenci
Szkodliwe treści: Nie
Charakterystyka Tytuł źródła: Materiały V Krajowej Konferencji Robotyki: tom 1
Miejsce wydania: Wrocław
Wydawca: Wydawnictwo Politechniki Wrocławskiej
Czas wydania: 1996
Od strony: 207
Do strony: 214
ISSN: 0324-9794
Język zasobu: Polski
Licencja CC BY-SA 4.0
Informacje techniczne Deponujący: Robert Muszyński
Data udostępnienia: 31-05-2019
Kolekcje Kolekcja Politechniki Wrocławskiej, Kolekcja e-Biblio PWr

Cytowanie

Skopiowano

Ireneusz Sierocki. Dowodzenie poprawności planów warunkowych. [artykuł, rozdział] Dostępny w Atlasie Zasobów Otwartej Nauki, . Licencja: CC BY-SA 4.0, https://creativecommons.org/licenses/by-sa/4.0/legalcode.pl. Data dostępu: DD.MM.RRRR.

Podobne zasoby

Algebraiczny warunek automatycznego generowania planów uniwersalnych

Ireneusz Sierocki, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)

Wizyjny system lokalizacji z estymatorem prędkości i przyspieszeń dla robota mobilnego

Marcin Kiełczewski, Dariusz Pazderski, Krzysztof Kozłowski, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)

Optymalne konfiguracje manipulatorów drzewiastych

Krystian Turczyn, Ignacy Dulęba, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)

Stanowisko rozpoznawania biosygnałów oparte na komercyjnym systemie akwizycji danych

Michał Błędowski, Andrzej Wołczowski, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)

Protokół komunikacyjny i architektura systemu do realizacji zadań w Internecie Wszechrzeczy

Stanisław Ambroszkiewicz, Waldemar Bartyna, Kamil Skarżyński, Marcin Stępniak, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)

Zobacz więcej