На 26 септември 2023 г. от 14:00 часа в зала 478 на ИМИ-БАН ще се проведе съвместно заседание на общия семинар на секция „Анализ, геометрия и топология“ и семинара на секция „Алгебра и логика”. Доклад на тема Burau Representation and Application to Reducibility and Exchangeability of Braids ще изнесе Alexander Stоimenov, Dongguk University, Republic of Korea. Абстракт. I will give an introduction to the braid groups, closure operation, Markov theorem, and exchange move. Then I will introduce the Burau representation, and discuss its application to reducibiliy and exchangeability of braids.

На 29 септември 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Reset Controller Synthesis ще изнесе Naijun Zhan (Institute of Software Chinese Academy of Sciences (ISCAS), China). Абстракт. Controller synthesis provides a Correct-by-construction mechanism to guarantee the correctness and reliability of hybrid systems (HS) by design. Depending on the types of controls, controllers can be classified into reset controllers, feedback controllers, and switching logic controllers. Reset controllers steer the behaviour of a HS to attain system objective through restricting its initial set and redefining the reset map associated with discrete jumps, which is less explored in the literature, although it is of theoretical and practical significance. In this talk, I will summarize our [...]