Results 81 to 90 of about 22,226,095 (257)

Runtime Monitoring for Concurrent Systems [PDF]

, 2016
Most existing specification languages for runtime verification describe the properties of the entire system in a top-down manner, and lack constructs to describe concurrency in the specification directly.
Mitsuharu Yamamoto, Yoshinori Tanabe, Tanabe, Yoshinori, Ma, Lei, Hagiya, Masami, Lei Ma, Artho, Cyrille,, Jun Inoue, Yamagata, Yoriyuki, Cyrille Artho, Yoriyuki Yamagata, Masami Hagiya, Inoue, Jun, Artho, Cyrille, Yamamoto, Mitsuharu   +14 more
core   +1 more source

ChicGrasp: Imitation‐Learning‐Based Customized Dual‐Jaw Gripper Control for Manipulation of Delicate, Irregular Bio‐Products

Advanced Robotics Research, EarlyView.
Automated poultry processing lines still rely on humans to lift slippery, easily bruised carcasses onto a shackle conveyor. Deformability, anatomical variance, and hygiene rules make conventional suction and scripted motions unreliable. We present ChicGrasp, an end‐to‐end hardware‐software co‐designed imitation learning framework, to offer a ...
Amirreza Davar, Zhengtong Xu, Siavash Mahmoudi, Pouya Sohrabipour, Chaitanya Pallerla, Yu She, Wan Shou, Philip Glen Crandall, Dongyi Wang   +8 more
wiley   +1 more source

Introspector: A general-purpose tool for visualizing and comparing runtime object structures on the Java platform

SoftwareX
Understanding the runtime behavior of complex software systems requires dynamic analysis beyond traditional static inspection techniques. Modern applications rely on intricate hierarchies of interconnected objects, making runtime structure analysis ...
Francisco Ortin, Oscar Rodriguez-Prieto, Miguel Garcia   +2 more
doaj   +1 more source

Runtime Checking for Program Verification [PDF]

The process of verifying that a program conforms to its specification is often hampered by errors in both the program and the specification. A runtime checker that can evaluate formal specifications can be useful for quickly identifying such errors. This
Zee, Karen, Rinard, Martin, Taylor, Michael   +2 more
core   +2 more sources

LLM‐Integrated Human–Robot Interaction System for Microrobots

Advanced Robotics Research, EarlyView.
This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley   +1 more source

The MegaM@Rt2 ECSEL Project – MegaModelling at Runtime – Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems [PDF]

, 2017
International audienceA major challenge for the European electronic industry is to enhance productivity while reducing costs and ensuring quality in development, integration and maintenance.
Smrz, Pavel, Pavel Smrz, Silvia Mazzini, Afzal, Wasif,, Pomante, Luigi,, Field, Daniel,, Wasif Afzal, Bruneliere, Hugo, Hugo Bruneliere, Andrey Sadovykh, Bruneliere, Hugo,, Di Ruscio, Davide, Eric Cariou, Jordi Cabot, Di Ruscio, Davide,, Truscan, Dragos, Sadovykh, Andrey,, Mazzini, Silvia, Luigi Pomante, Cariou, Eric,, Smrz, Pavel,, Sadovykh, Andrey, Cabot, Jordi,, Pomante, Luigi, Dragos Truscan, Davide Di Ruscio, Daniel Field, Cariou, Eric, Truscan, Dragos,, Cabot, Jordi, Mazzini, Silvia,, Field, Daniel, Afzal, Wasif   +32 more
core   +1 more source

Mutual Adaptation and Influence: Review of Latent Dynamics Models in Human–Robot Interaction

Advanced Robotics Research, EarlyView.
Robots are becoming better teammates by learning hidden patterns in how people act. This review covers how state‐of‐the‐art approaches leverage these patterns to help robots not only react but also anticipate and guide cooperation. Here, we synthesize a unifying framework for these approaches, classify and review existing works, and highlight key ...
Mason O. Smith, Sunny Amatya, Seyed Yousef Soltanian, Jonathan Bush, Wenlong Zhang   +4 more
wiley   +1 more source

Adaptive Runtime Risk Assessment With Aging-Aware Feasibility for Safety-Critical Systems

IEEE Access
In safety-critical systems, such as vehicles, continuous and adaptive risk assessment is essential for maintaining security throughout the system lifecycle.
Yaman Qendah, Jannis Hamborg, Christoph KrauB, Stefan Katzenbeisser   +3 more
doaj   +1 more source

jorge-real/TTS-Runtime-Ravenscar: Initial release

, 2018
<p>A runtime-level implementation of Time-Triggered Scheduling in Ravenscar. Files to integrate with the ravenscar-full runtime for the STM32F4 Discovery board.
jorge-real
core   +1 more source

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

Advanced Robotics Research, EarlyView.
DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano, Jianyu An, Dinesh Manocha, Huan Xu   +3 more
wiley   +1 more source