Research Analyzer
← SII 2025

All Papers

260 papers in this venue.

Clear
255 result(s) for “Formal Methods in System Integration” Page 1 of 6
Title & Authors Actions
One Stack, Diverse Vehicles: Checking Safe Portability of Automated Driving Software
Vladislav Nenchev
 PDF
Bidirectional Operation Prediction for Body Integration System
Hyuga Suzuki, Hikari Yukawa, Kouta Minamizawa, Yoshihiro Tanaka
 PDF
Morphological Adaptation for Speed Control of Pipeline Inspection Gauges: From System Integration to Real-World Demonstration
Tachadol Suthisomboon, Sujet Phodapol, Thipawan Pairam, Kitti Phongaksorn, Naris Asawalertsak, Pakpoom Kriengkomol, Tanapoom Jitnaknan, Petch Janbanjong, Poramate Manoonpong
 PDF
System Integration of Controlling Multi-Vehicles by Manipulating a Renderer As a Recognition Tool
KUNBUM PARK, Takeshi Tsuchiya
 PDF
Integration of AIS Data for Efficient Drone Navigation in Maritime Real-Time Ship Inspection
Theodoros Karachalios, Panagiotis Moschos, Anastasios Fanariotis, Theofanis Orphanoudakis, Helen-Catherine Leligou
 PDF
A Technical Integration Framework for Human-Like Motion Generation in Symmetric Dual Arm Picking of Large Objects
Marco Baracca, Luca Morello, Matteo Bianchi
 PDF
Attention-Guided Integration of CLIP and SAM for Precise Object Masking in Robotic Manipulation
Muhammad Angga Muttaqien, Tomohiro Motoda, Ryo Hanai, Yukiyasu Domae
 PDF
ReViSE : Proposal of Framework which Enables Seamless and Flexible Integration of Real and Virtual Objects for Video See-Through MR
Koki Suzuki, Eito Yanagisawa, Hitoshi Iyatomi, Sousuke Nakamura
 PDF
Space-Filling Truncated Octahedron Climbing Modular Robots for the Construction of High-Rise Structures on the Lunar Surface
Haruho MITSUNAGA, Akio NODA
 PDF
Saccade Argos: Hierarchical Robust Tracking System for High Spatio-temporal Resolution Vision
Leo Miyashita, Masatoshi Ishikawa
 PDF
Application of OSR for Hardware Accelerated Intelligent Manufacturing Machines
Adwait Rawat, Takayuki Mukaeda, Keisuke Shima
 PDF
Assembling Solar Panels by Dual Robot Arms Towards Full Autonomous Lunar Base Construction
Luca Nunziante, Kentaro Uno, Gustavo Hernan Diaz Huenupan, Shreya Santra, Alessandro De Luca, Kazuya Yoshida
 PDF
Accurate Estimation of Fiducial Marker Positions Using Motion Capture System
MATUS TANONWONG, Naoya Chiba, Koichi Hashimoto
 PDF
Diffusion Model and RRT*-Based Methods for Reflected Mass Optimization in Motion Planning
David Gutierrez Moreno, Simon Armleder, Yuhwan Kwon, Takumi Hachimine, Yoshihisa Tsurumine, Takamitsu Matsubara, Gordon Cheng
 PDF
Human-Centric Concept for a Reconfigurable Robotic System Enabling Low-Volume Assembly of Photonic and Quantum Modules
Andreas Wicht, Tobias Franke, Alina Hahn, Nils Hakansson, Christian Kürbis, Robert Smol, Thomas Hulin, Thomas Eiband, Peter Lehner, Maximilian Sebastian Mühlbauer, Korbinian Nottensteiner, Richard Pietschmann, Bernhard Thaler, Diana Thaler, Jürgen Bosse
 PDF
Vision-Based Robot Manipulation of Transparent Liquid Containers in a Laboratory Setting
Daniel Schober, Ronja Güldenring, James Love, Lazaros Nalpantidis
 PDF
RPC: A Modular Framework for Robot Planning, Control, and Deployment
Seung Hyeon Bang, Carlos Isaac Gonzalez Bolivar, Gabriel Moore, Dong Ho Kang, Mingyo Seo, Ryan Gupta, Luis Sentis
 PDF
Development and Application of the Low-Cost 3D Printable Servo Module with the Worm Gear Reduction Mechanism Capable of Switching between Open and Driven States
Tasuku Makabe, Tomoya Himeno, Kei Okada, Masayuki Inaba
 PDF
Enhancing Robot Perception Using Vision-Aware Cognition Model
Jia Qu, Ryo Hanai, Ixchel Georgina Ramirez-Alpizar, Yukiyasu Domae, Shotaro Miwa
 PDF
Scalable, Training-Free Visual Language Robotics: A Modular Multi-Model Framework for Consumer-Grade GPUs
Marie Samson, Bastien Muraccioli, Fumio Kanehiro
 PDF
Foundation Models Need to Be Culturally Fine-Tuned
Jose Alfredo Garcia-Alvarado, Floris Marc Arden Erich, Tomohiro Motoda, Abdullah Mustafa, Yukiyasu Domae, Ixchel Georgina Ramirez-Alpizar
 PDF
Surrogate Shopping System : Experience of Semi-Onsite Shopping under the Dual-Task Situation
Yukiko Iwasaki, Ahmed Alsereidi, Joi Oh, VITVASIN VIMOLMONGKOLPORN, takumi handa, Kaito Kamishima, Nonoka Nishida, Fumihiro Kato, Hiroyasu Iwata
 PDF
A Self-Attention Multi-Task Learning Model for Garment Segmentation and Parts Recognition
Yilin Zhang, Alberto Elías Petrilli BarcelÃ3, Naoya Chiba, Koichi Hashimoto
 PDF
Improving Indoor Localization: A Low-Cost, Multi-Marker and Multi-Camera System for Robot Tracking
Iuri Pereira Barros, Ranulfo Bezerra, Rawin Assabumrungrat, Shotaro Kojima, Yoshito Okada, Masashi Konyo, Kazunori Ohno, Satoshi Tadokoro
 PDF
Image Recognition Based Precursor Detection System for Landslide Prevention
Yuhei Oguro, YiHsin Ho, Yi-Jung Chen, Jie-Ru Chen
 PDF
Basic Mechanical Design of the Omnidirectional Vehicle Units with Magnetic Twin-Caster Mechanism for Realizing the Motion on Thin Film Walls
Kenjiro Tadakuma, Masahiro Watanabe, Riichiro Tadakuma, Satoshi Tadokoro
 PDF
Time-Lag Generation Mechanical Valve for Enhancing Time Response of Back-Stretchable McKibben Muscles
Shoma Tanaka, Ryota Kobayashi, Hiroyuki Nabae, Koichi Suzumori
 PDF
Unknown Input Observer for Takagi-Sugeno Fuzzy Bilinear System with Input and Output Disturbances
Jun Yoneyama
 PDF
Body Motion Noise Reduction of Silent Speech Recognition Using Facial Surface EMG
Ryosuke Kimoto, Takashi Ohhira, Hideki Hashimoto
 PDF
Towards the Development of an Intelligent Control for LED Lighting with Solar Energy and Energy Storage for a Jogging Track in the Countryside
Jorge Solis, Sebastian Arnesson, Isac Myren Andersson, Magnus Nilsson, Johan Rahm, Su-Ping Burman
 PDF
High-Precision Wireless Synchronization: When Wi-Fi Meets UWB
Louis Adriaens, Wei Liu, Jetmir Haxhibeqiri, Jeroen Hoebeke, Ben Van Herbruggen, Stijn Luchie, Eli De Poorter, Pablo Avila-Campos
 PDF
Extraction of Color Information Array from RGB-NIR Images Enhanced by Multispectral Illumination and Image Classification by LLGMN
Taiga Eguchi, Wen Liang Yeoh, Hiroshi Okumura, Osamu Fukuda
 PDF
Visualisable and Adjustable Command Spaces for Gesture-Based Home Appliance Operation System Via HoloLens2
Yushin Mochizuki, Masae Yokota, Sarthak Pathak, Kazunori Umeda
 PDF
Versatile Robotic System for Assembly Tasks Using Flexible Mechanism
Masanori Ueda, Ryunosuke Yamada, Tokuo Tsuji, Kaihei Okada, Takehiro Nishimura, Ryota Shimizu, Yuya Otsu, Kaori Yoshino, Yosuke Suzuki, Toshihiro Nishimura, Tetsuyou Watanabe
 PDF
A Wearable System for Walking Cognitive Assistance Using People Flow Estimation and Vibrotactile Feedback in Crowded Sidewalks
Ayumu Okai, Mihoko Niitsuma
 PDF
μ-RoMS-OS � an Operating System for a Robot Middleware Software for Low-Level-Microcontroller
Michael Zauner, Roman Froschauer
 PDF
Development of a Personalized Cheering System Using a Large-Scale Language Model
Nodoka Okamoto, Atsutoshi Ikeda
 PDF
Artificial Finger Consisting of Closed Linkages and a Single Planetary Gear System: Control of Reaction Force Vector Yielded at a Fingertip
Yuma Eto, Koichi Koganezawa, Yoshihiro Kai
 PDF
Vision-Sensorless Bin-Picking System Using Compliant Fingers with Proximity Sensors
Michihisa Ohara, Keisuke Koyama, Kensuke Harada
 PDF
Object Positions Interpretation System for Service Robots through Targeted Object Marking
Kosei Yamao, Daiju Kanaoka, Kosei Isomoto, Hakaru Tamukoh
 PDF
Given Data of System Requirements for Canonical Controller Design
Yuki Ochiai, Triet Nguyen-Van, Shin Kawai
 PDF
Automatic Emoticons Insertion System Based on Acoustic Information of User Voice: 3rd Report on Hyper-Parameter Tuning of SVM and Visual Representation
Ryo Senuma, Sho Yokota, Akihiro Matsumoto, Daisuke Chugo, Satoshi Muramatsu, Hiroshi Hashimoto
 PDF
Development of Strawberry Harvest Support System Using Smart Glasses
Jin Yien Lee, Taiga Eguchi, Nanami Ishizu, Tatsuya Kawakami, Wen Liang Yeoh, Hiroshi Okumura, Osamu Fukuda
 PDF
Development of a Cost-Effective On-Device Natural Language Command Navigation System for Mobile Robots in Challenging Indoor Scenarios
Thanh-Tung Ngo, Tiet Nguyen Khoi Nguyen, Duc Quy Nguyen, Khuyen Gia Pham, Khoi Minh Huy Hoang, Quang P.M. Pham, Tho Truong Do
 PDF
An Integrated Adaptive System for On-Pipe Landing and Adherence of Autonomous Inspection Drones
Vatsanai Jaiton, Prajyot Jadhav, Kongkiat Rothomphiwat, Theerawath Phetpoon, Kanut Tarapongnivat, Poramate Manoonpong
 PDF
Front Hair Styling Robot System Using Path Planning for Root-Centric Strand Adjustment
Soonhyo Kim, Naoaki Kanazawa, Shun Hasegawa, Kento Kawaharazuka, Kei Okada
 PDF
Behavior Monitoring System Leveraging Human Pose Estimation
Ryo Mitoma, Takayuki Mukaeda, Keisuke Shima, Haruto Kai, Masayuki Suzuki, Keiji Kato
 PDF
Motion Assistance System for Telesports by Seamlessly Blending Manual and Automatic Throwing Controls
Yusuke Kawashima, Ryuma Niiyama
 PDF
Camera-LiDAR Jaywalking Detection in Traffic Surveillance System
TaekLim Kim, ByungJin Jang, Jooyeon Yeon, Tae-Hyeong Kim, Tae-Hyoung Park
 PDF
Development of Cybernic Mirror System for Improvement of Hand Motor Functions for Patients with Hemiplegia
Sara Konishi, Akira Uehara, Hiroaki Kawamoto, Yoshiyuki Sankai
 PDF