4693 search results - page 127 / 939 » Verifying Hybrid Systems |
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
This paper addresses the problem of estimating human body dynamics from 3-D visual data. That is, our goal is to estimate the state of the system, joint angle trajectories and velo...
HYBRID
2003
Springer
15 years 6 months ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
115
click to vote
HYBRID
2010
Springer
15 years 5 months ago
2010
Springer
Exponential stability of switched linear systems under both arbitrary and proper switching is studied through two suitably defined families of functions called the strong and the...
115
click to vote
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, a cascade discrete-continuous state estimator on a partial order is proposed and its existence investigated. The continuous state estimation error is bounded by a mo...
122
click to vote
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...