Sciweavers

2377 search results - page 72 / 476
» Hybrid Systems in TLA
Sort
View
HYBRID
2007
Springer
15 years 5 months ago
Sporadic Control of First-Order Linear Stochastic Systems
The standard approach in feedback control systems is to sample and control periodically. For some applications, such as networked control systems or severely energy-constrained sys...
Erik Johannesson, Toivo Henningsson, Anton Cervin
HYBRID
2007
Springer
15 years 5 months ago
Composition of Dynamical Systems for Estimation of Human Body Dynamics
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...
Sumitra Ganesh, Aaron D. Ames, Ruzena Bajcsy
HYBRID
2003
Springer
15 years 4 months ago
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems
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 ...
Richard J. Boulton, Ruth Hardy, Ursula Martin
HYBRID
2010
Springer
15 years 4 months ago
A generating function approach to the stability of discrete-time switched linear systems
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...
Jianghai Hu, Jinglai Shen, Wei Zhang
HYBRID
2005
Springer
15 years 4 months ago
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order
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...
Domitilla Del Vecchio, Richard M. Murray