210,467 research outputs found
Static Output Feedback: On Essential Feasible Information Patterns
In this paper, for linear time-invariant plants, where a collection of
possible inputs and outputs are known a priori, we address the problem of
determining the communication between outputs and inputs, i.e., information
patterns, such that desired control objectives of the closed-loop system (for
instance, stabilizability) through static output feedback may be ensured.
We address this problem in the structural system theoretic context. To this
end, given a specified structural pattern (locations of zeros/non-zeros) of the
plant matrices, we introduce the concept of essential information patterns,
i.e., communication patterns between outputs and inputs that satisfy the
following conditions: (i) ensure arbitrary spectrum assignment of the
closed-loop system, using static output feedback constrained to the information
pattern, for almost all possible plant instances with the specified structural
pattern; and (ii) any communication failure precludes the resulting information
pattern from attaining the pole placement objective in (i).
Subsequently, we study the problem of determining essential information
patterns. First, we provide several necessary and sufficient conditions to
verify whether a specified information pattern is essential or not. Further, we
show that such conditions can be verified by resorting to algorithms with
polynomial complexity (in the dimensions of the state, input and output).
Although such verification can be performed efficiently, it is shown that the
problem of determining essential information patterns is in general NP-hard.
The main results of the paper are illustrated through examples
An Implementation of Nested Pattern Matching in Interaction Nets
Reduction rules in interaction nets are constrained to pattern match exactly
one argument at a time. Consequently, a programmer has to introduce auxiliary
rules to perform more sophisticated matches. In this paper, we describe the
design and implementation of a system for interaction nets which allows nested
pattern matching on interaction rules. We achieve a system that provides
convenient ways to express interaction net programs without defining auxiliary
rules
String Matching: Communication, Circuits, and Learning
String matching is the problem of deciding whether a given n-bit string contains a given k-bit pattern. We study the complexity of this problem in three settings.
- Communication complexity. For small k, we provide near-optimal upper and lower bounds on the communication complexity of string matching. For large k, our bounds leave open an exponential gap; we exhibit some evidence for the existence of a better protocol.
- Circuit complexity. We present several upper and lower bounds on the size of circuits with threshold and DeMorgan gates solving the string matching problem. Similarly to the above, our bounds are near-optimal for small k.
- Learning. We consider the problem of learning a hidden pattern of length at most k relative to the classifier that assigns 1 to every string that contains the pattern. We prove optimal bounds on the VC dimension and sample complexity of this problem
Non-linear Pattern Matching with Backtracking for Non-free Data Types
Non-free data types are data types whose data have no canonical forms. For
example, multisets are non-free data types because the multiset has
two other equivalent but literally different forms and .
Pattern matching is known to provide a handy tool set to treat such data types.
Although many studies on pattern matching and implementations for practical
programming languages have been proposed so far, we observe that none of these
studies satisfy all the criteria of practical pattern matching, which are as
follows: i) efficiency of the backtracking algorithm for non-linear patterns,
ii) extensibility of matching process, and iii) polymorphism in patterns.
This paper aims to design a new pattern-matching-oriented programming
language that satisfies all the above three criteria. The proposed language
features clean Scheme-like syntax and efficient and extensible pattern matching
semantics. This programming language is especially useful for the processing of
complex non-free data types that not only include multisets and sets but also
graphs and symbolic mathematical expressions. We discuss the importance of our
criteria of practical pattern matching and how our language design naturally
arises from the criteria. The proposed language has been already implemented
and open-sourced as the Egison programming language
An introduction to Graph Data Management
A graph database is a database where the data structures for the schema
and/or instances are modeled as a (labeled)(directed) graph or generalizations
of it, and where querying is expressed by graph-oriented operations and type
constructors. In this article we present the basic notions of graph databases,
give an historical overview of its main development, and study the main current
systems that implement them
- …