Tôi đang nghiên cứu các phương pháp khác nhau để định nghĩa tính toán với các hệ thống động lực liên tục. Tôi đã cố gắng tìm một giới thiệu hay về lý thuyết "hệ thống chuyển đổi nhà nước" nhưng không thực hiện được.
Có ai biết một giới thiệu hiện đại về chủ đề này? Quan tâm đặc biệt sẽ là một cái gì đó đối phó với khả năng tính toán.
Câu trả lời:
Một trong những ứng dụng chính của các hệ thống chuyển tiếp trạng thái, còn được gọi là hệ thống chuyển tiếp có nhãn, là để mô hình hóa các hệ thống đồng thời.
Một cuốn sách rất hay, thú vị, sử dụng các hệ thống chuyển tiếp được gắn nhãn để cung cấp ngữ nghĩa cho các hình thức đồng thời CCS và -calculus là Giao tiếp và Hệ thống Di động: Tính toán Pi của Robin Milner. Chắc chắn đáng đọc.
Nguyên tắc kiểm tra mô hình của Christel Baier và Joost-Pieter Katoen là về kiểm tra mô hình các hệ thống đồng thời, vì vậy, ngay từ đầu cuốn sách đã dán nhãn các hệ thống chuyển đổi được đưa ra để đưa ra ngữ nghĩa cho các hệ thống đó. Cuốn sách này cũng nói về quá trình chuyển đổi nhãn có xác suất quá.
Một khả năng khác là Đồng thời: Mô hình Nhà nước & Chương trình Java của Jeff Magee & Jeff Kramer. Cuốn sách này có một cách tiếp cận thực tế hơn, nhưng đi kèm với một bộ phân tích cho các hệ thống được mô tả bằng cách sử dụng các hệ thống chuyển tiếp có nhãn.
Tôi không biết nhiều về các hệ thống động liên tục. Có lẽ bạn muốn nhìn vào các hệ thống lai ?