Results 41 to 50 of about 7,527 (244)

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

open access: yesAdvanced 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   +3 more
wiley   +1 more source

Stabilization, Lyapunov functions, and dissipation [PDF]

open access: yesSystems & Control Letters, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rapisarda, Paolo, Kojima, Chiaki
openaire   +4 more sources

Robotics in Ionizing Radiation Environments: Vulnerabilities, Hardening, and Future Directions

open access: yesAdvanced Robotics Research, EarlyView.
Radiation exposure causes cumulative degradation in robotic sensors, actuators, and electronic logic, often leading to undetected failures. This study maps component vulnerabilities, evaluates hardening and shielding strategies, and identifies testing gaps that must be addressed to enable next‐generation radiation‐tolerant robotic systems.
Francis A. K. Djirackor   +4 more
wiley   +1 more source

Analytical Prediction of Critical Transitions in Oscillator Networks With Non‐Local Links

open access: yesAdvanced Science, EarlyView.
An analytical framework reveals how global coupling, second‐harmonic strength, noise, and network structure govern oscillator‐based Ising dynamics. Spectral reduction predicts stability boundaries, while Fokker–Planck analysis captures one‐ to two‐cluster transitions and identifies conditions favoring low‐energy configurations.
Qiang Li   +5 more
wiley   +1 more source

Applications of Lyapunov Functions to Caputo Fractional Differential Equations

open access: yesMathematics, 2018
One approach to study various stability properties of solutions of nonlinear Caputo fractional differential equations is based on using Lyapunov like functions.
Ravi Agarwal   +2 more
doaj   +1 more source

Device Stochasticity Directly Implements Bayesian Sampling in Spiking Neurons

open access: yesAdvanced Science, EarlyView.
Brain‐inspired stochastic spiking turns device noise into Bayesian uncertainty for robust, low‐power neuromorphic computing. ABSTRACT Device stochasticity is considered a non‐ideality in neuromorphic hardware, although stochastic neural activity supports probabilistic computation in biological systems.
Huannan Zheng, Jingli Liu, Kezhou Yang
wiley   +1 more source

Lyapunov functions for dichotomies in mean

open access: yesElectronic Journal of Differential Equations, 2017
We consider the notion of an exponential dichotomy in mean for a cocycle, in which the exponential behavior in the classical notion of an exponential dichotomy is replaced by an average with respect to an invariant probability measure.
Luis Barreira, Claudia Valls
doaj  

Stabilization of nonlinear safety-critical systems by relaxed converse Lyapunov-barrier approach and its applications in robotic systems

open access: yesAutonomous Intelligent Systems
Combining safety objectives with stability objectives is crucial for safety-critical systems. Existing studies generally unified these two objectives by constructing Lyapunov-type barrier functions. However, insufficient analysis of key set relationships
Haoqi Li   +3 more
doaj   +1 more source

Epidemiological Models and Lyapunov Functions [PDF]

open access: yesMathematical Modelling of Natural Phenomena, 2007
Summary: We give a survey of results on global stability for deterministic compartmental epidemiological models. Using Lyapunov techniques we revisit a classical result, and give a simple proof. By the same methods we also give a new result on differential susceptibility and infectivity models with mass action and an arbitrary number of compartments ...
A. Fall, A.   +3 more
openaire   +3 more sources

Negative Feedback in Hf0.5Zr0.5O2 Resistive Memory: Feigenbaum Route Toward Two‐Terminal Pseudo‐Random Number Generation and Neural Network Instabilities

open access: yesAdvanced Electronic Materials, EarlyView.
Resistively switching TiN/Hf0.5Zr0.5/Au valance‐change memory devices show period‐doubling bifurcations, arising from competing influences of filamentary counter‐eightwise filamentary switching and eigthwise electrochemical oxygen exchange at the active electrode.
Sebastian Obernberger   +4 more
wiley   +1 more source

Home - About - Disclaimer - Privacy