Kyushu University [Yukiko Yamauchi (Professor) Faculty of Information Science and Electrical Engineering, Department of Informatics]

Keyword Search

Researcher information

Yukiko Yamauchi
Professor
Mathematical Informatics
Department of Informatics
Faculty of Information Science and Electrical Engineering
Last modified date：2024.04.25

Graduate School

Department of informatics
Graduate School of Information Science and Electrical Engineering

Undergraduate School

Department of Electrical Engineering and Computer Science
School of Engineering

Department of Physics
School of Sciences

Homepage

Academic Degree

Country of degree conferring institution (Overseas)

Field of Specialization

Total Priod of education and research career in the foreign country

Outline Activities

Research

Research Interests

Distributed coordination for autonomous mobile robots
keyword : Distributed algorithm, mobile robot system, self-stabilization, group theory
2012.04～2025.03.
Self-stabilizing algorithms resilient to Byzantine faults
keyword : Distributed algorithm, self-stabilization
2010.04～2016.03.

Academic Activities

Reports

Show All Reports >>

Papers

Show All Papers >>

1.	Keisuke Doi, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, Search by a Metamorphic Robotic System in a Finite 2D Square Grid, Information and Computation Journal, https://doi.org/10.1016/j.ic.2021.104695, Vol. 285, 104695, 2022.05.
2.	Zhiqiang Liu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita, Team assembling problem for asynchronous heterogeneous mobile robots, Theoretical Computer Science, 10.1016/j.tcs.2018.01.009, 721, 27-41, 2018.04.
3.	Yukiko Yamauchi, Taichi Uehara, Shuji Kijima, Masafumi Yamashita, Plane Formation by Synchronous Mobile Robots in the Three Dimensional Euclidean Space, Journal of the ACM, 10.1145/3060272, 64, 3, 16:1-16:43, 2017.06, Creating a swarm of mobile computing entities, frequently called robots, agents, or sensor nodes, with self-organization ability is a contemporary challenge in distributed computing. Motivated by this, we investigate the plane formation problem that requires a swarm of robots moving in the three-dimensional Euclidean space to land on a common plane. The robots are fully synchronous and endowed with visual perception. But they do not have identifiers, nor access to the global coordinate system, nor any means of explicit communication with each other. Though there are plenty of results on the agreement problem for robots in the two-dimensional plane, for example, the point formation problem, the pattern formation problem, and so on, this is the first result for robots in the three-dimensional space. This article presents a necessary and sufficient condition for fully synchronous robots to solve the plane formation problem that does not depend on obliviousness, i.e., the availability of local memory at robots. An implication of the result is somewhat counter-intuitive: The robots cannot form a plane from most of the semi-regular polyhedra, while they can form a plane from every regular polyhedron (except a regular icosahedron), whose symmetry is usually considered to be higher than any semi-regular polyhedron..
4.	Yukiko Yamauchi, A survey on pattern formation of autonomous mobile robots: asynchrony, obliviousness and visibility, Journal of Physics: Conference Series, 473, 012016, 2013.12.
5.	Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, Toshimitsu Masuzawa, Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures, Theoretical Computer Science, 412, 33, 4336-4349, 2011.07.
6.	Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa, Reliable communication on emulated channels resilient to transient faults, International Journal of Foundations of Computer Science, 22, 5, 10991-1122, 2011.08.
7.	Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa, Linda Morales, I. Hal Sudborough, Calibrating embedded protocols on asynchronous systems, Information Sciences (Elsevier), 180, 1793--1801, 2010.05.
8.	Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, and Toshimitsu Masuzawa, Timer-based composition of fault-containing self-stabilizing protocols, Information Sciences, 180, 1802--1816, 2010.05.
9.	Yukiko Yamauchi, Toshimitsu Masuzawa, and Doina Bein, Preserving the fault-containment of ring protocols executed on trees, The Computer Journal (Oxford University Press), 152, 4, 483--498, 2009.07.
10.	Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, and Toshimitsu Masuzawa, Hierarchical composition of self-stabilizing protocols preserving the fault-containment property, IEICE Transactions on Information and Systems, E92-D, 3, 451--459, 2009.03.

Presentations

Show All Presentations >>

1.	Giuseppe A. Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta, Yukiko Yamauchi, Shape Formation by Programmable Particles, The 21st International Conference on Principles of Distributed Systems (OPODIS 2017), 2017.12.
2.	Yusaku Tomita, Yukiko Yamauchi, Shuji Kijima, 山下雅史, Plane formation by synchronous mobile robots without chirality, The 21st International Conference on Principles of Distributed Systems (OPODIS 2017), 2017.12.
3.	Akihiro Monde, Yukiko Yamauchi, Shuji Kijima, 山下雅史, Self-stabilizing localization of the middle point of a line segment by an oblivious robot with limited visibility, The 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017), 2017.11.
4.	Taichi Uehara, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita, Plane Formation by Semi-synchronous Robots in the Three Dimensional Euclidean Space, The 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), 2016.11.
5.	Yukiko Yamauchi, Taichi Uehara, Masafumi Yamashita, Brief Announcement: Symmetricity in 3D-space---Characterizing Formable Patterns by Synchronous Mobile Robots, The 30th International Symposium on Distributed Computing (DISC 2016), 2016.09.
6.	Yukiko Yamauchi, Taichi Uehara, Masafumi Yamashita, Brief Announcement: Pattern Formation Problem for Synchronous Mobile Robots in the Three Dimensional Euclidean Space , The 35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 2016.07.
7.	Yukiko Yamauchi, Distributed coordination of mobile robots in 3D-space, Dagstuhl Seminar 16271: Algorithmic Foundations of Programmable Matter, 2016.07.
8.	Yukiko Yamauchi, Taichi Uehara, Shuji Kijima, Masafumi Yamashita, Plane Formation by Synchronous Mobile Robots in the Three Dimensional Euclidean Space, 29th International Symposium on Distributed Computing (DISC 2015), 2015.10.
9.	Yukiko Yamauchi, Masafumi Yamashita, Randomized Pattern Formation Algorithm for Asynchronous Oblivious Mobile Robots, The 28th International Symposium on Distributed Computing (DISC 2014), 2014.10.
10.	Toru Sasaki, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita, Mobile Byzantine Agreement on Arbitrary Network, The 17th International Conference on Principles of Distributed Systems (OPODIS 2013),, 2013.12.
11.	Yukiko Yamauchi, Masafumi Yamashita, Pattern Formation by Mobile Robots with Limited Visibility, The 20th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2013), 2013.07.
12.	Yukiko Yamauchi, Sebastien Tixeuil, Masafumi Yamashita, Brief announcement: Probabilistic stabilization under probabilistic schedulers, The 26th International Symposium on Distributed Computing, 2012.10.

Membership in Academic Society

The Operations Research Society of Japan
IEICE
IPSJ

Educational

Unauthorized reprint of the contents of this database is prohibited.