BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Institute of Mathematics and Informatics - ECPv6.0.8//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Institute of Mathematics and Informatics
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:20230929T130000
DTEND;TZID=Europe/Sofia:20230929T143000
DTSTAMP:20260427T214854
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