Ich untersuche verschiedene Ansätze zur Definition von Berechnungen mit kontinuierlichen dynamischen Systemen. Ich habe versucht, eine schöne Einführung in die Theorie der "staatlichen Übergangssysteme" zu finden, habe dies aber nicht getan.
Kennt jemand eine moderne Einführung in das Thema? Von besonderem Interesse wäre etwas, das sich mit Berechenbarkeit befasst.
Antworten:
Eine der Hauptanwendungen von Zustandsübergangssystemen, auch als beschriftete Übergangssysteme bekannt, ist die Modellierung gleichzeitiger Systeme.
Ein sehr schönes, sogar entzückendes Buch, das beschriftete Übergangssysteme verwendet, um gleichzeitigen Formalismen CCS und die Semantik zu verleihen -calculus kommuniziert und mobile Systeme: der Pi-Calculus von Robin Milner. Auf jeden Fall lesenswert.
Bei den Prinzipien der Modellprüfung von Christel Baier und Joost-Pieter Katoen geht es um die Modellprüfung gleichzeitiger Systeme. Daher werden zu Beginn des Buches beschriftete Übergangssysteme eingeführt, um solchen Systemen Semantik zu verleihen. Dieses Buch spricht auch über probabilistisch markierte Übergänge.
Eine andere Möglichkeit ist Concurrency: State Models & Java Programs von Jeff Magee & Jeff Kramer. Dieses Buch verfolgt einen praktischeren Ansatz, enthält jedoch einen Analysator für Systeme, die mit gekennzeichneten Übergangssystemen beschrieben werden.
Ich weiß nicht viel über kontinuierliche dynamische Systeme. Vielleicht möchten Sie sich Hybridsysteme ansehen ?