320 search results - page 19 / 64 » Constructing Invariants for Hybrid Systems |
137
Voted
ECIR
2006
Springer
15 years 7 months ago
2006
Springer
In-place and merge-based index maintenance are the two main competing strategies for on-line index construction in dynamic information retrieval systems based on inverted lists. Mo...
169
click to vote
HYBRID
2010
Springer
15 years 3 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
162
click to vote
HYBRID
2005
Springer
15 years 11 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...
147
click to vote
CAD
2008
Springer
15 years 5 months ago
2008
Springer
Product data exchange requires exchanging geometrical shape data that may have to be represented differently in the sending and in the receiving system. Since the translation proc...
150
Voted
TPHOL
2008
IEEE
16 years 5 days ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...