BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Institute of Mathematics and Informatics - ECPv6.0.8//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://math.bas.bg
X-WR-CALDESC:Събития за Institute of Mathematics and Informatics
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Sofia
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20230926T140000
DTEND;TZID=Europe/Sofia:20230926T153000
DTSTAMP:20260427T223716
CREATED:20230917T153449Z
LAST-MODIFIED:20230918T115002Z
UID:14963-1695736800-1695742200@math.bas.bg
SUMMARY:Съвместно заседание на общия семинар на секция „Анализ\, геометрия и топология“ и семинара на секция „Алгебра и логика”
DESCRIPTION:На 26 септември 2023 г. от 14:00 часа в зала 478 на ИМИ-БАН\nще се проведе съвместно заседание на\nобщия семинар на секция „Анализ\, геометрия и топология“\nи семинара на секция „Алгебра и логика”. \nДоклад на тема \nBurau Representation and Application to Reducibility and Exchangeability of Braids\nще изнесе Alexander Stоimenov\, Dongguk University\, Republic of Korea. \nАбстракт. 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.
URL:https://math.bas.bg/event/%d1%81%d1%8a%d0%b2%d0%bc%d0%b5%d1%81%d1%82%d0%bd%d0%be-%d0%b7%d0%b0%d1%81%d0%b5%d0%b4%d0%b0%d0%bd%d0%b8%d0%b5-%d0%bd%d0%b0-%d0%be%d0%b1%d1%89%d0%b8%d1%8f-%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Работен семинар,Редовен семинар
ORGANIZER;CN="%D0%98%D0%BD%D1%81%D1%82%D0%B8%D1%82%D1%83%D1%82%20%D0%BF%D0%BE%20%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0%20%D0%B8%20%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0%20-%20%D0%91%D0%90%D0%9D":MAILTO:office@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20230929T130000
DTEND;TZID=Europe/Sofia:20230929T143000
DTSTAMP:20260427T223716
CREATED:20230925T142821Z
LAST-MODIFIED:20230925T145459Z
UID:15043-1695992400-1695997800@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 29 септември 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nReset Controller Synthesis\nще изнесе Naijun Zhan (Institute of Software Chinese Academy of Sciences (ISCAS)\, China). \nАбстракт. 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 recent work on the reset controller synthesis for HS. The basic idea is to reduce the problem of guaranteeing safety and liveness properties to differential invariant generation and generalized reach-avoid problems. For polynomial hybrid systems\, those problems can be solved by further reduced to convex optimizations. \nMoreover\, for reality\, we discuss this issue in the context of time-delay\, as time delay is inevitable in practice. So\, we investigate the reset controller synthesis problem for delay hybrid systems (dHS).\n\nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: Sep 29\, 2023 01:00 PM Sofia\nMeeting ID: 851 3737 5021\nPasscode: 035647\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-101/
LOCATION:Zoom
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
END:VCALENDAR