000			03714nam a22004575c 4500
988			_aSpringer_Robotics_2020
999			_c115387 _d115387 _x1
001			115387
003			ES-MaUEC
005			20230110040232.0
006			a||||fo|||| 00| 0
007			cr nn nnnaamaa
008			190806s2020 gw a o |||| 0|eng d
020			_a9783030259723
024	7		_a10.1007/978-3-030-25972-3 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA402 _b2020 EB
100	1		_aZhang, Kuize _eautor _9671785
245	1	0	_aDiscrete-time and discrete-space dynamical systems _cby Kuize Zhang, Lijun Zhang, Lihua Xie
250			_aFirst edition
264		1	_aCham _bSpringer International Publishing _c2020
300			_a1 recurso en línea (XIV, 222 páginas) _b95 ilustraciones, 1 ilustraciones a color
336			_2rdacontent _aTexto _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
347			_atext file _bPDF
490	0		_aCommunications and Control Engineering _x0178-5354
490	0		_aIntelligent Technologies and Robotics (Springer-42732)
505	0		_aIntroduction -- 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	3		_aDiscrete-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		7	_2embne _aAnálisis de sistemas _9138446
650		7	_2embne _9157265 _aSistemas de tiempo discreto
650		7	_2embne _9150526 _aSistemas de control digital
700	1		_aZhang, Lijun _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut
700	1		_aXie, Lihua _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut
776	0	8	_iPrinted edition: _z9783030259716
776	0	8	_iPrinted edition: _z9783030259730
776	0	8	_iPrinted edition: _z9783030259747
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-25972-3 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_aSI _cm _dz _feng _ggw _h0 _b12/2019 _eel _zSI