ZGŁOŚ PROBLEM
ODSYŁACZE
Link do zasobu (skrót):
http://zasobynauki.pl/zasoby/40717Link do zasobu (repozytorium):
https://id.e-science.pl/records/40717Metadane zasobu
Tytuł |
On semantics of behaviour languages |
---|---|
Osoby |
Autorzy:
Jacek Malec
Partner: Politechnika Wrocławska |
Opis |
The paper focuses on semantics of behaviour languages. Three such languages are briefly introduced (the Behavior Language, REX, and PTNs) and their common semantics is discussed using the Statecharts formalism. The goal of this research is to address the need for augmenting the “behaviour-based design” paradigm with theoretical tools both adequate for expressing complex behaviours of autonomous reactive systems pursuing high-level goals, and applicable to both analysis and synthesis tasks for such systems. The analysis of the behaviour languages’ semantics is a first step towards this goal. (Angielski) Opis w innym języku: Referat zaprezentowany w 1993 roku na IV Krajowej Konferencji Robotyki. (Polski) |
Słowa kluczowe | "robot"@pl, "Krajowa Konferencja Robotyki"@pl, "robotyka"@pl, "semantyka"@pl, "język programowania"@pl, "projektowanie behawioralne"@pl, "Semantyka"@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 IV Krajowej Konferencji Robotyki: tom 1
Miejsce wydania: Wrocław Wydawca: Wydawnictwo Politechniki Wrocławskiej Czas wydania: 1993 Od strony: 352 Do strony: 361 ISSN: 0324-9794 Język zasobu: Angielski |
Licencja | CC BY-SA 4.0 |
Informacje techniczne |
Deponujący: Robert Muszyński Data udostępnienia: 14-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)
Sterownik chwytaka trójpalczastego
Dawid Seredyński, Konrad Banachowicz, Tomasz Winiarski, Cezary Zieliński, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)