An online session of the Algebra and Logic Seminar will be held on September 9, 2022 (Friday) at 1:00 pm (UTC+3).
A talk on:
Timing delays in cyber-physical systems
will be delivered by Naijun Zhan (Institute of Software Chinese Academy of Sciences ISCAS, China).
Abstract. 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.
Join Zoom meeting:
Algebra and Logic Department, IMI-BAS