Final colloquium Tycho van der Zijden

26 August 2021 13:30 till 14:15 - Location: online - By: DCSC

"Formal Synthesis of Event-Triggered Controllers"

In networked control systems the components of the control system communicate over a network, which poses challenges on the control synthesis procedure. Event-triggered control is used as a way to implement digital control for the system and to overcome inefficiencies of periodic control. Formal synthesis methods are considered to automatically synthesize correct controllers with  complex specifications beyond stability. The formal synthesis method that builds efficient event-triggered controllers from Lyapunov function variants turn out to be a powerful method. We propose a new type of Lyapunov function that ensures stability and safety towards a small region around the origin. We use the Lyapunov function to determine when the control input needs to be recalculated. This Lyapunov function also ensures that no Zeno behavior can occur. We use the CEGIS approach to simultaneously search for a stabilizing control law and this Lyapunov function. We also use the CEGIS approach to make feedback linearizing controllers event-triggered.

Join Zoom Meeting

Meeting ID: 936 7748 0857
Passcode: Tycho2021

Supervisor: M. Mazo