Discrete-Time and Discrete-Space Dynamical Systems



de

, ,

Éditeur :

Springer


Paru le : 2019-08-06



eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
94,94

Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

Description
Discrete-Time et Discrete-Space Dynamical Systems fournit une caractérisation systématique des similitudes et des différences de plusieurs types de systèmes dynamiques temps discret et espace discret, y compris les
réseaux de contrôle booléens
, les systèmes de transition finis non déterministes, les automates finis, les réseaux de Petri labellisés et les
automates cellulaires. Le point de vue du livre est principalement basé sur les propriétés topologiques bien qu'il emploie également semi-capteur-produit et graphes méthodes théoriques le cas échéant. Il présente une série de résultats fondamentaux : invertibilité, observabilité, détectabilité, réversibilité, etc. avec des applications en biologie des systèmes.


Les chercheurs universitaires ayant une formation en mathématiques appliquées, en génie ou en informatique et les ingénieurs en exercice travaillant avec des systèmes à temps discret et à espace discret trouveront dans ce livre une source utile de nouvelles connaissances pour cette classe de systèmes de plus en plus importante. Les résultats de base que l'on peut y trouver sont d'une importance fondamentale pour la poursuite de l'étude de problèmes connexes tels que la synthèse automatisée et le contrôle de sécurité dans les systèmes cyber-physiques utilisant des méthodes formelles.
Pages
222 pages
Collection
n.c
Parution
2019-08-06
Marque
Springer
EAN papier
9783030259716
EAN PDF
9783030259723

Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
22
Taille du fichier
6420 Ko
Prix
94,94 €
EAN EPUB
9783030259723

Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
22
Taille du fichier
18084 Ko
Prix
94,94 €

?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, where he is currently a professor. He has been a reviewer of Mathematical Reviews since 2008. His research interests include nonlinear systems control and identification, logic dynamic systems theory, adaptive signal processing, etc. He was a recipient of New Century Excellent Talents in University of Ministry of Education of China. Currently he serves as Associate Editor of the Journal of Systems Sciences and Mathematics (in Chinese). He was also an author or coauthor of more than 60 journal or conference papers.

Lihua Xie received the B.E. and M.E. degrees in electrical engineering from Nanjing University of Science and Technology in 1983 and 1986, respectively, and the Ph.D. degree in electrical engineering from the University of Newcastle, Australia, in 1992. Since 1992, he has been with the School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore, where he is currently a professor and Director, Delta-NTU Corporate Laboratory for Cyber-Physical Systems. He served as the Head of Division of Control and Instrumentation from July 2011 to June 2014. He held teaching appointments in the Department of Automatic Control, Nanjing University of Science and Technology from 1986 to 1989. Dr. Xie’s research interests include robust control and estimation, networked control systems, multi-agent networks, localization and unmanned systems. He is an Editor-in-Chief for Unmanned Systems and an Associate Editor for IEEE Transactions on Network Control Systems. He has served as an editor of IET Book Series in Control and an Associate Editor of a number of journals including IEEE Transactions on Automatic Control, Automatica, IEEE Transactions on Control Systems Technology, and IEEE Transactions on Circuits and Systems-II. He is an elected member of Board of Governors, IEEE Control System Society (January 2016–December 2018). Dr. Xie is a Fellow of the IEEE and Fellow of the IFAC.

Suggestions personnalisées