國立虎尾科技大學 |

Discrete-Time and Discrete-Space Dynamical Systems

Record Type:	Language materials, printed : 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.
Description:	XIV, 222 p. 95 illus., 1 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Control engineering. -
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. - 1st ed. 2020. - XIV, 222 p. 95 illus., 1 illus. in color.online resource. - 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:

1249728
Control engineering.

LC Class. No.: TJ212-225

Dewey Class. No.: 629.8

Discrete-Time and Discrete-Space Dynamical Systems
LDR:03314nam a22004095i 4500 001 1018141
003 DE-He213
005 20200630215307.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030259723 $9 978-3-030-25972-3
024 7 $a 10.1007/978-3-030-25972-3 $2 doi
035 $a 978-3-030-25972-3
050 4 $a TJ212-225
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
100 1 $a Zhang, Kuize. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1313088
245 1 0 $a Discrete-Time and Discrete-Space Dynamical Systems $h [electronic resource] / $c by Kuize Zhang, Lijun Zhang, Lihua Xie.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XIV, 222 p. 95 illus., 1 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
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 Control engineering. $3 1249728
650 0 $a System theory. $3 566168
650 0 $a Computer simulation. $3 560190
650 0 $a Manufactures. $3 680602
650 0 $a Biomathematics. $3 527725
650 1 4 $a Control and Systems Theory. $3 1211358
650 2 4 $a Systems Theory, Control. $3 669337
650 2 4 $a Simulation and Modeling. $3 669249
650 2 4 $a Manufacturing, Machines, Tools, Processes. $3 1226012
650 2 4 $a Mathematical and Computational Biology. $3 786706
700 1 $a Zhang, Lijun. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1069379
700 1 $a Xie, Lihua. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 636297
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030259716
776 0 8 $i Printed edition: $z 9783030259730
776 0 8 $i Printed edition: $z 9783030259747
830 0 $a Communications and Control Engineering, $x 0178-5354 $3 1254247
856 4 0 $u https://doi.org/10.1007/978-3-030-25972-3
912 $a ZDB-2-INR
912 $a ZDB-2-SXIT
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)
950 $a Intelligent Technologies and Robotics (R0) (SpringerNature-43728)