613 search results - page 3 / 123 » Observability of Linear Hybrid Systems |
HYBRID
2010
Springer
15 years 4 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...
HYBRID
2005
Springer
15 years 3 months ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
75
Voted
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer
HYBRID
2004
Springer
15 years 2 months ago
2004
Springer
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
