Description du livre
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.