Sciweavers

745 search results - page 59 / 149
» A General Framework for Cobot Control
Sort
View
HYBRID
2000
Springer
15 years 8 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...
149
Voted
AUTOMATICA
2007
82views more  AUTOMATICA 2007»
15 years 4 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
15 years 10 months 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
160
Voted
EUROSEC
2010
ACM
15 years 9 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 5 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