
Bisimulations and Model Refinements
Roland Glück(Author)
Westarp BookOnDemand (Publisher)
1st Edition
Published on 26. January 2015
Book
Hardback
193 pages
978-3-86386-836-9 (ISBN)
Description
A frequent task in system design is to refine a transition system, i.e. to remove undesired transitions. This task can be hard if one is confronted with a large system. This work presents an approach for handling large systems via bisimulations: A large, possibly infinite system is transformed into a smaller system, which is subsequently refined. Finally, the refinement of the small system is transformed back into a refinement of the original large system. The treated problems include among others optimality problems and stochastic games. The last part is dedicated to an algebraic approach to bisimulations and the application of automated theorem provers.
More details
Language
English
Dimensions
Height: 22 cm
Width: 17 cm
Weight
429 gr
ISBN-13
978-3-86386-836-9 (9783863868369)
Schweitzer Classification