Kolejny grant z programu „Miniatura 2” dla naukowca z UZ

R. Wiśniewski.JPG

Fot. archiwum prywatne R. Wiśniewskiego.

12.12.2018 r.

 


Grant w programie Miniatura 2 otrzymał dr hab. inż. Remigiusz Wiśniewski, kierownik Zakładu Informatyki Stosowanej w Instytucie Inżynierii Elektrycznej Wydziału Informatyki, Elektrotechniki i Automatyki Uniwersytetu Zielonogórskiego na realizację projektu  „Modelowanie systemów cyber-fizycznych z zastosowaniem interpretowanej sieci Petriego - staż naukowy w UC Berkeley”. Środki finansowe w wysokości 28 930 zł zostaną wykorzystane na realizację stażu naukowego w Uniwersytecie Kalifornijskim w Berkeley, który odbędzie się na przełomie marca i kwietnia 2019 roku.

 


W ramach przyznanego grantu autor projektu planuje  przeprowadzenie badań podstawowych pod kątem możliwości zastosowania interpretowanej sieci Petriego w modelowaniu systemów cyber-fizycznych (ang. Cyber-Physical Systems, CPS). Sieci Petriego umożliwiają graficzną reprezentację systemu, a ich największą zaletą jest uwzględnienie relacji współbieżności zachodzących w danym systemie. Dodatkowo, oferują szeroką gamę metod analizy i dekompozycji, wspomagających modelowanie oraz weryfikację projektowanego systemu.

 


Dr hab. inż. R. Wiśniewski planuje przeprowadzenie badań zorientowanych na opracowanie oraz zaadaptowanie istniejących metod modelowania, analizy oraz dekompozycji interpretowanej sieci Petriego do projektowania CPS. W tym celu odbędzie staż naukowy w Uniwersytecie Kalifornijskim w Berkeley (ang. University of California, Berkeley), u wybitnego specjalisty z zakresu systemów cyber-fizycznych, prof. Edwarda A. Lee. Planowany staż pozwoli zweryfikować rzeczywistą przydatność stosowania interpretowanych sieci Petriego w modelowaniu CPS.

 


Serdecznie gratulujemy otrzymanego grantu.

 
D&C JARY .:. (C) 2013-2016 Uniwersytet Zielonogórski .:. KONTAKT