Complex Event Recognition From Discrete Sensor Data With a Discrete Event System Framework
- Award ID(s):
- 2146615
- PAR ID:
- 10518817
- Publisher / Repository:
- Elsevier
- Date Published:
- Journal Name:
- IFAC-PapersOnLine
- Volume:
- 56
- Issue:
- 2
- ISSN:
- 2405-8963
- Page Range / eLocation ID:
- 11330 to 11336
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
Testing network protocol implementations is difficult mainly because of the temporal uncertain nature of network events. To evaluate the worst-case performance or detect the bugs of a network protocol implementation using network simulators, we need to systematically simulate the behavior of the network protocol under all possible cases of the temporal uncertain events, which is time consuming. The recently proposed Symbolic Execution based Interval Branching (SEIB) simulates a group of uncertain cases together in a single simulation branch and thus is more efficient than brute force testing. In this article, we argue that the efficiency of SEIB could be further significantly improved by eliminating unnecessary comparisons of the event timestamps. Specifically, we summarize and present three general types of unnecessary comparisons when SEIB is applied to a general network simulator, and then correspondingly propose three novel techniques to eliminate them. Our extensive simulations show that our techniques can improve the efficiency of SEIB by several orders of magnitude, such as from days to minutes.more » « less
-
null (Ed.)Within the context of event modeling and understanding, we propose a new method for neural sequence modeling that takes partially-observed sequences of discrete, external knowledge into account. We construct a sequential neural variational autoencoder, which uses Gumbel-Softmax reparametrization within a carefully defined encoder, to allow for successful backpropagation during training. The core idea is to allow semi-supervised external discrete knowledge to guide, but not restrict, the variational latent parameters during training. Our experiments indicate that our approach not only outperforms multiple baselines and the state-of-the-art in narrative script induction, but also converges more quickly.more » « less
An official website of the United States government

