На 9 септември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”.
Доклад на тема:
Timing delays in cyber-physical systems
ще изнесе Naijun Zhan (Institute of Software Chinese Academy of Sciences ISCAS, China).
Абстракт. 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.
От секция „Алгебра и логика” на ИМИ – БАН