Podczas zajęć pokażę, w jaki sposób sieci Petriego, czyli graficzne modele złożone z okręgów, kropek i strzałek, mogą służyć do opisywania oraz koordynowania działania robotów. Na prostych przykładach omówię, jak za ich pomocą przedstawiać kolejność wykonywanych czynności, zadania realizowane równolegle, zależności między działaniami, ograniczone zasoby, takie jak energia i czas, a także sytuacje awaryjne. Uczestnicy zobaczą, że matematyka może być nie tylko narzędziem do wykonywania obliczeń, lecz także podstawą wykonywalnych modeli, które pomagają robotom organizować działania i reagować na zmieniające się warunki. Zajęcia będą oparte na przykładach z robotyki oraz aktualnie prowadzonych badaniach i nie wymagają wcześniejszej znajomości sieci Petriego ani robotyki.
Maksym Figat
realizator opis
Absolwent informatyki na Wydziale Matematyki i Nauk Informacyjnych Politechniki Warszawskiej. Stopień doktora uzyskał z wyróżnieniem na Wydziale Elektroniki i Technik Informacyjnych PW, gdzie obecnie pracuje na stanowisku adiunkta. Zajmuje się robotyką, inżynierią systemów autonomicznych oraz metodami formalnymi, a jego badania koncentrują się na automatycznej syntezie specyfikacji i sterowników systemów robotycznych, tworzeniu wykonywalnych modeli zachowania oraz formalnej weryfikacji systemów autonomicznych. Jest autorem i współautorem około 30 publikacji naukowych oraz kierował projektem badawczym NCN PRELUDIUM 13. Doświadczenie naukowe zdobywał w NASA Jet Propulsion Laboratory i California Institute of Technology w Stanach Zjednoczonych, Imperial College London w Wielkiej Brytanii, francuskim ośrodku badawczym ONERA oraz Griffith University w Australii. Jest laureatem Stypendium Ministra Nauki i Szkolnictwa Wyższego dla Wybitnych Młodych Naukowców, programu im. Bekkera Narodowej Agencji Wymiany Akademickiej oraz stypendium The Kosciuszko Foundation Exchange Program to the United States. Za rozprawę doktorską otrzymał Nagrodę Prezesa Rady Ministrów, Nagrodę Główną 20. edycji konkursu ABB oraz pierwsze miejsce w konkursie „Młodzi Innowacyjni” organizowanym przez Sieć Badawczą Łukasiewicz i Przemysłowy Instytut Automatyki i Pomiarów PIAP.
dzień
10/09/2026
tagi
LO
III-IV LO
SP
wykład
