NDLI: Analyzing neighborhoods of falsifying traces in cyber-physical systems

Please wait, while we are loading the content...

Sampling-based control synthesis for multi-robot systems under global temporal specifications

Battery state-of-health estimation for mobile devices

A physiology-aware communication architecture for distributed emergency medical CPS

Constructing compact causal mathematical models for complex dynamics

VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems

Privacy-enhanced architecture for occupancy-based HVAC Control

A merging protocol for self-driving vehicles

Data-driven distributionally robust vehicle balancing using dynamic region partitions

Formal synthesis of distributed optimal traffic control policies

SunShade: enabling software-defined solar-powered systems

Cybermanufacturing in the shared economy

Analyzing neighborhoods of falsifying traces in cyber-physical systems

Resilient linear classification: an approach to deal with attacks on training data

A submodular optimization approach to controlled islanding under cascading failure

GreenDrive: a smartphone-based intelligent speed adaptation system with real-time traffic signal prediction

Markov decision process routing games

Multi-objective optimal control with safety as a priority

Distributed placement of power generation resources in uncertain environments

Diagnostics and prognostics using temporal causal models for cyber physical energy systems

Abstraction based reachability analysis for finite branching stochastic hybrid systems

Resilient sensor placement for fault localization in water distribution networks

Application and system-level software fault tolerance through full system restarts

DRONA: a framework for safe distributed mobile robotics

QuActive: a quality of activities monitoring and notification system

Enhancing tolerance to unexpected jumps in GR(1) games

Towards a framework for comprehensive and systematic reliability evaluation of building management systems

A Gaussian process regression approach to model aircraft engine fuel flow rate

Hardware module-based message authentication in intra-vehicle networks

Provably-correct coordination of large collections of agents with counting temporal logic constraints

Personalization without user interruption: boosting activity recognition in new subjects using unlabeled data

Transactive energy demo with RIAPS platform

Platform for security-aware design of human-on-the-loop cyber-physical systems

Analyzing neighborhoods of falsifying traces in cyber-physical systems

Content Provider	ACM Digital Library
Author	Sankaranarayanan, Sriram Diwakaran, Ram Das Trivedi, Ashutosh
Abstract	We study the problem of analyzing falsifying traces of cyber-physical systems. Specifically, given a system model and an input which is a counterexample to a property of interest, we wish to understand which parts of the inputs are "responsible" for the counterexample as a whole. Whereas this problem is well known to be hard to solve precisely, we provide an approach based on learning from repeated simulations of the system under test. Our approach generalizes the classic concept of "one-at-a-time" sensitivity analysis used in the risk and decision analysis community to understand how inputs to a system influence a property in question. Specifically, we pose the problem as one of finding a neighborhood of inputs that contains the falsifying counterexample in question, such that each point in this neighborhood corresponds to a falsifying input with a high probability. We use ideas from statistical hypothesis testing to infer and validate such neighborhoods from repeated simulations of the system under test. This approach not only helps to understand the sensitivity of these counterexamples to various parts of the inputs, but also generalizes or widens the given counterexample by returning a neighborhood of counterexamples around it. We demonstrate our approach on a series of increasingly complex examples from automotive and closed loop medical device domains. We also compare our approach against related techniques based on regression and machine learning.
Starting Page	109
Ending Page	119
Page Count	11
File Format	PDF
ISBN	9781450349659
DOI	10.1145/3055004.3055029
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2017-04-18
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Hypothesis testing Sensitivity analysis Black-box testing
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Analysis of Security Testing Techniques

Sensitivity analysis of expensive black-box systems using metamodeling

Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems

Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems

Black-box test reduction using input-output analysis

A model-based architecture for testing medical cyber-physical systems

Using Sensitivity Analysis and Cross-Association for the Design of Intrusion Detection Systems in Industrial Cyber-Physical Systems

Monitoring of clock synchronization in cyber-physical systems: A sensitivity analysis

A.: Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems (2013)

Analyzing neighborhoods of falsifying traces in cyber-physical systems

Similar Documents

Analysis of Security Testing Techniques

Sensitivity analysis of expensive black-box systems using metamodeling

Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems

Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems

Black-box test reduction using input-output analysis

A model-based architecture for testing medical cyber-physical systems

Using Sensitivity Analysis and Cross-Association for the Design of Intrusion Detection Systems in Industrial Cyber-Physical Systems

Monitoring of clock synchronization in cyber-physical systems: A sensitivity analysis

A.: Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems (2013)

Analyzing neighborhoods of falsifying traces in cyber-physical systems