Sciweavers

613 search results - page 10 / 123
» Observability of Linear Hybrid Systems
Sort
View
138
Voted
INFORMATICALT
1998
96views more  INFORMATICALT 1998»
15 years 3 months ago
State Estimation of Dynamic Systems in the Presence of Time-Varying Outliers in Observations
Abstract. In the previous papers (Masreliez and Martin, 1977; Novoviˇcova, 1987; Schick and Mitter, 1994) the problem of recursive estimation of linear dynamic systems parameters ...
Rimantas Pupeikis
130
Voted
IPSN
2007
Springer
15 years 10 months ago
Distributed consensus and linear functional calculation in networks: an observability perspective
We study the problem of performing sensor fusion and distributed consensus in networks, where the objective is to calculate some linear function of the initial sensor values at so...
Shreyas Sundaram, Christoforos N. Hadjicostis
109
Voted
JLP
2006
56views more  JLP 2006»
15 years 3 months ago
Linearization of hybrid processes
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
P. C. W. den Brand van, Michel A. Reniers, Pieter ...
131
Voted
HYBRID
2000
Springer
15 years 7 months ago
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
Oleg Botchkarev, Stavros Tripakis
113
Voted
HYBRID
2007
Springer
15 years 7 months ago
State Nullification of Switched Systems by Linear Output Feedback
We study the possibility to steer the state of a single-input single-output linear switched system to the origin in finite time by output feedback with finite memory. We show that ...
Gera Weiss