English
Related papers

Related papers: Learning Robust Markov Models for Safe Runtime Mon…

200 papers

Robot learning methods have recently made great strides, but generalization and robustness challenges still hinder their widespread deployment. Failing to detect and address potential failures renders state-of-the-art learning systems not…

Robotics · Computer Science 2024-03-11 Huihan Liu , Shivin Dass , Roberto Martín-Martín , Yuke Zhu

Runtime monitors assess whether a system is in an unsafe state based on a stream of observations. We study the problem where the system is subject to probabilistic uncertainty and described by a hidden Markov model. A stream of observations…

Formal Languages and Automata Theory · Computer Science 2025-09-22 Luko van der Maas , Sebastian Junges

For machine learning components used as part of autonomous systems (AS) in carrying out critical tasks it is crucial that assurance of the models can be maintained in the face of post-deployment changes (such as changes in the operating…

Machine Learning · Computer Science 2024-06-25 Ozan Vardal , Richard Hawkins , Colin Paterson , Chiara Picardi , Daniel Omeiza , Lars Kunze , Ibrahim Habli

Complex dynamical systems rely on the correct deployment and operation of numerous components, with state-of-the-art methods relying on learning-enabled components in various stages of modeling, sensing, and control at both offline and…

Systems and Control · Electrical Eng. & Systems 2021-01-22 Weiming Xiang

There is an emerging trend in applying deep learning methods to control complex nonlinear systems. This paper considers enhancing the runtime safety of nonlinear systems controlled by neural networks in the presence of disturbance and…

Systems and Control · Electrical Eng. & Systems 2024-03-26 Jianglin Lan , Siyuan Zhan , Ron Patton , Xianxian Zhao

There are many situations in which it would be beneficial for a robot to have predictive abilities similar to those of rational humans. Some of these situations include collaborative robots, robots in adversarial situations, and for dynamic…

Robotics · Computer Science 2014-12-02 Alan J. Hamlet , Carl D. Crane

This paper is concerned with the computational complexity of learning the Hidden Markov Model (HMM). Although HMMs are some of the most widely used tools in sequential and time series modeling, they are cryptographically hard to learn in…

Machine Learning · Computer Science 2024-02-27 Sham M. Kakade , Akshay Krishnamurthy , Gaurav Mahajan , Cyril Zhang

We study automated intrusion detection in an IT infrastructure, specifically the problem of identifying the start of an attack, the type of attack, and the sequence of actions an attacker takes, based on continuous measurements from the…

Machine Learning · Computer Science 2025-12-23 Xiaoxuan Wang , Rolf Stadler

We investigate the problem of monitoring partially observable systems with nondeterministic and probabilistic dynamics. In such systems, every state may be associated with a risk, e.g., the probability of an imminent crash. During runtime,…

Logic in Computer Science · Computer Science 2021-05-27 Sebastian Junges , Hazem Torfah , Sanjit A. Seshia

Cyber threat intelligence is one of the emerging areas of focus in information security. Much of the recent work has focused on rule-based methods and detection of network attacks using Intrusion Detection algorithms. In this paper we…

Machine Learning · Computer Science 2024-09-05 Soham Deshmukh , Rahul Rade , Faruk Kazi

Hidden Quantum Markov Models (HQMMs) extend classical Hidden Markov Models to the quantum domain, offering a powerful probabilistic framework for modeling sequential data with quantum coherence. However, existing HQMM learning algorithms…

Machine Learning · Computer Science 2025-10-28 Ning Ning

Hidden Markov models (HMMs) and partially observable Markov decision processes (POMDPs) form a useful tool for modeling dynamical systems. They are particularly useful for representing environments such as road networks and office…

Artificial Intelligence · Computer Science 2013-01-30 Hagit Shatkay

The growth in Remote Patient Monitoring (RPM) services using wearable and non-wearable Internet of Medical Things (IoMT) promises to improve the quality of diagnosis and facilitate timely treatment for a gamut of medical conditions. At the…

Machine Learning · Computer Science 2021-06-23 Deepti Gupta , Maanak Gupta , Smriti Bhatt , Ali Saman Tosun

Reliability of complex Cyber-Physical Systems is necessary to guarantee availability and/or safety of the provided services. Diverse and complex fault tolerance policies are adopted to enhance reliability, that include a varied mix of…

Software Engineering · Computer Science 2022-08-26 Alessandro Fantechi , Gloria Gori , Marco Papini

In a mixed-traffic scenario where both autonomous vehicles and human-driving vehicles exist, a timely prediction of driving intentions of nearby human-driving vehicles is essential for the safe and efficient driving of an autonomous…

Machine Learning · Computer Science 2019-02-26 Shiwen Liu , Kan Zheng , Long Zhao , Pingzhi Fan

Using supervised machine learning approaches to recognize human activities from on-body wearable accelerometers generally requires a large amount of labelled data. When ground truth information is not available, too expensive, time…

Machine Learning · Statistics 2013-12-30 Dorra Trabelsi , Samer Mohammed , Faicel Chamroukhi , Latifa Oukhellou , Yacine Amirat

We aim to model unknown file processing. As the content of log files often evolves over time, we established a dynamic statistical model which learns and adapts processing and parsing rules. First, we limit the amount of unstructured text…

Machine Learning · Computer Science 2020-01-07 Nadine Kuhnert , Andreas Maier

This work studies the synthesis of active perception policies for predictive safety monitoring in partially observable stochastic systems. Operating under strict sensing and communication budgets, the proposed monitor dynamically schedules…

Systems and Control · Electrical Eng. & Systems 2026-03-25 Sumukha Udupa , Jie Fu

As machine learning (ML) components become increasingly integrated into software systems, the emphasis on the ethical or responsible aspects of their use has grown significantly. This includes building ML-based systems that adhere to…

Software Engineering · Computer Science 2023-10-11 Hira Naveed

We introduce a novel framework for learning context-aware runtime monitors for AI-based control ensembles. Machine-learning (ML) controllers are increasingly deployed in (autonomous) cyber-physical systems because of their ability to solve…

Machine Learning · Computer Science 2026-04-03 Alejandro Luque-Cerpa , Mengyuan Wang , Emil Carlsson , Sanjit A. Seshia , Devdatt Dubhashi , Hazem Torfah
‹ Prev 1 2 3 10 Next ›