Formal methods for discrete-time dynamical systems
type: Item
instance of: scholarly article
title: Formal methods for discrete-time dynamical systems
zbMATH Open document ID: 1409.93003
DOI: 10.1007/978-3-319-50763-7
author: Calin Belta
author: Boyan Yordanov
author: Ebru Aydin Gol
published in: Studies in Systems, Decision and Control
publication date: 2017-07-31T00:00:00Z
review text: The book presents an introduction to the concept of characterizing discrete-time dynamical systems through the use of transition systems and temporal logic. This novel approach has been the cutting edge in the analysis of control systems the last decades, and this book is an excellent choice for readers being introduced to the concept. By providing the required background from the fields of dynamical systems and also formal methods, this textbook can introduce researchers from both fields to the concept of integrating formal methods and control, building up from introductory material to more advanced concepts. Thus, this work is suitable both for researchers from these fields, and also young graduates, provided they are familiar with fundamental concepts of systems theory and theoretical computer science. A strong feature of this work is its plethora of examples, which greatly help in understanding the presented theory, and also help the reader get an idea for the applications that can be considered. Part I is the introductory part of the book and presents transition systems, which are used to represent dynamical systems. Finite abstractions of systems are defined, along with simulation and bisimulation relations. Linear temporal logic and finite automata are also introduced. Part II develops model checking techniques and finite temporal logic control. Part III takes up the largest portion of the book, and is devoted to various control problems for discrete time dynamical systems, starting from the largest satisfying region and building up to advanced problems like language guided controller synthesis and optimal temporal logic control.
reviewed by: Lazaros Moysis
Mathematics Subject Classification ID: 93-02
Mathematics Subject Classification ID: 93C55
Mathematics Subject Classification ID: 93C30
Mathematics Subject Classification ID: 93C05
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6754896
zbMATH Keywords: temporal logic
zbMATH Keywords: automata
zbMATH Keywords: control
zbMATH Keywords: dynamical systems
zbMATH Keywords: discrete time systems
zbMATH Keywords: formal methods
zbMATH Keywords: linear systems
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-319-50763-7
OpenAlex ID: W2594675090
Recommended article: Q3842705
Recommended article: Formal methods for analysis of discrete systems using a specification language
Recommended article: Q4237420
Recommended article: Formal Verification and Synthesis for Discrete-Time Stochastic Systems
Recommended article: Q4353480
Recommended article: A mechanism for the formal description of dynamic systems
Recommended article: Q2723336
Recommended article: Formal Analysis of Discrete-Time Piecewise Affine Systems
Recommended article: Formal Methods for Control of Nonlinear Systems
description: scientific article; zbMATH DE number 6754896