Springer Discrete-Time and Discrete-Space Dynamical Systems (Communications and Control Engineering)

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. From the Back Cover 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. About the Author Kuize Zhang received the B.S. and Ph.D. degrees in Mathematics and Systems Engineering from Harbin Engineering University, China, in 2009 and 2014, respectively. Since April 2015, he has been an associate professor with the College of Automation, Harbin Engineering University. He held visiting positions at University of Turku, Finland (September 2012–September 2013), and the Chinese Academy of Sciences (January–October 2015). He was a project officer of Nanyang Technological University, Singapore (October 2013–October 2014), postdoc at Chinese Academy of Sciences (November 2015–November 2017), and postdoc at Technical University of Munich (September 2016–August 2017). He is currently a postdoc at KTH Royal Institute of Technology, Sweden. His current research interests include formal methods, Boolean networks, discrete event systems, etc. Dr. Zhang is a Senior Member of IEEE, and received the 2016 Chinese Association of Automation (CAA) Outstanding Doctoral Thesis Nomination Award and the Humboldt Research Fellowship in 2019. Lijun Zhang received the Ph.D. degree in Systems Theory from Chinese Academy of Sciences, China, in 2003. From August 2003 to July 2005, he held a postdoc position at Tsinghua University, China. From March 2004 to November 2004, he worked as a visiting scholar at National University of Singapore. From October 2006 to January 2007, he worked as a visiting scholar at City University of Hong Kong. From August 2005 to November 2011, he was a professor of Harbin Engineering University. Since 2012, he has been with the College of Marine Science and Technology of Northwestern Polytechnical University, wh