28 search results - page 6 / 6 » Probabilistic reachability and safety for controlled discret... |
HYBRID
2010
Springer
14 years 25 days ago
2010
Springer
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...
SAGA
2009
Springer
14 years 17 days ago
2009
Springer
In the economical caching problem, an online algorithm is given a sequence of prices for a certain commodity. The algorithm has to manage a buffer of fixed capacity over time. We...
SOFSEM
2007
Springer
14 years 4 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...