Sciweavers

1953 search results - page 95 / 391
» Dependability Modeling and Analysis in Dynamic Systems
Sort
View
ICRA
2003
IEEE
98views Robotics» more  ICRA 2003»
14 years 2 months ago
Towards a Factored Analysis of Legged Locomotion Models
In this paper, we report on a new stability analysis for hybrid legged locomotion systems based on factorization of return maps. We apply this analysis to a family of models of th...
Richard Altendorfer, Daniel E. Koditschek, Philip ...
ASC
2007
13 years 9 months ago
An approximate stability analysis of nonlinear systems described by Universal Learning Networks
Stability is one of the most important subjects in control systems. As for the stability of nonlinear dynamical systems, Lyapunov’s direct method and linearized stability analys...
Kotaro Hirasawa, Shingo Mabu, Shinji Eto, Jinglu H...
ICSEA
2006
IEEE
14 years 3 months ago
Extracting Simulation Models from Complex Embedded Real-Time Systems
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
Johan Andersson, Joel Huselius, Christer Norstr&ou...
ICFEM
1998
Springer
14 years 1 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
CVPR
2006
IEEE
14 years 11 months ago
Classifying Human Dynamics Without Contact Forces
We develop a classification algorithm for hybrid autoregressive models of human motion for the purpose of videobased analysis and recognition. We assume that some temporal statist...
Alessandro Bissacco, Stefano Soatto