Наредни састанак Семинара биће одржан онлајн у среду, 27. новембра 2024. године, са почетком у 19 часова.
Предавач: Ђорђе Жикелић, Singapore Management University (SMU)
Наслов предавања: НЕУРАЛНИ КОНТРОЛНИ СИСТЕМИ И ЊИХОВА ФОРМАЛНА ВЕРИФИКАЦИЈА
Апстракт: Учење с подстицањем је остварило импресивне резултате, што је подстакло интересовање за његову употребу у аутоматском управљању и роботици. Међутим, сигурносно-критична природа аутоматских контролних система као што су аутономна возила доводи у питање сигурност научених контролора и захтева сигурносне гаранције. Ово предавање ће представити неуро-симболички оквир за учење и формалну верификацију неуралних контролора у контролним системима. За задати контролни систем и спецификацију својства које систем треба да задовољи, наш метод учи неурални контролор заједно са неуралним сертификатом који формално доказује да је спецификација задовољена. Метод се такође може користити и за формалну верификацију већ научених неуралних контролора у односу на задату спецификацију. Метод је примењив на стохастичке контролне системе, и представља први метод за формалну верификацију неуралних контролора у стохастичким контролним системима.
Напомена: Регистрациона форма за учешће и линк за активно праћење предавања за регистроване кориснике (након логовања):
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p
Нерегистровани корисници могу да прате предавања на овом линку (без могућности активног учешћа):
https://miteam.mi.sanu.ac.rs/call/hR9vL94nD6QE8qQZj/xET9GcPMyR08nqH8lnS3SE7N5Vf00H7Lp9EBhsv6Lti