Discrete-Time and Discrete-Space Dynamical Systems

von Kuize Zhang Lijun Zhang Lihua Xie

Preis unbekannt

Buch in deiner Nähe kaufen

oder

Beschreibung

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.
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.
Explains advanced theoretical contributions intuitively Graphical and practical examples appeal to a broad audience Offers cogent comparison between various example systems

Autor*in

Kuize Zhang

Themen in »Discrete-Time and Discrete-Space Dynamical Systems«

Boolean Control Network Discrete-time, Discrete-space Dynamical Systems Discrete-event Systems Nondeterministic Finite-Transition Systems Finite Automation Petri Nets Symbolic Dynamics Cellular Automata Semitensor Products Deterministic Boolean networks

Stimmen zu »Discrete-Time and Discrete-Space Dynamical Systems«

Details

ISBN: 9783030259747

Verlag: Springer International Publishing

Erscheinung: 27.08.2020