844 search results - page 28 / 169 » Reachability in Linear Dynamical Systems |
AUTOMATICA
2005
14 years 10 months ago
2005
State estimation problems for linear time-invariant systems with noisy inputs and outputs are considered. An efficient recursive algorithm for the smoothing problem is presented. ...
SIGGRAPH
1996
ACM
15 years 3 months ago
1996
ACM
Current linear-time simulation methods for articulated figures are based exclusively on reduced-coordinate formulations. This paper describes a general, non-iterative linear-time ...
ICRA
2005
IEEE
15 years 4 months ago
2005
IEEE
— This paper describes the dynamic modeling of linear object deformation based on differential geometry coordinates. Deformable linear objects such as cables and strings are wide...
83
Voted
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
107
Voted
HYBRID
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Switching linear dynamic systems (SLDS) attempt to describe a complex nonlinear dynamic system with a succession of linear models indexed by a switching variable. Unfortu...