Naredni sastanak Seminara biće održan onlajn u sredu, 27. novembra 2024. godine, sa početkom u 19 časova.
Predavač: Đorđe Žikelić, Singapore Management University (SMU)
Naslov predavanja: NEURALNI KONTROLNI SISTEMI I NjIHOVA FORMALNA VERIFIKACIJA
Apstrakt:
Učenje s podsticanjem je ostvarilo impresivne rezultate, što je podstaklo interesovanje za njegovu upotrebu u automatskom upravljanju i robotici. Međutim, sigurnosno-kritična priroda automatskih kontrolnih sistema kao što su autonomna vozila dovodi u pitanje sigurnost naučenih kontrolora i zahteva sigurnosne garancije. Ovo predavanje će predstaviti neuro-simbolički okvir za učenje i formalnu verifikaciju neuralnih kontrolora u kontrolnim sistemima. Za zadati kontrolni sistem i specifikaciju svojstva koje sistem treba da zadovolji, naš metod uči neuralni kontrolor zajedno sa neuralnim sertifikatom koji formalno dokazuje da je specifikacija zadovoljena. Metod se takođe može koristiti i za formalnu verifikaciju već naučenih neuralnih kontrolora u odnosu na zadatu specifikaciju. Metod je primenjiv na stohastičke kontrolne sisteme, i predstavlja prvi metod za formalnu verifikaciju neuralnih kontrolora u stohastičkim kontrolnim sistemima.
Napomena:
Registraciona forma za učešće i link za aktivno praćenje predavanja za registrovane korisnike (nakon logovanja):
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p
Neregistrovani korisnici mogu da prate predavanja na ovom linku (bez mogućnosti aktivnog učešća):
https://miteam.mi.sanu.ac.rs/call/hR9vL94nD6QE8qQZj/xET9GcPMyR08nqH8lnS3SE7N5Vf00H7Lp9EBhsv6Lti
