-
GREEMA: Proposal and Experimental Verification of Growing Robot by Eating Environmental MAterial for Landslide Disaster
Authors:
Yusuke Tsunoda,
Yuya Sato,
Koichi Osuka
Abstract:
In areas that are inaccessible to humans, such as the lunar surface and landslide sites, there is a need for multiple autonomous mobile robot systems that can replace human workers. In particular, at landslide sites such as river channel blockages, robots are required to remove water and sediment from the site as soon as possible. Conventionally, several construction machines have been deployed to…
▽ More
In areas that are inaccessible to humans, such as the lunar surface and landslide sites, there is a need for multiple autonomous mobile robot systems that can replace human workers. In particular, at landslide sites such as river channel blockages, robots are required to remove water and sediment from the site as soon as possible. Conventionally, several construction machines have been deployed to the site for civil engineering work. However, because of the large size and weight of conventional construction equipment, it is difficult to move multiple units of construction equipment to the site, resulting in significant transportation costs and time. To solve such problems, this study proposes a novel growing robot by eating environmental material called GREEMA, which is lightweight and compact during transportation, but can function by eating on environmental materials once it arrives at the site. GREEMA actively takes in environmental materials such as water and sediment, uses them as its structure, and removes them by moving itself. In this paper, we developed and experimentally verified two types of GREEMAs. First, we developed a fin-type swimming robot that passively takes water into its body using a water-absorbing polymer and forms a body to express its swimming function. Second, we constructed an arm-type robot that eats soil to increase the rigidity of its body. We discuss the results of these two experiments from the viewpoint of Explicit-Implicit control and describe the design theory of GREEMA.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
Route Design in Sheepdog System--Traveling Salesman Problem Formulation and Evolutionary Computation Solution--
Authors:
Wataru Imahayashi,
Yusuke Tsunoda,
Masaki Ogura
Abstract:
In this study, we consider the guidance control problem of the sheepdog system, which involves the guidance of the flock using the characteristics of the sheepdog and sheep. Sheepdog systems require a strategy to guide sheep agents to a target value using a small number of sheepdog agents, and various methods have been proposed. Previous studies have proposed a guidance control law to guide a herd…
▽ More
In this study, we consider the guidance control problem of the sheepdog system, which involves the guidance of the flock using the characteristics of the sheepdog and sheep. Sheepdog systems require a strategy to guide sheep agents to a target value using a small number of sheepdog agents, and various methods have been proposed. Previous studies have proposed a guidance control law to guide a herd of sheep reliably, but the movement distance of a sheepdog required for guidance has not been considered. Therefore, in this study, we propose a novel guidance algorithm in which a supposedly efficient route for guiding a flock of sheep is designed via Traveling Salesman Problem and evolutionary computation. Numerical simulations were performed to confirm whether sheep flocks could be guided and controlled using the obtained guidance routes. We specifically revealed that the proposed method reduces both the guidance failure rate and the guidance distance.
△ Less
Submitted 4 October, 2023; v1 submitted 3 October, 2023;
originally announced October 2023.
-
On the Maximum Number of Codewords of X-Codes of Constant Weight Three
Authors:
Yu Tsunoda,
Yuichiro Fujiwara
Abstract:
X-codes form a special class of linear maps which were originally introduced for data compression in VLSI testing and are also known to give special parity-check matrices for linear codes suitable for error-erasure channels. In the context of circuit testing, an $(m, n, d, x)$ X-code compresses $n$-bit output data $R$ from the circuit under test into $m$ bits, while allowing for detecting the exis…
▽ More
X-codes form a special class of linear maps which were originally introduced for data compression in VLSI testing and are also known to give special parity-check matrices for linear codes suitable for error-erasure channels. In the context of circuit testing, an $(m, n, d, x)$ X-code compresses $n$-bit output data $R$ from the circuit under test into $m$ bits, while allowing for detecting the existence of an up to $d$-bit-wise anomaly in $R$ even if up to $x$ bits of the original uncompressed $R$ are unknowable to the tester. Using probabilistic combinatorics, we give a nontrivial lower bound for any $d \geq 2$ on the maximum number $n$ of codewords such that an $(m, n, d, 2)$ X-code of constant weight $3$ exists. This is the first result that shows the existence of an infinite sequence of X-codes whose compaction ratio tends to infinity for any fixed $d$ under severe weight restrictions. We also give a deterministic polynomial-time algorithm that produces X-codes that achieve our bound.
△ Less
Submitted 23 March, 2019;
originally announced March 2019.
-
Bounds on Separating Redundancy of Linear Codes and Rates of X-Codes
Authors:
Yu Tsunoda,
Yuichiro Fujiwara,
Hana Ando,
Peter Vandendriessche
Abstract:
An error-erasure channel is a simple noise model that introduces both errors and erasures. While the two types of errors can be corrected simultaneously with error-correcting codes, it is also known that any linear code allows for first correcting errors and then erasures in two-step decoding. In particular, a carefully designed parity-check matrix not only allows for separating erasures from erro…
▽ More
An error-erasure channel is a simple noise model that introduces both errors and erasures. While the two types of errors can be corrected simultaneously with error-correcting codes, it is also known that any linear code allows for first correcting errors and then erasures in two-step decoding. In particular, a carefully designed parity-check matrix not only allows for separating erasures from errors but also makes it possible to efficiently correct erasures. The separating redundancy of a linear code is the number of parity-check equations in a smallest parity-check matrix that has the required property for this error-erasure separation. In a sense, it is a parameter of a linear code that represents the minimum overhead for efficiently separating erasures from errors. While several bounds on separating redundancy are known, there still remains a wide gap between upper and lower bounds except for a few limited cases. In this paper, using probabilistic combinatorics and design theory, we improve both upper and lower bounds on separating redundancy. We also show a relation between parity-check matrices for error-erasure separation and special matrices, called X-codes, for data compaction circuits in VLSI testing. This leads to an exponentially improved bound on the size of an optimal X-code.
△ Less
Submitted 14 September, 2018; v1 submitted 12 September, 2016;
originally announced September 2016.
-
Probabilistic bounds on the trap** redundancy of linear codes
Authors:
Yu Tsunoda,
Yuichiro Fujiwara
Abstract:
The trap** redundancy of a linear code is the number of rows of a smallest parity-check matrix such that no submatrix forms an $(a,b)$-trap** set. This concept was first introduced in the context of low-density parity-check (LDPC) codes in an attempt to estimate the number of redundant rows in a parity-check matrix suitable for iterative decoding. Essentially the same concepts appear in other…
▽ More
The trap** redundancy of a linear code is the number of rows of a smallest parity-check matrix such that no submatrix forms an $(a,b)$-trap** set. This concept was first introduced in the context of low-density parity-check (LDPC) codes in an attempt to estimate the number of redundant rows in a parity-check matrix suitable for iterative decoding. Essentially the same concepts appear in other contexts as well such as robust syndrome extraction for quantum error correction. Among the known upper bounds on the trap** redundancy, the strongest one was proposed by employing a powerful tool in probabilistic combinatorics, called the Lovász Local Lemma. Unfortunately, the proposed proof invoked this tool in a situation where an assumption made in the lemma does not necessarily hold. Hence, although we do not doubt that nonetheless the proposed bound actually holds, for it to be a mathematical theorem, a more rigorous proof is desired. Another disadvantage of the proposed bound is that it is only applicable to $(a,b)$-trap** sets with rather small $a$. Here, we give a more general and sharper upper bound on trap** redundancy by making mathematically more rigorous use of probabilistic combinatorics without relying on the lemma. Our bound is applicable to all potentially avoidable $(a,b)$-trap** sets with $a$ smaller than the minimum distance of a given linear code, while being generally much sharper than the bound through the Lovász Local Lemma. In fact, our upper bound is sharp enough to exactly determine the trap** redundancy for many cases, thereby providing precise knowledge in the form of a more general bound with mathematical rigor.
△ Less
Submitted 4 April, 2016;
originally announced April 2016.