Inferring and monitoring invariants in robotic systems

Hengle Jiang,Sebastian G. Elbaum,Carrick Detweiler

Published 2016 in Autonomous Robots

ABSTRACT

No abstract is available for this paper.

PUBLICATION RECORD

Publication year
2016
Venue
Autonomous Robots
Publication date
2016-05-30
Fields of study
Computer Science, Engineering
Identifiers
DOI 10.1007/s10514-016-9576-y
External record
Open on Semantic Scholar
Source metadata
Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

No claims are published for this paper.

CONCEPTS

No concepts are published for this paper.

REFERENCES

Autonomous Aerial Water Sampling
2015influential reference
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar
2015cited by this paper
Data Mining Practical Machine Learning Tools and Techniques
2014cited by this paper
Risk-aware trajectory generation with application to safe quadrotor landing
2014cited by this paper
Reducing failure rates of robotic systems though inferred invariants monitoring
2013influential reference
Guaranteed Safe Online Learning via Reachability: tracking a ground target using a quadrotor
2012cited by this paper
Motion interference detection in mobile robots
2012cited by this paper
PRECIS: Inferring invariants using program path guided clustering
2011cited by this paper
Leveraging existing instrumentation to automatically infer invariant-constrained models
2011cited by this paper
Online data-driven fault detection for robotic systems
2011cited by this paper
Graphical State Space Programming: A visual programming paradigm for robot task specification
2011cited by this paper
Reducing Uncertainty in Human-Robot Interaction: A Cost Analysis Approach
2010cited by this paper
Learning a probabilistic self-awareness model for robotic systems
2010cited by this paper
Online inference and enforcement of temporal properties
2010cited by this paper
Graphical state-space programmability as a natural interface for robotic control
2010cited by this paper
Automatic generation of software behavioral models
2008cited by this paper
Javert: fully automatic mining of general temporal properties from dynamic traces
2008influential reference
Specification patterns for probabilistic quality properties
2008cited by this paper
The Daikon system for dynamic detection of likely invariants
2007cited by this paper
Managing space for finite-state verification
2006cited by this paper
Pip: Detecting the Unexpected in Distributed Systems
2006cited by this paper
Perracotta: mining temporal API rules from imperfect traces
2006cited by this paper
Execution monitoring in robotics: A survey
2005cited by this paper
Real-Time Diagnosis and Repair of Faults of Robot Control Software
2005cited by this paper
USENIX Association Proceedings of the First Symposium on Networked Systems Design and Implementation
2004cited by this paper
Efficient incremental algorithms for dynamic detection of likely invariants
2004cited by this paper
Using Magpie for Request Extraction and Workload Modelling
2004cited by this paper
Discovering Algebraic Specifications from Java Classes
2003cited by this paper
Tracking down software bugs using automatic anomaly detection
2002influential reference
Dynamically discovering likely program invariants to support program evolution
1999cited by this paper
Patterns in property specifications for finite-state verification
1999cited by this paper
Data mining
1997cited by this paper
ASTRAL: An Assertion Language for Specifying Realtime Systems
1991cited by this paper
A New Convex Hull Algorithm for Planar Sets
1977cited by this paper

CITED BY

A generic approach for reactive stateful mitigation of application failures in distributed robotics systems deployed with Kubernetes
2024influential citation
Exploring Automatic Specification Repair in Dafny Programs
2023cites this paper
A Framework for the Unsupervised Inference of Relations Between Sensed Object Spatial Distributions and Robot Behaviors
2023cites this paper
Simulation Might Change Your Results: A Comparison of Context-Aware System Input Validation in Simulated and Physical Environments
2022cites this paper
START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report)
2022cites this paper
Mining guidelines for architecting robotics software
2021cites this paper
Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems
2021cites this paper
Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems
2021cites this paper
RoScript: A Visual Script Driven Truly Non-Intrusive Robotic Testing System for Touch Screen Applications
2020cites this paper
Diseased Area Recognition and Pesticide Spraying in Farming Lands by Multicopters and Image Processing System
2020cites this paper
Dynamic Path Generation for Multirotor Aerial Docking in Forward Flight
2020cites this paper
Probabilistic Conditional System Invariant Generation with Bayesian Inference
2020cites this paper
Qualifying Examination Final Report: Implicit Invariants for Relational Data Structures
2020cites this paper
Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces
2019cites this paper
Reconfigurable Autonomous Wheel-Tracked Robot
2019cites this paper
Safety Monitoring for Autonomous Systems: Interactive Elicitation of Safety Rules. (Moniteurs de sécurité pour des systèmes autonomes: élicitation interactive des règles de sécurité)
2019cites this paper
Tuning Permissiveness of Active Safety Monitors for Autonomous Systems
2018cites this paper
A self-adaptation framework based on functional knowledge for augmented autonomy in robots
2018cites this paper
Proposal : Identification of Software Failures in Complex Systems Using Low-Level Execution Data
2018influential citation
Sensing water properties at precise depths from the air
2018cites this paper
Tuning permissiveness for active safety monitoring
2017cites this paper
Autonomous fault detection for performance bugs in component-based robotic systems
2016cites this paper