218 search results - page 1 / 44 » Timed automata with observers under energy constraints |
HYBRID
2010
Springer
13 years 11 months 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...
FORMATS
2008
Springer
13 years 6 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...
ICST
2009
IEEE
13 years 2 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
ASPDAC
2007
ACM
13 years 8 months ago
2007
ACM
HYBRID
1997
Springer
13 years 8 months ago
1997
Springer
We de ne robust timed automata, which are timed automata that accept all trajectories \robustly": if a robust timed automaton accepts a trajectory, then it must accept neighbo...