Sciweavers

613 search results - page 5 / 123
» Observability of Linear Hybrid Systems
Sort
View
95
Voted
HYBRID
2000
Springer
15 years 1 months ago
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...
Eugene Asarin, Thao Dang, Oded Maler, Olivier Bour...
81
Voted
FORMATS
2006
Springer
15 years 1 months ago
On Timed Simulation Relations for Hybrid Systems and Compositionality
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
Goran Frehse
ISCAS
2005
IEEE
115views Hardware» more  ISCAS 2005»
15 years 3 months ago
Observed hybrid oscillations in an electrical distribution system
Slow oscillations, with a period of around 15 minutes, were observed in an 11kV electrical distribution system. Investigations determined that the oscillations were a result of in...
Vaibhav Donde, Ian A. Hiskens
GLOBECOM
2006
IEEE
15 years 3 months ago
Adaptive Coding and Modulation for Hybrid ARQ Systems over Partially Observable Nakagami-m Fading Channels
— We study coding and modulation rate adaptation problem for HARQ systems with partially observable state from cross-layer viewpoint. The rate of convolutionally coded MQAM is ad...
Ashok K. Karmokar, Vijay K. Bhargava
103
Voted
AUTOMATICA
2011
14 years 4 months ago
Interval observers for linear time-invariant systems with disturbances
It is shown that, for any time-invariant exponentially stable linear system with additive disturbances, time-varying exponentially stable interval observers can be constructed. Th...
Frédéric Mazenc, Olivier Bernard