13717 search results - page 677 / 2744 » Control Systems |
219
click to vote
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
174
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
The ensemble Kalman filter for data assimilation involves the propagation of a collection of ensemble members. Under the assumption of time-sparse measurements, we avoid propagatin...
218
click to vote
SSS
2010
Springer
15 years 5 months ago
2010
Springer
We present a distributed transactional memory (TM) scheduler called Bi-interval that optimizes the execution order of transactional operations to minimize conflicts. Bi-interval c...
274
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract— In this work we focus on mission planning problems in scenarios in which a carrier vehicle, typically slow but with virtually infinite range, and a carried vehicle, wh...
189
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speci...