Research Analyzer
← SII 2025

All Papers

260 papers in this venue.

Clear
255 result(s) for “Formal Methods in System Integration” Page 3 of 6
Title & Authors Actions
Evaluation of a Dielectric Elastomer Actuator Made of an Organogel Fabricated by 3D Printing
Masato Higuchi, Takeshi Hayakawa
 PDF
Long-Range Vehicle Detection of LiDAR using Adaboost Classification
Na-Young Lim, Jeon-Hyeok Lee, Tae-Hyoung Park
 PDF
A Hierarchical Region-Based Approach for Efficient Multi-Robot Exploration
Di Meng, Tianhao Zhao, Chaoyu Xue, Jun Wu, Qiuguo Zhu
 PDF
Stiffness Measurement and Modeling of Robot Arm Consisting of Single Geared Joint and Link Made of Different Materials
Naoyuki Takesue, Kazuma Sugihara, Gen Endo, Yuta Tsukamoto, Takeshi Takaki
 PDF
Development of Admittance Control Considering Operability in Human-Robot Cooperative Motion
Kota Abe, Yoshiyuki Noda
 PDF
Introduction to a Motion Control Algorithm for the Autonomous 4-Wheel Steering Vehicle
Yong Seong Cho, Kangmin Noh, Eunchan Lee, Hyunhwan Jeong
 PDF
Full Range Torque Estimation on Drivetrains with Strain Wave Gears
Søren Graabæk, Christoffer Sloth
 PDF
Probabilistic VFH-Based Obstacle Avoidance Algorithm for Unknown Environment Exploration Using Swarm Robots
Kosuke Sakamoto, Yasuharu Kunii
 PDF
Data Augmentation of Pseudo-Dense Images to Detect Morning Glory Regions in Soybean Fields
Aoi Kodama, Satoki Tsuichihara, Yasutake Takahashi
 PDF
Designing Sensor Wear for Posture Estimation with Strain Sensors Using Digital Model
Yumeko Imamura, Kunihiro Ogata, Takeshi Kurata
 PDF
Tightly Coupled Vector Field Inertial Localization
Naoki Akai
 PDF
Comprehensive Support for Dressing Bottoms in Hemiplegic Individuals Using a Branching Arm Robot
Yuta Yoshioka, Yutaka Takase, Kimitoshi Yamazaki
 PDF
S2Gait: RGB-Based Gait Recognition with Style Feature Sampling Data Augmentation
Koki Yoshino, Kazuto Nakashima, Jeongho Ahn, Yumi Iwashita, Ryo Kurazume
 PDF
Curriculum Reinforcement Learning for Obstacle Avoidance Postures for a Hyper-Redundant Manipulator
Keishi Hirade, Ryuma Niiyama
 PDF
Roddy: Rod Elasticity Incorporated into a Robot Manipulator for Rigid Tool Use Around Rigid Environment
TERUMI TOKUYAMA, Hiromi Mochiyama
 PDF
Practical Task and Motion Planning for Robotic Food Preparation
Jeremy Siburian, Cristian Camilo Beltran-Hernandez, Masashi Hamaya
 PDF
Good Grasps Only: A Data Engine for Self-Supervised Fine-Tuning of Pose Estimation Using Grasp Poses for Verification
Frederik Hagelskjær
 PDF
Wheel Arrangement of a Rocker-Bogie Mechanism with Omni-Directional Wheels for Reduced DOF Design
Yusuke Tokudome, Yuya Yamamoto, Yuta Watanabe, Chinvudh Uahchinkul, Satoshi Muramatsu, Katsuhiko Inagaki
 PDF
Open Vocabulary Object Search Utilizing Large Language Models and Fuzzy Inferencing
Akash Chikhalikar, Ankit A. Ravankar, Jose Victorio Salazar Luces, Yasuhisa Hirata
 PDF
Surgical skill analysis using explainable AI in endoscopic sinus surgery
Kaito Yamada, Masanobu Suzuki, Kou Miyaji, Koki Ebina, Kazuya Sase, Teppei Tsujita, Xiaoshuai Chen, Takashige Abe, Shunsuke Komizunai, Yuji Nakamaru, Taku Senoo, Akihiro Homma, Atsushi Konno
 PDF
Preliminary Study on Task Division for UAV-Based Visual Inspection of Large Structures with Multiple Flights Using 3D Urban Models
Masaya Haneda, Yuki Funabora, Shinji Doki
 PDF
Real-Time Estimation of Shoulder Motion Intention with a Neuromusculoskeletal Model and a Neural Network
Jorge Andree Orellana Wong, Satoshi Nishikawa, Kazuo Kiguchi
 PDF
CradlePosture: Camera-Based Approach for Estimating Neonate's Posture Based on Caregiver's Holding Behaviors
Hiyori Tsuji, Takumi Yamamoto, Maiko Kobayashi, Kyoshiro Sasaki, Noriko Aso, Yuta Sugiura
 PDF
Path Planning Method for Mobile Robots in Pedestrian-Friendly Environments Using Drone Bird's-Eye View
Linghao Ye, Daisuke Chugo, Satoshi Muramatsu, Sho Yokota, Hiroshi Hashimoto
 PDF
Deformation Analysis and Prediction of Drop-Stitch Reinforced Inflatable Robot Link for 1DOF and 2DOF Motion
Gangadhara Naga Sai Gubbala, Masato Nagashima, Hiroki Mori, young ah seong, Hiroki Sato, Ryuma Niiyama, Yuki Suga, Tetsuya Ogata
 PDF
Estimation of Upper Limb Kinematics in Baseball Pitching Using Sensor-Embedded Ball
Keiyu Tahara, Kodai Kawase, Haruki Takaoka, Gen HORIUCHI, Takahiko Sato, Shohei Shibata, Yuki Yamada, Akinori Nagano
 PDF
Basic Study for Drive Mechanism with Synthetic Fiber Rope: Development of a Tensioning Mechanism using a One-Way Clutch and Hose Clamp
Hana Ito, Kurumi Osawa, Akifumi Okubo, Gen Endo
 PDF
Exploring the Effect of Attachment Position of Electrodes for EMG-Based Detection of Minimum Effective Load on Muscles
Tamon Miyake, Shigeki Sugano
 PDF
Validation of Real-Time Gait Event Detection between In-Shoe IMUs and Force Plates During Walking
Gunarajulu Renganathan, Yuichi Kurita, Mitsunori Tada
 PDF
LLM-Guided Zero-Shot Visual Object Navigation with Building Semantic Map
JIN SHI, Satoshi Yagi, Satoshi Yamamori, Jun Morimoto
 PDF
Servo-Driven Flapping-Wing Aerial Vehicle (FWAV): Payload Capacity and Navigation Performance
Muhammad Labiyb Afakh, Azhar Aulia Saputra, Hidaka Sato, Kazuyoshi Wada, Naoyuki Takesue
 PDF
Predicting human behavior using knowledge information in jig operation and robot collaborative action generation
Mone Tamaki, Ryoichi Nakajo, Natsuki Yamanobe, Yukiyasu Domae, Tetsuya Ogata
 PDF
Reinforcement Learning of Multi-Robot Task Allocation for Multi-Object Transportation with Infeasible Tasks
Yuma Shida, Tomohiko Jimbo, Tadashi Odashima, Takamitsu Matsubara
 PDF
Enabling Robots to Identify Missing Steps in Robot Tasks for Guided Learning from Demonstration
Maximilian Diehl, Tathagata Chakraborti, Karinne Ramirez-Amaro
 PDF
Development of Chiseling Model with Transition from Chiseling to Splitting Situations for Implementing to Surgical Training Simulator
Shota Kasai, Sinyoung Lee, Yoshiyuki Noda
 PDF
Surgical Technique Analysis Using Dynamic Measurement of Surgical Instruments for Practical Laparoscopic Surgery Training
Lingbo Yan, Takashige Abe, Koki Ebina, Masafumi Kon, Madoka Higuchi, Kiyohiko Hotta, Jun Furumido, Naoya Iwahara, Shunsuke Komizunai, Teppei Tsujita, Kazuya Sase, Xiaoshuai Chen, Yo Kurashima, Hiroshi Kikuchi, Haruka Miyata, ryuji Matsumoto, Takairo Osawa, Sachiyo Murai, Toshiaki Shichinohe, Soichi Murakami, Taku Senoo, Masahiko Watanabe, Atsushi Konno
 PDF
Enhancing Teleoperator Awareness of Gripper-Object Interaction by Modulating Control Button Stiffness
Noel Alejandro Avila Campos, Masashi Konyo, Ranulfo Bezerra, Shotaro Kojima, Satoshi Tadokoro
 PDF
Motion Planning Method with Pushing Posture Selection for Arranging Office Chairs Using Dual-Arm Mobile Robot
Sotaro Suwa, Takuya Iwasaki, Kimitoshi Yamazaki
 PDF
Efficient Solution to 3D-LiDAR-Based Monte Carlo Localization with Fusion of Measurement Model Optimization Via Importance Sampling
Naoki Akai
 PDF
Task and Motion Planning of Fetch-And-Carry Including Push-Aside Action Using Mixed Integer Linear Programming
Yusuke Kuribayashi, Sotaro Suwa, Keisuke Takeshita, Kimitoshi Yamazaki
 PDF
Towards Local Minima-Free Robotic Navigation: Model Predictive Path Integral Control Via Repulsive Potential Augmentation
Takahiro Fuke, Masafumi Endo, Kohei Honda, Genya Ishigami
 PDF
Implicit Extended Kalman Filter for Radar-Only 2D Odometry and Sensor-Vehicle Calibration
Titouan Tyack, Laurent Ferro-Famil, DAMIEN VIVET
 PDF
Visual-Lidar Odometry with Orientation Correction towards Millimeter-Level Localization for Indoor Construction Robots
Hiroki Hisatsugu, Hisahiro Koshizuka, Moritoyo Hori, Kenjiro Yamamoto
 PDF
Evaluation of an Environment Classification Method for Optimal Crowd Model Selection in Autonomous Mobile Robot Simulations
Saki Nakazawa, Yuka Kato
 PDF
Dynamic Threshold Spatial-Temporal Filter on FPGAs for Event-Based Vision Sensors
Ryuta Toyoda, Kanta Yoshioka, Hakaru Tamukoh
 PDF
Object Covisibility Graph for Change Detection and 3D Object-Oriented Map Revision in Semi-Static Scenes
Ziquan Wang, Masahiko Mikawa, Makoto Fujisawa
 PDF
Proposal of a Point Cloud Inter-Day Registration Method for Agricultural UAV Monitoring
Soki Nishiwaki, Ken Murakami, Haruki Kondo, Shuhei Yoshida, Takanori Emaru
 PDF
Robotic Cytology Using Extra-Fine Needles -Derivation of Suction Conditions for Collecting the Necessary Amount While Reducing Specimen Contamination with Blood
Shotaro Tamura, Keisuke Oi, Ryusuke Hamano, Hiroyasu Iwata
 PDF
Leveraging Symbolic Models in Reinforcement Learning for Multi-Skill Chaining
Wenhao Lu, Maximilian Diehl, Jonas Sjöberg, Karinne Ramirez-Amaro
 PDF
Locating Survivors' Voices in Disaster Sites Using Quadcopters Based on Modeling Complicated Environments by PyRoomAcoustics and SSL by MUSIC-Based Algorithms
Masachika Kamada, Junji YAMATO, Yasuhiro Oikawa, Hiroshi G. Okuno, Jun Ohya
 PDF