734 search results - page 20 / 147 » Design and control of recycle systems by non-linear analysis |
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
ICDCSW
2005
IEEE
14 years 1 months ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
CDC
2009
IEEE
14 years 8 days ago
2009
IEEE
Abstract— This paper proposes a novel robust output feedback controller for an electromechanical system in the presence of external disturbance and uncertainties of physical para...
CDC
2009
IEEE
14 years 8 days ago
2009
IEEE
Lyapunov-Krasowskii functionals are used to design quantized continuous-time control laws for nonlinear systems in the presence of time-invariant pointwise delays in the input. Th...
RTSS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...