Título: Discrete-Time and Discrete-Space Dynamical Systems
Autor: Kuize Zhang, Lijun Zhang, Lihua Xie
Sinopse: 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.
Contexto da obra
Quando a classificação é mais ampla, o contexto do livro costuma depender ainda mais de autoria, tema e edição. “Discrete-Time and Discrete-Space Dynamical Systems”, de Kuize Zhang, Lijun Zhang, Lihua Xie, publicado pela editora Springer, em 2019 e com 222 páginas, integra a categoria Livros Variados. Por isso, autoria, edição e tema acabam tendo ainda mais peso na forma de apresentar o livro.
Editora: Springer
Páginas: 222
Ano: 2019
Edição:
Linguagem: pt_BR
ISBN: 3030259714
ISBN13: 9783030259716
Sobre a editora
Os livros da editora Springer apresentam uma leitura densa e focada em temas acadêmicos e científicos, com ênfase em áreas como matemática avançada, ciências naturais, tecnologia e ciências da saúde. A experiência de leitura costuma exigir familiaridade com linguagem técnica e conceitos especializados, refletindo o rigor das pesquisas e análises aprofundadas. O tom varia entre o didático e o expositivo, com obras que vão desde apresentações formais de teorias até relatos detalhados de estudos de caso e revisões sistemáticas. O catálogo sugere uma predominância de textos que dialogam com públicos acadêmicos e profissionais, oferecendo conteúdos que se apoiam em fundamentos históricos, dados empíricos e metodologias precisas.
