Was ist eine gute Referenz, um mehr über Zustandsübergangssysteme zu erfahren?


7

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:


6

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 ?


Vielen Dank Dave Clarke. In der Tat habe ich eine Weile Hybridsysteme studiert und sie sind natürlich verwandt. Trotzdem versuche ich ein Framework zu finden, in dem man die Berechenbarkeit für rein kontinuierliche Systeme "definieren" kann, hybride Systeme haben bereits den diskreten Begriff in sich. Es gibt eine Reihe von Artikeln, die sich mit Berechenbarkeitsnachweisen in Hybridsystemen befassen. Dies ist eine, die ich sehr nützlich fand, um auf das Thema einzugehen.
JuanPi
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.