2 search results - page 1 / 1 » Infinite Runs in Weighted Timed Automata with Energy Constra... |
FORMATS
2008
Springer
13 years 7 months ago
2008
Springer
We study the problems of existence and construction of infinite schedules for finite weighted automata and one-clock weighted timed automata, subject to boundary constraints on the...
HYBRID
2010
Springer
14 years 9 days ago
2010
Springer
In this paper we study one-clock priced timed automata in which prices can grow linearly ( ˙p = k) or exponentially ( ˙p = kp), with discontinuous updates on edges. We propose E...