Sciweavers

12115 search results - page 329 / 2423
» Bisimulation of Dynamical Systems
Sort
View
ICARCV
2008
IEEE
193views Robotics» more  ICARCV 2008»
16 years 1 months ago
Analysis of discrete and hybrid stochastic systems by nonlinear contraction theory
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...
Quang-Cuong Pham
RTCSA
2007
IEEE
16 years 1 months ago
A Voltage and Resource Synthesis Technique for Energy-Aware Real-time Systems
We consider a resource synthesis technique for realtime systems where dynamic voltage scaling is supported, the energy budget is limited, and the performance of the system depends...
Dong-In Kang, Stephen P. Crago, Jinwoo Suh, Janice...
SAC
2005
ACM
16 years 8 days ago
Scalable security and accounting services for content-based publish/subscribe systems
Content-based publish/subscribe systems offer an interaction scheme that is appropriate for a variety of large scale dynamic applications. However, widespread use of these systems...
Himanshu Khurana
RIVF
2003
15 years 8 months ago
Complex Systems Modeling
—This paper addresses the simulation of the dynamics of complex systems by using hierarchical graph and multi-agent system. A complex system is composed of numerous interacting p...
Christophe Lecerf, Thi Minh Luan Nguyen
SDM
2012
SIAM
340views Data Mining» more  SDM 2012»
13 years 9 months ago
IntruMine: Mining Intruders in Untrustworthy Data of Cyber-physical Systems
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...
Lu An Tang, Quanquan Gu, Xiao Yu, Jiawei Han, Thom...