613 search results - page 3 / 123 » Observability of Linear Hybrid Systems |
HYBRID
2010
Springer
14 years 17 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...
HYBRID
2005
Springer
13 years 11 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...
HYBRID
2009
Springer
14 years 16 days ago
2009
Springer
HYBRID
2004
Springer
13 years 11 months ago
2004
Springer
HYBRID
2007
Springer
13 years 12 months ago
2007
Springer
