Sciweavers

Share
49 search results - page 1 / 10
» dc 2008
Sort
View
DC
2008
8 years 3 months ago
Consensus and collision detectors in radio networks
Gregory Chockler, Murat Demirbas, Seth Gilbert, Na...
FAC
2008
117views more  FAC 2008»
8 years 3 months ago
Model checking Duration Calculus: a practical approach
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
Roland Meyer, Johannes Faber, Jochen Hoenicke, And...
AUTOMATICA
2008
102views more  AUTOMATICA 2008»
8 years 3 months ago
A set-membership state estimation algorithm based on DC programming
This paper presents a new approach to guaranteed state estimation for nonlinear discrete-time systems with a bounded description of noise and parameters. The sets of states that a...
T. Alamo, J. M. Bravo, M. J. Redondo, Eduardo F. C...
books