Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Kleene-Schutzenberger and Buchi Theorems for Weighted Timed Automata

by Karin Quaas
Save 17% Save 17%
Current price ₹5,838.00
Original price ₹7,006.00
Original price ₹7,006.00
Original price ₹7,006.00
(-17%)
₹5,838.00
Current price ₹5,838.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783832525002
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Logos Verlag Berlin
  • Publisher Imprint: Logos Verlag Berlin
  • Publication Date:
  • Pages: 132
  • Original Price: USD 51.0
  • Language: English
  • Edition: N/A
  • Item Weight: 227 grams
  • BISAC Subject(s): General

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, we equip both the states and transitions of a timed automaton with weights taken from an appropriate mathematical structure. The weight of a transition determines the weight for taking this transition, and the weight of a state determines the weight for letting time elapse in this state. Since the weight for staying in a state depends on time, this model, called weighted timed automata, has many interesting applications, for instance, in operations research and scheduling. We give characterizations for the behaviours of weighted timed automata in terms of rational expressions and logical formulas. These formalisms are useful for the specification of real-time systems with continuous resource consumption. We further investigate the relation between the behaviours of weighted timed automata and timed automata. Finally, we present important decidability results for weighted timed automata.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us