Sciweavers

745 search results - page 59 / 149
» A General Framework for Cobot Control
Sort
View
HYBRID
2000
Springer
15 years 9 months ago
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...
Jun Zhang, Karl Henrik Johansson, John Lygeros, Sh...
AUTOMATICA
2007
82views more  AUTOMATICA 2007»
15 years 6 months ago
Simulation-based optimal sensor scheduling with application to observer trajectory planning
The sensor scheduling problem can be formulated as a controlled hidden Markov model and this paper solves the problem when the state, observation and action spaces are continuous....
Sumeetpal S. Singh, Nikolaos Kantas, Ba-Ngu Vo, Ar...
FSTTCS
2007
Springer
16 years 10 days ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd
EUROSEC
2010
ACM
15 years 11 months ago
Practical protection for personal storage in the cloud
We present a storage management framework for Web 2.0 services that places users back in control of their data. Current Web services complicate data management due to data lock-in...
Neal H. Walfield, Paul T. Stanton, John Linwood Gr...
SIMVIS
2003
15 years 7 months ago
Interest Value Driven Adaptive Subdivision
This paper generalizes adaptive subdivision algorithms by introducing an applicationdependent Degree of Interest function. Therefore, geometry-related as well as geometry-independ...
Tobias Isenberg, Knut Hartmann, Henry König