東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Discrete-time and discrete-space dyn...

Zhang, Kuize.

Linked to FindBook

Google Book

Amazon

博客來

Discrete-time and discrete-space dynamical systems

Record Type:	Electronic resources : Monograph/item
Title/Author:	Discrete-time and discrete-space dynamical systems/ by Kuize Zhang, Lijun Zhang, Lihua Xie.
Author:	Zhang, Kuize.
other author:	Zhang, Lijun.
Published:	Cham :Springer International Publishing : : 2020.,
Description:	xiv, 222 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer eBooks
Subject:	Discrete-time systems. -
Online resource:	https://doi.org/10.1007/978-3-030-25972-3
ISBN:	9783030259723

Discrete-time and discrete-space dynamical systems
Zhang, Kuize.

Discrete-time and discrete-space dynamical systems[electronic resource] /by Kuize Zhang, Lijun Zhang, Lihua Xie. - Cham :Springer International Publishing :2020. - xiv, 222 p. :ill. (some col.), digital ;24 cm. - Communications and control engineering,0178-5354. - Communications and control engineering..

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.

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.

ISBN: 9783030259723

Standard No.: 10.1007/978-3-030-25972-3doiSubjects--Topical Terms:

646550
Discrete-time systems.

LC Class. No.: QA402

Dewey Class. No.: 629.8

Discrete-time and discrete-space dynamical systems
LDR:02908nmm a2200337 a 4500 001 2213927
003 DE-He213
005 20200220161543.0
006 m d
007 cr nn 008maaau
008 201118s2020 sz s 0 eng d
020 $a 9783030259723 $q (electronic bk.)
020 $a 9783030259716 $q (paper)
024 7 $a 10.1007/978-3-030-25972-3 $2 doi
035 $a 978-3-030-25972-3
040 $a GP $c GP
041 0 $a eng
050 4 $a QA402
072 7 $a TJFM $2 bicssc
072 7 $a TEC004000 $2 bisacsh
072 7 $a TJFM $2 thema
082 0 4 $a 629.8 $2 23
090 $a QA402 $b .Z63 2020
100 1 $a Zhang, Kuize. $3 3443939
245 1 0 $a Discrete-time and discrete-space dynamical systems $h [electronic resource] / $c by Kuize Zhang, Lijun Zhang, Lihua Xie.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xiv, 222 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Communications and control engineering, $x 0178-5354
505 0 $a 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.
520 $a 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.
650 0 $a Discrete-time systems. $3 646550
650 1 4 $a Control and Systems Theory. $3 3381515
650 2 4 $a Systems Theory, Control. $3 893834
650 2 4 $a Simulation and Modeling. $3 890873
650 2 4 $a Manufacturing, Machines, Tools, Processes. $3 3381528
650 2 4 $a Mathematical and Computational Biology. $3 1566274
700 1 $a Zhang, Lijun. $3 1253132
700 1 $a Xie, Lihua. $3 944090
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Communications and control engineering. $3 1566566
856 4 0 $u https://doi.org/10.1007/978-3-030-25972-3
950 $a Intelligent Technologies and Robotics (Springer-42732)