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:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20221030T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20220909T130000
DTEND;TZID=Europe/Sofia:20220909T143000
DTSTAMP:20260622T201323
CREATED:20220902T110036Z
LAST-MODIFIED:20220902T111017Z
UID:12814-1662728400-1662733800@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 9 септември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nTiming delays in cyber-physical systems\nще изнесе Naijun Zhan (Institute of Software Chinese Academy of Sciences ISCAS\, China). \n\nАбстракт. With the rapid development of feedback control\, sensor techniques and computer control\, time delay has become an essential feature of cyber-physical systems (CPSs)\, underlying both the continuous evolution of physical plants and the discrete transition of computer programs\, which may well annihilate the stability/safety certificate and control performance of CPSs. In the safety-critical context\, automatic verification and synthesis methods addressing time-delay in CPSs should therefore abound. However\, surprisingly\, they do not\, although time-delay has been extensively studied in the literature of mathematics and control theory from a qualitative perspective. In this talk\, we will report our recent efforts to tackle these issues\, including bounded and unbounded verification of delay differential equations and controller synthesis for time-delayed systems\, and discuss remaining challenges and future trends. \n\n  \nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09\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-85/
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