797 search results - page 36 / 160 » Timed Control with Partial Observability |
ENTCS
2002
13 years 9 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
AAAI
2006
13 years 11 months ago
2006
We introduce point-based dynamic programming (DP) for decentralized partially observable Markov decision processes (DEC-POMDPs), a new discrete DP algorithm for planning strategie...
GFKL
2006
Springer
14 years 1 months ago
2006
Springer
We begin with pervasive ultrametricity due to high dimensionality and/or spatial sparsity. How extent or degree of ultrametricity can be quantified leads us to the discussion of va...
FM
1999
Springer
14 years 2 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
TROB
2002
13 years 9 months ago
2002
A patent pending, energy based, method is presented for controlling a haptic interface system to ensure stable contract under a wide variety of operating conditions. System stabil...