2838 search results - page 188 / 568 » Verifying Controlled Components |
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
— This paper considers the problem of verifying stability of large-scale nonlinear dynamical systems. Using a comparison principle approach we present a numerical method of estim...
SAFECOMP
2009
Springer
14 years 5 months ago
2009
Springer
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...
ICDIM
2007
IEEE
14 years 5 months ago
2007
IEEE
—The Common Instrument Middleware Architecture (CIMA) model for Web services based monitoring of remote scientific instruments is being extended and enhanced to provide a capabil...
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper presents a novel, smart and portable Active Knee Rehabilitation Orthotic Device (AKROD) designed to train stroke patients to correct knee hyperextension during stance an...
IAT
2006
IEEE
14 years 4 months ago
2006
IEEE
Delayed arrivals, missing tag codes, flight changes, break-downs, etc. are some of the factors, which make the environment of airport baggage handling systems (BHS) extremely dyn...