Quelle est une bonne référence pour en savoir plus sur les systèmes de transition de l'État?

Question

Je suis en train d'étudier différentes approches pour la définition de calcul avec des systèmes dynamiques continus. J'ai essayé de trouver une bonne introduction à la théorie des « systèmes de transition État » mais omis de le faire.

Quelqu'un sait-il une introduction moderne au sujet? D'un intérêt particulier serait quelque chose face à la calculabilité.

Answer 1

L'une des utilisations principales des systèmes de transition d'état, également connu en tant que systèmes de transition étiquetés, est pour la modélisation de systèmes concurrents.

Un très agréable, délicieux même, livre qui utilise des systèmes de transition étiquetés de manière à donner la sémantique à formalismes simultanées CCS et $ \ pi $ -calcul est Communication et Systèmes mobiles: Pi-calcul par Robin Milner. Certainement mérite d'être lu.

Principes de Model Checking par Christel Baier et Joost-Pieter Katoen est sur le modèle de vérification des systèmes concurrents, si tôt dans les systèmes de transition étiquetés livre sont introduites pour donner la sémantique à de tels systèmes. Ce livre parle aussi des transitions probabilistes marquées aussi.

Une autre possibilité est Concurrency: Modèles d'Etat et de programmes Java par Jeff Magee & Jeff Kramer. Ce livre adopte une approche plus pratique, mais est livré avec un analyseur pour les systèmes utilisant des systèmes de décrit transition étiquetés.

Je ne sais pas beaucoup sur les systèmes dynamiques continus. Peut-être que vous voulez regarder ?