Polski
English
ZGŁOŚ PROBLEM
ODSYŁACZE
Link do zasobu (skrót):
http://zasobynauki.pl/zasoby/40934Link do zasobu (repozytorium):
https://id.e-science.pl/records/40934Metadane 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 |
Podobne zasoby
Algebraiczny warunek automatycznego generowania planów uniwersalnych
Ireneusz Sierocki, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)
Koordynacja agentów mobilnych z użyciem platformy V-Rep i języka skryptowego Lua. Badanie przydatności środowiska
Artur Wąż, Elżbieta Roszkowska, 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)