SII 2025

260 papers · 0 AI summaries · 2025

AI summary only

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	View PDF
Loading…
	Long-Range Vehicle Detection of LiDAR using Adaboost Classification Na-Young Lim, Jeon-Hyeok Lee, Tae-Hyoung Park	View PDF
Loading…
	A Hierarchical Region-Based Approach for Efficient Multi-Robot Exploration Di Meng, Tianhao Zhao, Chaoyu Xue, Jun Wu, Qiuguo Zhu	View PDF
Loading…
	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	View PDF
Loading…
	Development of Admittance Control Considering Operability in Human-Robot Cooperative Motion Kota Abe, Yoshiyuki Noda	View PDF
Loading…
	Introduction to a Motion Control Algorithm for the Autonomous 4-Wheel Steering Vehicle Yong Seong Cho, Kangmin Noh, Eunchan Lee, Hyunhwan Jeong	View PDF
Loading…
	Full Range Torque Estimation on Drivetrains with Strain Wave Gears Søren Graabæk, Christoffer Sloth	View PDF
Loading…
	Probabilistic VFH-Based Obstacle Avoidance Algorithm for Unknown Environment Exploration Using Swarm Robots Kosuke Sakamoto, Yasuharu Kunii	View PDF
Loading…
	Data Augmentation of Pseudo-Dense Images to Detect Morning Glory Regions in Soybean Fields Aoi Kodama, Satoki Tsuichihara, Yasutake Takahashi	View PDF
Loading…
	Designing Sensor Wear for Posture Estimation with Strain Sensors Using Digital Model Yumeko Imamura, Kunihiro Ogata, Takeshi Kurata	View PDF
Loading…
	Tightly Coupled Vector Field Inertial Localization Naoki Akai	View PDF
Loading…
	Comprehensive Support for Dressing Bottoms in Hemiplegic Individuals Using a Branching Arm Robot Yuta Yoshioka, Yutaka Takase, Kimitoshi Yamazaki	View PDF
Loading…
	S2Gait: RGB-Based Gait Recognition with Style Feature Sampling Data Augmentation Koki Yoshino, Kazuto Nakashima, Jeongho Ahn, Yumi Iwashita, Ryo Kurazume	View PDF
Loading…
	Curriculum Reinforcement Learning for Obstacle Avoidance Postures for a Hyper-Redundant Manipulator Keishi Hirade, Ryuma Niiyama	View PDF
Loading…
	Roddy: Rod Elasticity Incorporated into a Robot Manipulator for Rigid Tool Use Around Rigid Environment TERUMI TOKUYAMA, Hiromi Mochiyama	View PDF
Loading…
	Practical Task and Motion Planning for Robotic Food Preparation Jeremy Siburian, Cristian Camilo Beltran-Hernandez, Masashi Hamaya	View PDF
Loading…
	Good Grasps Only: A Data Engine for Self-Supervised Fine-Tuning of Pose Estimation Using Grasp Poses for Verification Frederik Hagelskjær	View PDF
Loading…
	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	View PDF
Loading…
	Open Vocabulary Object Search Utilizing Large Language Models and Fuzzy Inferencing Akash Chikhalikar, Ankit A. Ravankar, Jose Victorio Salazar Luces, Yasuhisa Hirata	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	Real-Time Estimation of Shoulder Motion Intention with a Neuromusculoskeletal Model and a Neural Network Jorge Andree Orellana Wong, Satoshi Nishikawa, Kazuo Kiguchi	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	Exploring the Effect of Attachment Position of Electrodes for EMG-Based Detection of Minimum Effective Load on Muscles Tamon Miyake, Shigeki Sugano	View PDF
Loading…
	Validation of Real-Time Gait Event Detection between In-Shoe IMUs and Force Plates During Walking Gunarajulu Renganathan, Yuichi Kurita, Mitsunori Tada	View PDF
Loading…
	LLM-Guided Zero-Shot Visual Object Navigation with Building Semantic Map JIN SHI, Satoshi Yagi, Satoshi Yamamori, Jun Morimoto	View PDF
Loading…
	Servo-Driven Flapping-Wing Aerial Vehicle (FWAV): Payload Capacity and Navigation Performance Muhammad Labiyb Afakh, Azhar Aulia Saputra, Hidaka Sato, Kazuyoshi Wada, Naoyuki Takesue	View PDF
Loading…
	Predicting human behavior using knowledge information in jig operation and robot collaborative action generation Mone Tamaki, Ryoichi Nakajo, Natsuki Yamanobe, Yukiyasu Domae, Tetsuya Ogata	View PDF
Loading…
	Reinforcement Learning of Multi-Robot Task Allocation for Multi-Object Transportation with Infeasible Tasks Yuma Shida, Tomohiko Jimbo, Tadashi Odashima, Takamitsu Matsubara	View PDF
Loading…
	Enabling Robots to Identify Missing Steps in Robot Tasks for Guided Learning from Demonstration Maximilian Diehl, Tathagata Chakraborti, Karinne Ramirez-Amaro	View PDF
Loading…
	Development of Chiseling Model with Transition from Chiseling to Splitting Situations for Implementing to Surgical Training Simulator Shota Kasai, Sinyoung Lee, Yoshiyuki Noda	View PDF
Loading…
	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	View PDF
Loading…
	Enhancing Teleoperator Awareness of Gripper-Object Interaction by Modulating Control Button Stiffness Noel Alejandro Avila Campos, Masashi Konyo, Ranulfo Bezerra, Shotaro Kojima, Satoshi Tadokoro	View PDF
Loading…
	Motion Planning Method with Pushing Posture Selection for Arranging Office Chairs Using Dual-Arm Mobile Robot Sotaro Suwa, Takuya Iwasaki, Kimitoshi Yamazaki	View PDF
Loading…
	Efficient Solution to 3D-LiDAR-Based Monte Carlo Localization with Fusion of Measurement Model Optimization Via Importance Sampling Naoki Akai	View PDF
Loading…
	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	View PDF
Loading…
	Towards Local Minima-Free Robotic Navigation: Model Predictive Path Integral Control Via Repulsive Potential Augmentation Takahiro Fuke, Masafumi Endo, Kohei Honda, Genya Ishigami	View PDF
Loading…
	Implicit Extended Kalman Filter for Radar-Only 2D Odometry and Sensor-Vehicle Calibration Titouan Tyack, Laurent Ferro-Famil, DAMIEN VIVET	View PDF
Loading…
	Visual-Lidar Odometry with Orientation Correction towards Millimeter-Level Localization for Indoor Construction Robots Hiroki Hisatsugu, Hisahiro Koshizuka, Moritoyo Hori, Kenjiro Yamamoto	View PDF
Loading…
	Evaluation of an Environment Classification Method for Optimal Crowd Model Selection in Autonomous Mobile Robot Simulations Saki Nakazawa, Yuka Kato	View PDF
Loading…
	Dynamic Threshold Spatial-Temporal Filter on FPGAs for Event-Based Vision Sensors Ryuta Toyoda, Kanta Yoshioka, Hakaru Tamukoh	View PDF
Loading…
	Object Covisibility Graph for Change Detection and 3D Object-Oriented Map Revision in Semi-Static Scenes Ziquan Wang, Masahiko Mikawa, Makoto Fujisawa	View PDF
Loading…
	Proposal of a Point Cloud Inter-Day Registration Method for Agricultural UAV Monitoring Soki Nishiwaki, Ken Murakami, Haruki Kondo, Shuhei Yoshida, Takanori Emaru	View PDF
Loading…
	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	View PDF
Loading…
	Leveraging Symbolic Models in Reinforcement Learning for Multi-Skill Chaining Wenhao Lu, Maximilian Diehl, Jonas Sjöberg, Karinne Ramirez-Amaro	View PDF
Loading…
	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	View PDF
Loading…