ARTEO algorithm optimizes safety-critical systems with uncertainty.
problem Decision-making under uncertainty with safety constraints in real-time optimization.
method ARTEO algorithm uses multi-armed bandits as a mathematical programming problem subject to safety constraints, learning unknown characteristics through exploration and incorporating uncertainty quantification.
result ARTEO achieves less cumulative regret with accurate and safe decisions.
Study improves self-driving safety in dynamic environments.
problem Safe self-driving in non-stationary urban settings.
method Neurosymbolic Meta-Reinforcement Lookahead Learning (NUMERLA).
result Self-driving agents can adapt safely in real-time.
Investigates safe decision-making in interactive environments.
problem Learning the best safe decision in real-time systems.
method Reduces to a constrained linear bandits problem, proposes adaptive experimental design-based algorithm.
result First results on best-arm identification in linear bandits with safety constraints.
Self-driving vehicles improve safety by predicting surrounding vehicles' trajectories.
problem Ensuring safety of self-driving vehicles through better trajectory prediction.
method Developed a Convolutional Neural Network to forecast vehicle trajectories from raw data.
result Improvement over baseline models in trajectory forecasting accuracy.
Paper optimizes industrial refrigeration using adaptive exploration.
problem Challenges in optimizing real-time industrial processes with unknown characteristics and safety constraints.
method Adaptive and explorative real-time optimization framework with Gaussian process uncertainty quantification.
result Approach increases energy efficiency of refrigeration process, approximating complete information solutions.
Real-time detection of out-of-distribution data in CPS control systems.
problem Detecting out-of-distribution data in CPS control systems for safety.
method Inductive conformal prediction and anomaly detection using variational autoencoders and deep support vector data description.
result Efficient real-time detection with low false alarm rates and comparable execution time.
The paper improves safety in autonomous systems using adversarial learning.
problem Ensuring safety in real-time control systems of autonomous vehicles.
method The paper introduces a dual anomaly detection framework (CFAM and SFAM) using generative adversarial networks (GANs) and video prediction.
result Demonstrated effectiveness on both indoor and outdoor autonomous ground vehicles.
Real time large scale streaming data pose major challenges to forecasting, in particular defying the presence of human experts to perform the corresponding analysis. We present here a class of models and methods used to develop an automated, scalable and versatile system for large scale forecasting oriented towards saf…
Simple online monitor detects unsafe LLM outputs.
problem LLMs generate unsafe outputs despite training.
method Thresholding external verifier signal to decide alarms.
result Simple design competitive with advanced methods.
Predict real-time crash risks during hurricane evacuations using connected vehicle data.
problem Mitigate crash risks during hurricane evacuations by predicting high-risk locations.
method Used connected vehicle data to predict crash risks in real-time, considering weather and traffic features.
result Gaussian Process Boosting and Extreme Gradient Boosting models performed best, with recall of 0.91.
New RL framework improves real-time control performance.
problem Real-time RL systems assume static states, leading to suboptimal outcomes.
method Introduces a new real-time RL framework where states and actions evolve simultaneously.
result RTAC algorithm outperforms existing state-of-the-art algorithms in real-time and non-real-time settings.
Real-time drowsiness detection on mobile phones reduces road trauma.
problem Driver drowsiness increases crash risk and road trauma.
method Depthwise separable 3D convolutions combined with early fusion of spatial and temporal information.
result Real-time drowsiness detection on mobile phones reduces road trauma.
Improved real-time UAV terrain following with RVM-RLS filter.
problem Accurate real-time waypoints estimation under measurement noise in nonlinear, time-varying systems.
method Residual Variance Matching Recursive Least Squares (RVM-RLS) filter guided by RVME criterion.
result Improved waypoints estimation accuracy by approximately 88% compared to benchmarks.
Paper proposes an online anomaly detection method for real-time systems.
problem Rare events endanger profitability, safety, and environmental aspects.
method Online inverse cumulative distribution-based approach with dynamic process limits.
result Eliminates common problems of offline anomaly detectors and provides low-latency detection.
ELS framework improves safety alignment by dynamically steering LLMs towards helpful responses.
problem Over-Refusal in Aligned Large Language Models
method Fine-tuning free framework using an Energy-Based Model (EBM) to dynamically steer LLMs during inference.
result Extensive experiments show a significant reduction in false refusals (from 57.3% to 82.6%) while maintaining safety performance.
SkyGP improves Gaussian process scalability for real-time learning.
problem Scalability issues with exact Gaussian processes for streaming data.
method Streaming kernel-induced progressively generated Gaussian process experts (SkyGP).
result SkyGP maintains performance guarantees while improving scalability.
Dual frame-rate system improves real-time perception for autonomous vehicles.
problem Conflicting requirement of safety and efficiency in real-time perception systems.
method Proposes a dual frame-rate system with a modulator stream for robust features and a prediction stream for transient signals.
result Consistent improvements across various backbone architectures and input resolutions.
The real-time crash likelihood prediction has been an important research topic. Various classifiers, such as support vector machine (SVM) and tree-based boosting algorithms, have been proposed in traffic safety studies. However, few research focuses on the missing data imputation in real-time crash likelihood predictio…
The paper evaluates Bayesian neural networks for safety in autonomous driving.
problem Safety guarantees for deep neural network controllers in autonomous driving.
method Developed a framework using a state-of-the-art simulator to evaluate Bayesian controllers.
result Bayesian inference methods can provide statistical guarantees for uncertainty computation in autonomous driving.
The article develops a model for predicting aircraft motion in terminal airspace.
problem Predicting aircraft motion for collision avoidance and safety analysis.
method Fits a probabilistic generative model to historical position data of aircraft landings and takeoffs.
result The model generates realistic trajectories, provides accurate predictions, and captures statistical properties of aircraft trajectories.
Accurate real time crime prediction is a fundamental issue for public safety, but remains a challenging problem for the scientific community. Crime occurrences depend on many complex factors. Compared to many predictable events, crime is sparse. At different spatio-temporal scales, crime distributions display dramatica…
New dataset and model improve real-time traffic accident prediction.
problem Reducing traffic accidents through better analysis and prediction.
method Deep neural network (DAP) with recurrent, fully connected, and embedding components.
result Significant improvements in predicting rare accident events.
The paper uses CNNs to classify road conditions in real-time.
problem Classifying road conditions in real-time using images from cameras across North America.
method Used state-of-the-art convolutional neural networks (VGG-16, ResNet50, Xception, InceptionResNetV2, EfficientNet-B0 and EfficientNet-B4) to classify images by road condition.
result EfficientNet-B4 framework achieved validation accuracy of 90.6% in real-time map building.
AI monitors social distancing and masks at manufacturing plants.
problem Ensuring safety of workers during post-COVID production.
method Computer vision and AI techniques for social distancing and mask detection.
result Real-time alerts prevent violations of social distancing and mask-wearing.
Study uses vehicle trajectory data to predict traffic incidents on highways.
problem Early detection of traffic incidents to reduce secondary crashes.
method Machine learning algorithms (Logistic Regression, Random Forest, Extreme Gradient Boost, Artificial Neural Network) applied to vehicle trajectory data.
result Random Forest model performs best for incident prediction.
Deep RL for autonomous highway driving avoids unexpected scenarios.
problem Unexpected scenarios in AV operation space lead to poor decision-making.
method Deep reinforcement learning with safety checks for decision-making.
result Enhanced learning efficiency and safe behavior in highway driving.
Efficient classifier with uncertainty bounds for safety-critical applications.
problem Lack of uncertainty bounds in high-accuracy classifiers for safety-critical tasks.
method Nadaraya-Watson estimator with frequentist bounds.
result Competitive accuracy and uncertainty bounds at reduced computational cost.
Proposes real-time risk monitoring for machine learning systems under unknown shifts.
problem Dynamic distribution shifts challenge real-world machine learning systems' risk assurances.
method Sequential hypothesis testing with 'testing by betting' to detect risk violations.
result Effective real-time risk monitoring under various unknown shifts.
This paper suggests claim history will be deprecated in future auto insurance rates.
problem The role of historical claim records in auto insurance rates.
method Proposes a new risk variable elimination method and real-time road risk model design.
result Claim history will be considered a 'noise' factor and deprecated in Pay-How-You-Drive models.
World wide road traffic fatality and accident rates are high, and this is true even in technologically advanced countries like the USA. Despite the advances in Intelligent Transportation Systems, safe transportation routing i.e., finding safest routes is largely an overlooked paradigm. In recent years, large amount of …
Deep reinforcement learning system improves air traffic control efficiency and safety.
problem High-density, dynamic, and stochastic air traffic control challenges.
method Deep multi-agent reinforcement learning framework using actor-critic model with PPO loss function.
result Framework resolves 99.97% of all conflicts in extreme high-density scenarios.
The paper evaluates uncertainty measures for self-driving cars to predict crashes.
problem Lack of safety guarantees in DNNs used in self-driving cars.
method Real-time extraction and evaluation of uncertainty from DNNs without altering their architecture.
result Mutual information is a promising indicator of crashes in self-driving cars.
Existing malware detectors on safety-critical devices have difficulties in runtime detection due to the performance overhead. In this paper, we introduce PROPEDEUTICA, a framework for efficient and effective real-time malware detection, leveraging the best of conventional machine learning (ML) and deep learning (DL) te…
Deep learning detects traffic accidents in real time using spatiotemporal data.
problem Detecting traffic accidents to improve safety and reduce delays.
method Used LSTM and GRUs on spatiotemporal sequential data with SMOTE oversampling.
result GRU model performs slightly better than LSTM in detecting traffic accidents.
Enhances crowd safety through AI and data-driven models.
problem Improving crowd safety during events.
method Innovative data collection, AI, and machine learning.
result Accurate multi-day forecasts for event planning.
CMCO provides robust uncertainty estimates for neural operators without retraining.
problem Uncertainty quantification in deep learning for real-time virtual sensing.
method Unified Monte Carlo dropout and split conformal prediction in DeepONet.
result Near-nominal empirical coverage in diverse applications.
Proposes a real-time anomaly detection system using IRL.
problem Real-time anomaly detection in sequential data.
method Uses inverse reinforcement learning to infer reward function and evaluate anomalies.
result Effective in identifying anomalies in real-world data.
RLVR maintains safety while improving reasoning capabilities in LLMs.
problem Safety-capability tradeoff in fine-tuning LLMs.
method Reinforcement Learning with Verifiable Rewards (RLVR) and theoretical analysis.
result RLVR can enhance reasoning while maintaining safety guardrails.
Improved traffic flow prediction model using Kalman filter noise reduction.
problem Low accuracy in predicting traffic flow parameters due to limited connected vehicle data.
method Combined LSTM with Kalman filter-based RTS noise reduction.
result Reduced prediction errors by 50-70% for speed and space headway.
The paper reviews machine learning safety techniques for autonomous vehicles.
problem Challenges in machine learning safety for autonomous vehicles.
method Organizes practical safety techniques to complement engineering safety.
result Enhances dependability and safety of machine learning algorithms in autonomous vehicles.
Research tackles safety of deep learning in safety-critical tasks.
problem Safety concerns of deep learning in perception tasks for autonomous agents.
method Technical enumeration and discussions on safety concerns and mitigation methods.
result Need for more mitigation methods to ensure safety of deep learning.
The paper discusses safety assessment for AI systems, focusing on machine learning models.
problem Safety assessment of AI systems, especially machine learning models, in safety-related applications.
method Analyzed AI models as statistical models and proposed a new budget allocation for AI safety.
result Safety assessment of AI systems requires a new approach focusing on the model used, not just the system.
Fine-tuning LLMs improves capability but harms safety, study finds.
problem Balancing capability and safety in LLM fine-tuning.
method Theoretical framework and numerical experiments for two safety-aware fine-tuning strategies.
result Characterization of fundamental limits of safety-capability trade-off in LLM fine-tuning.
New safety measure reduces failures in learning systems.
problem Challenges in learning to control physical systems due to failures.
method Implicitly captures system dynamics to failure states using Gaussian processes for model-free active sampling.
result Significant reduction in failures during learning with estimated safety measure.
RAGuard improves safety in LLMs for offshore wind maintenance.
problem Conventional LLMs fail with specialised or unexpected scenarios in offshore wind maintenance.
method Integrates safety-critical documents alongside technical manuals in RAG framework.
result RAGuard increases safety recall from almost 0% to over 50% while maintaining technical recall above 60%.
Survey of algorithms for testing AI-driven CPS safety.
problem Testing AI-driven CPS for safety in complex environments.
method Survey of applied algorithms for safety validation.
result Survey of existing tools and techniques for safety validation.
Safe imitation learning with a safety layer for flexible training.
problem Flexible yet safe imitation learning for complex tasks.
method Theory and modular method with a safety layer for continuous policy, adversarial training, and worst-case safety guarantees.
result Robustness advantage of safety layer during training compared to test time.
This paper formalizes AI safety using hypothesis testing in GenAI.
problem Ensuring safety of generative AI tools that create realistic content.
method Formalization of computational safety through hypothesis testing and signal processing.
result Demonstrates how AI safety can be assessed quantitatively using mathematical frameworks.