Print Email Facebook Twitter Formal Synthesis of Event-Triggered Controllers Title Formal Synthesis of Event-Triggered Controllers Author van der Zijden, Tycho van der Zijden (TU Delft Mechanical, Maritime and Materials Engineering) Contributor Mazo, M. (mentor) Verdier, C.F. (graduation committee) Degree granting institution Delft University of Technology Programme Mechanical Engineering | Systems and Control Date 2021-08-26 Abstract In networked control systems (NCS), the components of the control system communicate over a network, which poses challenges to the control synthesis procedure. Signal sampling is one of those challenges. A typical approach is to sample the signal periodically, but this can be inefficient. Event-triggered control (ETC) is a more efficient way to implement digital control for NCS because the control input is only recalculated when a triggering condition is violated. However, formal synthesis of event-triggered controllers is an open topic. In this work, we propose different methods to synthesize event-triggered controllers. The event-triggered controller consists of a triggering function based on a certificate function and a stabilizing feedback law. Counterexample-Guided Inductive Synthesis (CEGIS) is used to synthesize formally correct controllers. The feedback law is synthesized along with the certificate function or using feedback linearization. This framework is also extended to the synthesis of periodic event-triggered controllers, which periodically evaluate the triggering condition. A method is provided for how the sampling time of the triggering condition should be chosen. The synthesis approach is tested on several systems, through which the effectiveness of the approaches are demonstrated. It is shown that the method can synthesize event-triggered controllers for general nonlinear systems. Subject event-triggered controlformal synthesissmt-solvers To reference this document use: http://resolver.tudelft.nl/uuid:d7cf9771-83cb-46c1-aae8-dde890758432 Part of collection Student theses Document type student report Rights © 2021 Tycho van der Zijden van der Zijden Files PDF Thesis_Tycho_van_der_Zijden.pdf 1.39 MB Close viewer /islandora/object/uuid:d7cf9771-83cb-46c1-aae8-dde890758432/datastream/OBJ/view