695 search results - page 49 / 139 » Symbolic Simulation of Hybrid Systems |
RTAS
2005
IEEE
14 years 1 months ago
2005
IEEE
Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
– Robotic systems like humanoid frequently move to undesirable pose while being visually controlled at the boundary of its workspace, because the working environment is quite hug...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
ICCCN
2008
IEEE
14 years 2 months ago
2008
IEEE
: In this paper, we propose an autonomic management framework (ASGrid) to address the requirements of emerging large-scale applications in hybrid grid and sensor network systems. T...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Due to multipath delay spread and relatively high sampling rate in OFDM systems, the channel estimation is formulated as a sparse recovery problem, where a hybrid compressed sensi...