Sciweavers

15840 search results - page 715 / 3168
» The Control of Synchronous Systems
Sort
View
ICDCIT
2004
Springer
16 years 24 days ago
Vulnerabilities and Threats in Distributed Systems
We discuss research issues and models for vulnerabilities and threats in distributed computing systems. We present four diverse approaches to reducing system vulnerabilities and th...
Bharat K. Bhargava, Leszek Lilien
HYBRID
2000
Springer
15 years 11 months ago
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
Oleg Botchkarev, Stavros Tripakis
AUTOMATICA
2007
70views more  AUTOMATICA 2007»
15 years 7 months ago
On detectability of stochastic systems
We discuss notions of detectability for stochastic linear control systems of Itˆo type. A natural concept of detectability requires a non-zero output, if the state process is uns...
Tobias Damm
RTAS
2009
IEEE
16 years 2 months ago
CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors
—The Collaborative Sensing Language (CSL) is a high-level feedback control language for mobile sensor networks (MSN). It specifies MSN controllers to accomplish network objectiv...
Joshua Love, Jerry Jariyasunant, Eloi Pereira, Mar...
IROS
2008
IEEE
125views Robotics» more  IROS 2008»
16 years 1 months ago
Neighborhood denoising for learning high-dimensional grasping manifolds
— Human control of high degree-of-freedom robotic systems, e.g. anthropomorphic robot hands, is often difficult due to the overwhelming number of variables that need to be speci...
Aggeliki Tsoli, Odest Chadwicke Jenkins