Shortcuts
Bitte warten Sie, bis die Seite geladen ist.
 
PageMenu- Hauptmenü-
Page content

Katalogdatenanzeige

Discrete-Time and Discrete-Space Dynamical Systems

Discrete-Time and Discrete-Space Dynamical Systems
Kataloginformation
Feldname Details
Vorliegende Sprache eng
ISBN 978-3-030-25971-6
Name Zhang, Kuize ¬[VerfasserIn]¬
Zhang, Lijun ¬[VerfasserIn]¬
Name ANZEIGE DER KETTE Zhang, Lijun ¬[VerfasserIn]¬
Name Xie, Lihua ¬[VerfasserIn]¬
T I T E L Discrete-Time and Discrete-Space Dynamical Systems
Auflage 1st ed. 2020
Verlagsort Cham
Verlag Springer
Erscheinungsjahr 2020
2020
Umfang 1 Online-Ressource (XIV, 222 p. 95 illus., 1 illus. in color)
Reihe Communications and Control Engineering
Titelhinweis Erscheint auch als (Druck-Ausgabe)ISBN: 978-3-030-25971-6
ISBN ISBN 978-3-030-25972-3
Klassifikation TJFM
*93-02
93C55
93B07
93C28
93B70
93A15
68Q45
68Q80
TJFM
TEC004000
629.8
TJ212-225
Kurzbeschreibung 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
2. Kurzbeschreibung 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
SWB-Titel-Idn 167631413X
Signatur Springer E-Book
Bemerkungen Elektronischer Volltext - Campuslizenz
Elektronische Adresse $uhttps://doi.org/10.1007/978-3-030-25972-3
Internetseite / Link Resolving-System
Siehe auch Inhaltstext
Kataloginformation500300472 Datensatzanfang . Kataloginformation500300472 Seitenanfang .
Vollanzeige Katalogdaten 

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche