5,658 research outputs found
Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems
In this paper, we introduce a set representation called polynomial logical
zonotopes for performing exact and computationally efficient reachability
analysis on logical systems. Polynomial logical zonotopes are a generalization
of logical zonotopes, which are able to represent up to 2^n binary vectors
using only n generators. Due to their construction, logical zonotopes are only
able to support exact computations of some logical operations (XOR, NOT, XNOR),
while other operations (AND, NAND, OR, NOR) result in over-approximations. In
order to perform all fundamental logical operations exactly, we formulate a
generalization of logical zonotopes that is constructed by additional dependent
generators and exponent matrices. We prove that through this polynomial-like
construction, we are able to perform all of the fundamental logical operations
(XOR, NOT, XNOR, AND, NAND, OR, NOR) exactly. While we are able to perform all
of the logical operations exactly, this comes with a slight increase in
computational complexity compared to logical zonotopes. We show that we can use
polynomial logical zonotopes to perform exact reachability analysis while
retaining a low computational complexity. To illustrate and showcase the
computational benefits of polynomial logical zonotopes, we present the results
of performing reachability analysis on two use cases: (1) safety verification
of an intersection crossing protocol, (2) and reachability analysis on a
high-dimensional Boolean function. Moreover, to highlight the extensibility of
logical zonotopes, we include an additional use case where we perform a
computationally tractable exhaustive search for the key of a linear-feedback
shift register.Comment: arXiv admin note: substantial text overlap with arXiv:2210.0859
Document Filtering for Long-tail Entities
Filtering relevant documents with respect to entities is an essential task in
the context of knowledge base construction and maintenance. It entails
processing a time-ordered stream of documents that might be relevant to an
entity in order to select only those that contain vital information.
State-of-the-art approaches to document filtering for popular entities are
entity-dependent: they rely on and are also trained on the specifics of
differentiating features for each specific entity. Moreover, these approaches
tend to use so-called extrinsic information such as Wikipedia page views and
related entities which is typically only available only for popular head
entities. Entity-dependent approaches based on such signals are therefore
ill-suited as filtering methods for long-tail entities. In this paper we
propose a document filtering method for long-tail entities that is
entity-independent and thus also generalizes to unseen or rarely seen entities.
It is based on intrinsic features, i.e., features that are derived from the
documents in which the entities are mentioned. We propose a set of features
that capture informativeness, entity-saliency, and timeliness. In particular,
we introduce features based on entity aspect similarities, relation patterns,
and temporal expressions and combine these with standard features for document
filtering. Experiments following the TREC KBA 2014 setup on a publicly
available dataset show that our model is able to improve the filtering
performance for long-tail entities over several baselines. Results of applying
the model to unseen entities are promising, indicating that the model is able
to learn the general characteristics of a vital document. The overall
performance across all entities---i.e., not just long-tail entities---improves
upon the state-of-the-art without depending on any entity-specific training
data.Comment: CIKM2016, Proceedings of the 25th ACM International Conference on
Information and Knowledge Management. 201
Plasmon reflections by topological electronic boundaries in bilayer graphene
Domain walls separating regions of AB and BA interlayer stacking in bilayer
graphene have attracted attention as novel examples of structural solitons,
topological electronic boundaries, and nanoscale plasmonic scatterers. We show
that strong coupling of domain walls to surface plasmons observed in infrared
nanoimaging experiments is due to topological chiral modes confined to the
walls. The optical transitions among these chiral modes and the band continua
enhance the local ac conductivity, which leads to plasmon reflection by the
domain walls. The imaging reveals two kinds of plasmonic standing-wave
interference patterns, which we attribute to shear and tensile domain walls. We
compute the electronic structure of both wall varieties and show that the
tensile wall contain additional confined bands which produce a
structure-specific contrast of the local conductivity. The calculated plasmonic
interference profiles are in quantitative agreement with our experiments.Comment: 14 pages, 5 figure
Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes
In this paper, we present a data-driven approach for safely predicting the
future state sets of pedestrians. Previous approaches to predicting the future
state sets of pedestrians either do not provide safety guarantees or are overly
conservative. Moreover, an additional challenge is the selection or
identification of a model that sufficiently captures the motion of pedestrians.
To address these issues, this paper introduces the idea of splitting previously
collected, historical pedestrian trajectories into different behavior modes for
performing data-driven reachability analysis. Through this proposed approach,
we are able to use data-driven reachability analysis to capture the future
state sets of pedestrians, while being less conservative and still maintaining
safety guarantees. Furthermore, this approach is modular and can support
different approaches for behavior splitting. To illustrate the efficacy of the
approach, we implement our method with a basic behavior-splitting module and
evaluate the implementation on an open-source data set of real pedestrian
trajectories. In this evaluation, we find that the modal reachable sets are
less conservative and more descriptive of the future state sets of the
pedestrian
Online control synthesis for uncertain systems under signal temporal logic specifications
Signal temporal logic (STL) formulas have been widely used as a formal language to express complex robotic specifications, thanks to their rich expressiveness and explicit time semantics. Existing approaches for STL control synthesis suffer from limited scalability with respect to the task complexity and lack of robustness against the uncertainty, for example, external disturbances. In this paper, we study the online control synthesis problem for uncertain discrete-time systems subject to STL specifications. Different from existing techniques, we propose an approach based on STL, reachability analysis, and temporal logic trees. First, based on a real-time version of STL semantics, we develop the notion of tube-based temporal logic tree (tTLT) and its recursive (offline) construction algorithm. We show that the tTLT is an under-approximation of the STL formula, in the sense that a trajectory satisfying a tTLT also satisfies the corresponding STL formula. Then, an online control synthesis algorithm is designed using the constructed tTLT. It is shown that when the STL formula is robustly satisfiable and the initial state of the system belongs to the initial root node of the tTLT, it is guaranteed that the trajectory generated by the control synthesis algorithm satisfies the STL formula. We validate the effectiveness of the proposed approach by several simulation examples and further demonstrate its practical usability on a hardware experiment. These results show that our approach is able to handle complex STL formulas with long horizons and ensure the robustness against the disturbances, which is beyond the scope of the state-of-the-art STL control synthesis approaches
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
This paper presents algorithms for performing data-driven reachability
analysis under temporal logic side information. In certain scenarios, the
data-driven reachable sets of a robot can be prohibitively conservative due to
the inherent noise in the robot's historical measurement data. In the same
scenarios, we often have side information about the robot's expected motion
(e.g., limits on how much a robot can move in a one-time step) that could be
useful for further specifying the reachability analysis. In this work, we show
that if we can model this side information using a signal temporal logic (STL)
fragment, we can constrain the data-driven reachability analysis and safely
limit the conservatism of the computed reachable sets. Moreover, we provide
formal guarantees that, even after incorporating side information, the computed
reachable sets still properly over-approximate the robot's future states.
Lastly, we empirically validate the practicality of the over-approximation by
computing constrained, data-driven reachable sets for the
Small-Vehicles-for-Autonomy (SVEA) hardware platform in two driving scenarios.Comment: Accepted at the IEEE International Conference on Robotics and
Automation (ICRA 2022
Osteopotentia regulates osteoblast maturation, bone formation, and skeletal integrity in mice
A component of the rough ER, SUN domain protein osteopotentia, regulates expansion of this organelle in osteoblasts during skeletal development and regeneration
Scenic: A Language for Scenario Specification and Scene Generation
We propose a new probabilistic programming language for the design and
analysis of perception systems, especially those based on machine learning.
Specifically, we consider the problems of training a perception system to
handle rare events, testing its performance under different conditions, and
debugging failures. We show how a probabilistic programming language can help
address these problems by specifying distributions encoding interesting types
of inputs and sampling these to generate specialized training and test sets.
More generally, such languages can be used for cyber-physical systems and
robotics to write environment models, an essential prerequisite to any formal
analysis. In this paper, we focus on systems like autonomous cars and robots,
whose environment is a "scene", a configuration of physical objects and agents.
We design a domain-specific language, Scenic, for describing "scenarios" that
are distributions over scenes. As a probabilistic programming language, Scenic
allows assigning distributions to features of the scene, as well as
declaratively imposing hard and soft constraints over the scene. We develop
specialized techniques for sampling from the resulting distribution, taking
advantage of the structure provided by Scenic's domain-specific syntax.
Finally, we apply Scenic in a case study on a convolutional neural network
designed to detect cars in road images, improving its performance beyond that
achieved by state-of-the-art synthetic data generation methods.Comment: 41 pages, 36 figures. Full version of a PLDI 2019 paper (extending UC
Berkeley EECS Department Tech Report No. UCB/EECS-2018-8
Genome of Drosophila suzukii, the spotted wing drosophila.
Drosophila suzukii Matsumura (spotted wing drosophila) has recently become a serious pest of a wide variety of fruit crops in the United States as well as in Europe, leading to substantial yearly crop losses. To enable basic and applied research of this important pest, we sequenced the D. suzukii genome to obtain a high-quality reference sequence. Here, we discuss the basic properties of the genome and transcriptome and describe patterns of genome evolution in D. suzukii and its close relatives. Our analyses and genome annotations are presented in a web portal, SpottedWingFlyBase, to facilitate public access
- …