Kleene-Schutzenberger and Buchi Theorems for Weighted Timed Automata

By Karin Quaas

In 1994, Alur and Dill introduced timed automata as a simple mathematical model for modelling the behaviour of real-time systems. In this thesis, we extend timed automata with weights. More detailed,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3832525009
• ISBN13: 9783832525002
• Release Date: June 2010
• Publisher: Logos Verlag Berlin
• Length: 132 Pages