464 search results - page 11 / 93 » hybrid 2009 |
FIMH
2009
Springer
14 years 2 months ago
2009
Springer
MOBICOM
2009
ACM
14 years 2 months ago
2009
ACM
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
We study price-per-reward games on hybrid automata with strong resets. They generalise priced games previously studied and have applications in scheduling. We obtain decidability r...
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
To reduce the amount of data transfer in networked control systems and wireless sensor networks, measurements are usually taken only when an event occurs, rather than at each synch...