The next meeting of the Algebra and Logic Seminar will be held online in Zoom on September 29, 2023 (Friday) at 1:00 pm (UTC+2).
A talk on:
Reset Controller Synthesis
will be delivered by Naijun Zhan (Institute of Software Chinese Academy of Sciences (ISCAS), China).
Abstract. 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.
The seminar will be held via Zoom and anyone can join by following the link:
https://us02web.zoom.us/j/
Algebra and Logic Department, IMI – BAS
http://www.math.bas.bg/algebra/seminarAiL/
============================== =====================