446 search results - page 71 / 90 » Analysis and synthesis of switched linear control systems |
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
We present sufficient conditions for stabilizability of an unstable linear time invariant scalar system across an additive white Gaussian noise channel, with a relay assisting the ...
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...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— We consider the synchronization problem of an arbitrary number of coupled nonlinear oscillators with delays in the interconnections. The emphasis is on coupled Lorenz s...
RTSS
2007
IEEE
14 years 1 months ago
2007
IEEE
The increased complexity of performance-sensitive software systems leads to increased use of automated adaptation policies in lieu of manual performance tuning. Composition of ada...