146 search results - page 3 / 30 » Modeling System Safety Requirements Using Input Output Const... |
CDC
2010
IEEE
13 years 8 days ago
2010
IEEE
Abstract-- The paper analyzes a strategy to force stepconvergent dynamical hysteretic systems to a well-defined output value using only feed forward. Due to the multi-valued input-...
ICRA
2009
IEEE
13 years 12 months ago
2009
IEEE
—Collision safety between humans and robots has drawn much attention since service robots are increasingly being used in human environments. A safe robot arm based on passive com...
ICASSP
2011
IEEE
12 years 9 months ago
2011
IEEE
The paper discusses computationally efficient NLMS and RLS algorithms for a broad class of nonlinear filters using periodic input sequences. The class comprises all nonlinear ...
USENIX
2001
13 years 6 months ago
2001
A conventional file system provides the user with generic structure and semantics for accessing files. The default scheme is sufficient for many applications. However, many applic...
ISSRE
2003
IEEE
13 years 10 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...