Discrete-Time and Discrete-Space Dynamical Systems /

Saved in:

Bibliographic Details
Author / Creator:	Zhang, Kuize.
Imprint:	Cham : Springer, 2020.
Description:	1 online resource (xiv, 222 pages) : illustrations (some color)
Language:	English
Series:	Communications and control engineering Communications and control engineering.
Subject:	Discrete-time systems. Discrete-time systems.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/12601872

Hidden Bibliographic Details
Other authors / contributors:	Zhang, Lijun, 1979- Xie, Lihua.
ISBN:	9783030259723 3030259722 9783030259716
Notes:	Includes bibliographical references and index.
Summary:	Discrete-Time and Discrete-Space Dynamical Systems provides a systematic characterization of the similarities and differences of several types of discrete-time and discrete-space dynamical systems, including: Boolean control networks; nondeterministic finite-transition systems; finite automata; labelled Petri nets; and cellular automata. The book's perspective is primarily based on topological properties though it also employs semitensor-product and graph-theoretic methods where appropriate. It presents a series of fundamental results: invertibility, observability, detectability, reversiblity, etc., with applications to systems biology. Academic researchers with backgrounds in applied mathematics, engineering or computer science and practising engineers working with discrete-time and discrete-space systems will find this book a helpful source of new understanding for this increasingly important class of systems. The basic results to be found within are of fundamental importance for further study of related problems such as automated synthesis and safety control in cyber-physical systems using formal methods.
Standard no.:	10.1007/978-3-030-25

Table of Contents:

Introduction
Preliminaries
Introduction to Different Types of Discrete-Time and Discrete-Space Dynamical Systems
Invertibility and Nonsingularity of Boolean Control Networks
Observability of Boolean Control Networks
Detectability of Boolean Control Networks
Observability and Detectability of Large-Scale Boolean Control Networks
Observability of Nondeterministic Finite-Transition Systems
Detectability of Nondeterministic Finite-Transition Systems
Detectability of Finite-State Automata
Detectability of Labelled Petri Nets
Generalized Reversibility of Topological Dynamical Systems and Cellular Automata
Generalized Reversibility of Variant Cellular Automata
Solutions
Index.

Similar Items