img Leseprobe Leseprobe

Discrete-Time and Discrete-Space Dynamical Systems

Kuize Zhang, Lijun Zhang, Lihua Xie, et al.

PDF
ca. 96,29
Amazon iTunes Thalia.de Weltbild.de Hugendubel Bücher.de ebook.de kobo Osiander Google Books Barnes&Noble bol.com Legimi yourbook.shop Kulturkaufhaus ebooks-center.de
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.

Springer International Publishing img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Elektronik, Elektrotechnik, Nachrichtentechnik

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.

Weitere Titel in dieser Kategorie

Kundenbewertungen

Schlagwörter

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