NDLI: Timely monitoring of partially observable stochastic systems

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

Computation of piecewise affine terminal cost functions for model predictive control

A type-based analysis of causality loops in hybrid systems modelers

Stability analysis of large-scale networked control systems with local networks: a hybrid small-gain approach

Cells driven by computers: long-term model predictive control of gene expression in yeast

Component based design of hybrid systems: a case study on concurrency and coupling

Inner approximated reachability analysis

On approximation metrics for linear temporal model-checking of stochastic systems

Parameter synthesis for polynomial biological models

Temporal logic inference for classification and prediction from data

Stabilizing discrete-time switched linear systems

Stochastic reachability based motion planning for multiple moving obstacle avoidance

A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities

Model reduction of switched affine systems: a method based on balanced truncation and randomized optimization

JSR: a toolbox to compute the joint spectral radius

Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems

Resilience to intermittent assumption violations in reactive synthesis

Compositionality results for cardiac cell dynamics

Energy and mean-payoff timed games

An LQ sub-optimal stabilizing feedback law for switched linear systems

Timely monitoring of partially observable stochastic systems

Quasi-dependent variables in hybrid automata

Control to facet for polynomial systems

A bounded model checking tool for periodic sample-hold systems

Proofs from simulations and modular annotations

Model measuring for hybrid systems

Powertrain control verification benchmark

Abstraction, discretization, and robustness in temporal logic control of dynamical systems

State-feedback stabilization of discrete-time piecewise affine systems

Simulation-guided lyapunov analysis for hybrid dynamical systems

Abstracting and refining robustness for cyber-physical systems

Dynamic multi-domain bipedal walking with atrias through SLIP based human-inspired control

Edit distance for timed automata

Timely monitoring of partially observable stochastic systems

Content Provider	ACM Digital Library
Author	Sistla, A. Prasad Žefran, Miloý Ben, Yue Feng, Yao
Abstract	Ensuring the correct behavior of cyber physical systems at run time is of critical importance for their safe deployment. Any malfunctioning of such systems should be detected in a timely manner for further actions. This paper addresses the issue of how quickly a monitor raises an alarm after the occurrence of a failure in cyber physical systems. Towards this end, it introduces a class of systems called exponentially converging monitorable systems. The paper shows that failures in these systems can be detected fast by employing the traditional threshold monitors. It shows that the expected failure detection time for exponentially converging monitorable systems has logarithmic relationship with the inverse of the chosen threshold value. The paper identifies well defined natural classes of these systems. Experimental results are presented that confirm the theoretical results on the relationship between the failure detection time and the chosen threshold values.
Starting Page	61
Ending Page	70
Page Count	10
File Format	PDF
ISBN	9781450327329
DOI	10.1145/2562059.2562136
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-04-15
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Stochastic systems Cyber physical systems Threshold monitors Runtime monitoring Convergence properties
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

BraceAssertion: Runtime Verification of Cyber-Physical Systems

Runtime Monitoring for Cyber-physical Systems: A Case Study of Cooperative Adaptive Cruise Control

Enforcing Information Flow Security Properties in Cyber-Physical Systems: A Generalized Framework Based on Compensation

Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report

Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints

Limiting discounted-cost control of partially observable stochastic systems

Decentralized Partially Observable Markov Decision Processes for Planning in Smart Self-Adaptive Cyber-Physical Systems

Limiting Discounted-Cost Control of Partially Observable Stochastic Systems

A Predictive Runtime Verification Framework for Cyber-Physical Systems

Timely monitoring of partially observable stochastic systems

Similar Documents

BraceAssertion: Runtime Verification of Cyber-Physical Systems

Runtime Monitoring for Cyber-physical Systems: A Case Study of Cooperative Adaptive Cruise Control

Enforcing Information Flow Security Properties in Cyber-Physical Systems: A Generalized Framework Based on Compensation

Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report

Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints

Limiting discounted-cost control of partially observable stochastic systems

Decentralized Partially Observable Markov Decision Processes for Planning in Smart Self-Adaptive Cyber-Physical Systems

Limiting Discounted-Cost Control of Partially Observable Stochastic Systems

A Predictive Runtime Verification Framework for Cyber-Physical Systems

Timely monitoring of partially observable stochastic systems