Definitions—Background

Abstract

This chapter presents the formalisms describing discrete dynamical systems and gives an overview on the convex optimization tools and methods used to compute the analyses. A dynamical system is a typical object used in control systems or in signal processing. In some cases, it is eventually implemented in a program to perform the desired feedback control to a cyber-physical system. Language-wise, model-based languages such as LUSTRE, ANSYS SCADE, or MATLAB Simulink provide primitives to build these dynamical systems or controllers relying on simpler constructs. In terms of programs, such dynamical systems can easily be implemented as a “while true loop” initialized by the initial state and performing the update f. The simplest systems are usually directly coded in the target language, while more advanced systems are compiled through autocoders.