Projekty finansowane przez NCN
Analiza oraz dekompozycja części sterującej systemu cyber-fizycznego opisanego z zastosowaniem interpretowanej sieci Petriego.
2019/35/B/ST6/01683
Słowa kluczowe:
część sterująca systemu cyber-fizycznego sieć Petriego analiza dekompozycja współbieżność metody formalne
Deskryptory:
- ST6_2: Systemy komputerowe, systemy równoległe i rozproszone, sieci sensorów, systemy wbudowane, systemy cybernetyczne
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe
- ST6_14: Inne zagadnienia pokrewne
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 5
Konkurs: OPUS 18 - ogłoszony 2019-09-16
Przyznana kwota: 672 000 PLN
Rozpoczęcie projektu: 2020-06-01
Zakończenie projektu: 2023-06-25
Planowany czas trwania projektu: 36 miesięcy (z wniosku)
Status projektu: Projekt zakończony
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.