The proceedings contain 28 papers. The special focus in this conference is on Bridging the Gap Between AI and Reality. The topics include: Responsible and Trusted AI: An Interdisciplinary Perspective;team Design Patte...
ISBN:
(纸本)9783031754333
The proceedings contain 28 papers. The special focus in this conference is on Bridging the Gap Between AI and Reality. The topics include: Responsible and Trusted AI: An Interdisciplinary Perspective;team Design Patterns for Meaningful Human control in Responsible Military Artificial Intelligence;transparent Transparency Developing a Scheme for Understanding Transparency Requirements;AI Act for the Working Programmer;AI Assisted Programming: (AISoLA 2024 Track Introduction);SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning;Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software;proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase;LLM-Based Scheme for Synthesis of Formal Verification Algorithms;verification and Learning for Assured Autonomy;a Comparison of Monitoring Techniques for Deep Neural Networks;efficient Shield Synthesis via State-Space Transformation;Runtime Verification and AI: Addressing Pragmatic Regulatory Challenges;A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL;Systematic Translation from Natural Language robot Task Descriptions to STL;it’s Safe to Play While Driving: From a Spatial Traffic Logic Towards Traffic Games;monitoring Safety and Reliability of Underwater robots: A Case Study;statistical Model Checking the 2024 Edition!;Reinforcement Learning for Discretized Euclidean MDPs;adaptive Stopping Algorithms Based on Concentration Inequalities;digging for Decision Trees: A Case Study in Strategy Sampling and Learning;statistical Analysis of the Impact of Bit-Flips in Security Critical Code;statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa;On SMC-Based Dependability Analysis in LoLiPoP-IoT Project;Towards Verifying robotic Systems Using Statistical Model Checking in STORM.
This paper presents the design of an intelligent cleaning and disinfection robot based on the STM32 controller. The STM32 is employed to process the signal logic of the system and generate control instructions. The ob...
详细信息
Soft robots, known for their adaptability, flexibility, and safety, have diverse applications in unstructured environments. However, current actuation methods for soft robots suffer from low energy efficiency and limi...
详细信息
Aiming at the problems of stability and efficiency of full-width cross-axis cutting in large section semi-coal rock roadway under complex geological conditions, a shield type intelligent driving robot system is develo...
详细信息
The proceedings contain 10 papers. The topics discussed include: pet robot emotional interaction for urban autism;web documents structures as source for machine-understandable document;analysis and design of tracking ...
ISBN:
(纸本)9781450371742
The proceedings contain 10 papers. The topics discussed include: pet robot emotional interaction for urban autism;web documents structures as source for machine-understandable document;analysis and design of tracking control for the RF matching box of plasma system;the less-used books management using knowledge management at library and information health science department, Chiang Mai University library;does integration promote enterprise technology innovation? evidence from the global value chain;cooperation, network characteristics, and innovation performance - a study on shanghai it services industry;assessment of software engineering process based on CMMI-QFD framework;and exploring the behavior intention of online travel agency hotel reservation with technology acceptance model.
Map construction has always been crucial in exploring enclosed unknown environments. Traditional mapping methods have problems such as low accuracy or long time consumption. Due to the indoor and enclosed nature of un...
详细信息
The proceedings contain 20 papers. The topics discussed include: a variable step size adaptive filtering algorithm with feedback mechanism;application of particle swarm optimization algorithm in power source thermal t...
ISBN:
(纸本)9781450362634
The proceedings contain 20 papers. The topics discussed include: a variable step size adaptive filtering algorithm with feedback mechanism;application of particle swarm optimization algorithm in power source thermal transient prediction;gesture recognition system using optical muscle deformation sensors;performance comparison of unsupervised deep hashing with data-independent hashing for content-based audio retrieval;FirstVR: a muscle deformation sensors array device to detect finger gestures and noise reduction case;enhancing red tide image recognition using hierarchical learning approach based on semantic feature;interaction with the mercurial robot: work assisting robot express the tiredness;logistic model-based measurement and analysis of factors affecting poverty in underdeveloped areas;and study on the characteristic of natural cavitation with large cavitation number.
The rapid development of power artificial intelligence (AI) technology have brought significant benefits to various aspects of the grid. However, a critical challenge remains: the lack of automated actuators for AI-ge...
详细信息
This paper studies the trajectory tracking control problem of robot joint modules. Based on the framework of constraint-following control, an adaptive robust controller is proposed. The controller is composed of two c...
详细信息
ISBN:
(数字)9798331518806
ISBN:
(纸本)9798331518813
This paper studies the trajectory tracking control problem of robot joint modules. Based on the framework of constraint-following control, an adaptive robust controller is proposed. The controller is composed of two components: a nominal control term, derived from an accurate model, to stabilize the nominal system, and a robust control term to reduce the effect of uncertainties on tracking performance. Theoretical analysis and numerical simulation illustrate that the proposed control scheme ensures a satisfactory performance of the system.
暂无评论