Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

E. Bartocci,Jyotirmoy V. Deshmukh,Alexandre Donzé,Georgios Fainekos,O. Maler,D. Ničković,S. Sankaranarayanan

Published 2018 in Lectures on Runtime Verification

ABSTRACT

No abstract is available for this paper.

PUBLICATION RECORD

Publication year
2018
Venue
Lectures on Runtime Verification
Publication date
Unknown publication date
Fields of study
Computer Science, Engineering
Identifiers
DOI 10.1007/978-3-319-75632-5_5
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

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
2019cited by this paper
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
2018cited by this paper
Runtime Monitoring with Recovery of the SENT Communication Protocol
2017cited by this paper
Monitoring mobile and spatially distributed cyber-physical systems
2017influential reference
Model-based falsification of an artificial pancreas control system
2017cited by this paper
Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems
2017cited by this paper
Abnormal Data Classification Using Time-Frequency Temporal Logic
2017cited by this paper
Machine Learning Meta-analysis of Large Metagenomic Datasets: Tools and Biological Insights
2016cited by this paper
Computing Distances between Reach Flowpipes
2016cited by this paper
Quantitative monitoring of STL with edit distance
2016cited by this paper
Online Timed Pattern Matching Using Derivatives
2016cited by this paper
New Results - Third International Competition on Runtime Verification
2016cited by this paper
Assertions and measurements for mixed-signal simulation
2016cited by this paper
Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems
2016cited by this paper
Second International Competition on Runtime Verification CRV 2015
2016cited by this paper
Computational Modeling, Formal Analysis, and Tools for Systems Biology
2016cited by this paper
Some Thoughts on Runtime Verification
2016cited by this paper
ST-Lib: A Library for Specifying and Classifying Model Behaviors
2016cited by this paper
Quantitative Regular Expressions for Arrhythmia Detection Algorithms
2016cited by this paper
Applying Runtime Monitoring for Automotive Electronic Development
2016cited by this paper
The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems
2016cited by this paper
Quantifying conformance using the Skorokhod metric
2015cited by this paper
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
2015influential reference
Temporal Logic as Filtering
2015cited by this paper
Pathway to Artificial Pancreas Systems Revisited: Moving Downstream
2015cited by this paper
VISPEC: A graphical tool for elicitation of MTL requirements
2015cited by this paper
Mining parametric temporal logic properties in model-based design for cyber-physical systems
2015cited by this paper
Metric interval temporal logic specification elicitation and debugging
2015cited by this paper
Robust online monitoring of signal temporal logic
2015cited by this paper
Requirements driven falsification with coverage metrics
2015cited by this paper
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification
2015cited by this paper
SpaTeL: a novel spatial-temporal logic and its applications to networked systems
2015influential reference
Time Robustness in MTL and Expressivity in Hybrid System Falsification
2015cited by this paper
Measuring with Timed Patterns
2015cited by this paper
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems
2015cited by this paper
Runtime Monitoring for Safety-Critical Embedded Systems
2015cited by this paper
System design of stochastic models using robustness of temporal properties
2015cited by this paper
From signal temporal logic to FPGA monitors
2015cited by this paper
U-Check: Model Checking and Parameter Synthesis Under Uncertainty
2015cited by this paper
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic
2015influential reference
Reactive synthesis from signal temporal logic specifications
2015cited by this paper
Online Monitoring of Metric Temporal Logic
2014cited by this paper
CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory
2014cited by this paper
STL⁎: Extending signal temporal logic with signal-value freezing operator
2014cited by this paper
Model-Driven Safety Analysis of Closed-Loop Medical Systems
2014cited by this paper
Functional gradient descent method for Metric Temporal Logic specifications
2014cited by this paper
Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface
2014cited by this paper
First International Competition on Software for Runtime Verification
2014cited by this paper
A Randomized Trial of a Home System to Reduce Nocturnal Hypoglycemia in Type 1 Diabetes
2014cited by this paper
Data-Driven Statistical Learning of Temporal Logic Properties
2014cited by this paper
RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties
2014cited by this paper
On-Line Monitoring for Temporal Logic Robustness
2014cited by this paper
Computing the Skorokhod distance between polygonal traces
2014cited by this paper
Formal property verification in a conformance testing framework
2014cited by this paper
Closed-loop verification of medical devices with model abstraction and refinement
2014cited by this paper
A formal methods approach to pattern synthesis in reaction diffusion systems
2014cited by this paper
Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients
2014cited by this paper
Towards Formal Specification Visualization for Testing and Monitoring of Cyber-Physical Systems
2014cited by this paper
Robustness-guided temporal logic testing and verification for Stochastic Cyber-Physical Systems
2014cited by this paper
Timed Pattern Matching
2014cited by this paper
Scalable Offline Monitoring
2014cited by this paper
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
2013influential reference
Computing descent direction of MTL robustness for non-linear systems
2013cited by this paper
Efficient Robust Monitoring for STL
2013cited by this paper
Runtime Verification with Particle Filtering
2013cited by this paper
Robustness Analysis for Value-Freezing Signal Temporal Logic
2013cited by this paper
STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification
2013cited by this paper
From Propositional to First-Order Monitoring
2013cited by this paper
Producing a Set of Models for the Iron Homeostasis Network
2013cited by this paper
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits
2013cited by this paper
Algorithms for a Closed-Loop Artificial Pancreas: The Case for Proportional-Integral-Derivative Control
2013cited by this paper
Mining Requirements From Closed-Loop Control Models
2013cited by this paper
On Temporal Logic and Signal Processing
2012cited by this paper
Modeling and Verification of a Dual Chamber Implantable Pacemaker
2012cited by this paper
A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients
2012cited by this paper
Verification of automotive control applications using S-TaLiRo
2012cited by this paper
Inpatient Studies of a Kalman-Filter-Based Predictive Pump Shutoff Algorithm
2012cited by this paper
Falsification of temporal properties of hybrid systems using the cross-entropy method
2012cited by this paper
Adaptive Runtime Verification
2012cited by this paper
Querying Parametric Temporal Logic Properties on Embedded Systems
2012cited by this paper
Monitoring properties of analog and mixed-signal circuits
2012cited by this paper
A model-based design methodology for cyber-physical systems
2011cited by this paper
From Cardiac Cells to Genetic Regulatory Networks
2011cited by this paper
Combining Time and Frequency Domain Specifications for Periodic Signals
2011cited by this paper
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
2011cited by this paper
MONPOLY: Monitoring Usage-Control Policies
2011cited by this paper
Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks
2011cited by this paper
Ant colonies for Temporal Logic falsification of hybrid systems
2010cited by this paper
Comparing LTL Semantics for Runtime Verification
2010cited by this paper
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
2010cited by this paper
Diabetes: Models, Signals, and Control
2010cited by this paper
Detecting synchronisation of biological oscillators by model checking
2010cited by this paper
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
2010influential reference
Robust Satisfaction of Temporal Logic over Real-Valued Signals
2010cited by this paper
Model Checking Biological Oscillators
2009cited by this paper
Modeling and simulation of cardiac tissue using hybrid I/O automata
2009cited by this paper
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
2009cited by this paper
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology
2009cited by this paper
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
2008cited by this paper
Cyber Physical Systems: Design Challenges
2008cited by this paper

CITED BY

Intelligent automatic load test generation for elastic microservice applications: a falsification-based approach
2026cites this paper
Learning Robust Markov Models for Safe Runtime Monitoring
2026cites this paper
Formal Methods in Robot Policy Learning and Verification: A Survey on Current Techniques and Future Directions
2026cites this paper
From High-Level Requirements to KPIs: Conformal Signal Temporal Logic Learning for Wireless Communications
2026influential citation
Event detection on monitoring Internet of Things services by fusing multiple observations
2026cites this paper
Learning Contextual Runtime Monitors for Safe AI-Based Autonomy
2026cites this paper
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
2025influential citation
Robust CBF-based STL motion planning for socially responsible robot navigation in the presence of measurement noise*
2025cites this paper
Runtime Consultants
2025cites this paper
Falsification-Driven Reinforcement Learning for Maritime Motion Planning
2025cites this paper
Model Predictive Online Monitoring of Dynamical Systems for Nested Signal Temporal Logic Specifications
2025cites this paper
ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems
2025cites this paper
Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
2025cites this paper
Systemization of Knowledge: Resilience and Fault Tolerance in Cyber-Physical Systems
2025influential citation
Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
2025cites this paper
A Two-Level Control Algorithm for Autonomous Driving in Urban Environments
2025cites this paper
Taming Silent Failures: A Framework for Verifiable AI Reliability
2025cites this paper
Algorithmic Fairness: A Runtime Perspective
2025cites this paper
Safe autonomous systems in a changing world: Operationalising dynamic safety cases
2025cites this paper
TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
2025cites this paper
What does AI need to know to drive: Testing relevance of knowledge
2025cites this paper
SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications
2025cites this paper
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
2025influential citation
Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust
2025cites this paper
Multi-Fidelity Temporal Reasoning: A Stratified Logic for Cross-Scale System Specifications
2025cites this paper
CPSWatch: Lightweight Ontology for System Description and Diagnosis
2025cites this paper
Predictive Quantitative Run-Time Monitoring of Hierarchical Phased Array Elements
2025cites this paper
Guided by Stars: Interpretable Concept Learning Over Time Series via Temporal Logic Semantics
2025cites this paper
Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
2025cites this paper
Formal Verification and Control With Conformal Prediction: Practical Safety Guarantees For Autonomous Systems
2025cites this paper
Enhancing Resilience in Industrial Control Systems: Rapid Attack Detection, Recovery, and Monotonicity Preservation Through STL-GT Online Monitoring
2025cites this paper
Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic
2025cites this paper
A Variety of Request-Response Specifications
2025cites this paper
Conformal quantitative predictive monitoring of stochastic systems with conditional validity
2025cites this paper
Monitoring of Static Fairness
2025cites this paper
Cumulative-Time Signal Temporal Logic
2025cites this paper
Real-Time Guaranteed Monitoring for a Drone Using Interval Analysis and Signal Temporal Logic
2025cites this paper
UAV Resilience Against Stealthy Attacks
2025cites this paper
Process Anomaly Detection in Cyber–Physical Production Systems Based on Conditional Discrete-Time Dynamic Graphs
2025cites this paper
Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems
2025cites this paper
Pretrained Embeddings as a Behavior Specification Mechanism
2025cites this paper
STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
2025cites this paper
Challenges in Automating Error-Fixing Commit Classification for Linux Kernel and Cyber-Physical Systems
2025cites this paper
Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis
2024cites this paper
Robotic safe adaptation in unprecedented situations: the RoboSAPIENS project
2024cites this paper
Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction
2024cites this paper
Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems
2024cites this paper
Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods
2024cites this paper
Behavior-Based Intrusion Detection Approach Deployed on a Naval Testbed
2024cites this paper
Runtime verification of electronic stability control system in automated vehicles with STL3 formalism
2024influential citation
Retrieval-Augmented Mining of Temporal Logic Specifications from Data
2024cites this paper
Semi-Automated Event Specification for Knowledge-Based Event Detection
2024cites this paper
Static Analysis for Checking the Disambiguation Robustness of Regular Expressions
2024cites this paper
Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
2024influential citation
DP-RuL: Differentially-Private Rule Learning for Clinical Decision Support Systems
2024influential citation
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
2024cites this paper
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications
2024cites this paper
Temporal Behavior Trees: Robustness and Segmentation
2024cites this paper
Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)
2024cites this paper
Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic
2024cites this paper
CBF-Based Motion Planning for Socially Responsible Robot Navigation Guaranteeing STL Specification*
2024cites this paper
CTMCs with Imprecisely Timed Observations
2024cites this paper
Online Safety Analysis for LLMs: A Benchmark, an Assessment, and a Path Forward
2024cites this paper
Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
2024cites this paper
Time Robust Model Predictive Control for Heterogeneous Multi-Agent Systems Under Global Temporal Logic Tasks
2024influential citation
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
2024cites this paper
MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems
2024cites this paper
Efficient Matching of Regular Expressions with Lookaround Assertions
2024cites this paper
Falsification via Barrier Certificates
2024cites this paper
Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems
2024cites this paper
ASTL: Accumulative STL With a Novel Robustness Metric for IoT Service Monitoring
2023influential citation
Mining Hyperproperties using Temporal Logics
2023cites this paper
A Novel Logic-Based Adaptive Monitoring for Composite Edge Services
2023influential citation
Towards a Set-based Signal Temporal Logic
2023cites this paper
Conformance Testing for Stochastic Cyber-Physical Systems
2023cites this paper
Interval Signal Temporal Logic From Natural Inclusion Functions
2023cites this paper
A run-time verification method with consideration of uncertainties for cyber-physical systems
2023cites this paper
Model checking embedded adaptive cruise controllers
2023cites this paper
Runtime Assurance from Signal Temporal Logic Safety Specifications
2023cites this paper
Online Causation Monitoring of Signal Temporal Logic
2023influential citation
An Industrial Case Study on the Monitoring and Maintenance Service System for a Robot-Driven Polishing Service System under Industry 4.0 Contexts
2023cites this paper
Stealthy attacks formalized as STL formulas for Falsification of CPS Security
2023cites this paper
Safe and secure system architectures for cyber-physical systems
2023cites this paper
Regular Expression Matching using Bit Vector Automata
2023cites this paper
Impact and Influence of Cyber-Physical Systems Research on Autonomous Aerospace Systems
2023cites this paper
More Than a Number: A Multi-dimensional Framework For Automatically Assessing Human Teleoperation Skill
2023cites this paper
Robustness Measures and Monitors for Time Window Temporal Logic
2023cites this paper
Digital twin of electric vehicle battery systems: Comprehensive review of the use cases, requirements, and platforms
2023cites this paper
Monitoring Algorithmic Fairness under Partial Observations
2023cites this paper
Monitoring Algorithmic Fairness
2023cites this paper
can-logic: Automotive Intrusion Detection via Temporal Logic
2023cites this paper
Formal Design of Cyber-Physical Systems with Learning-Enabled Components
2023cites this paper
Temporal Logic Resilience for Cyber-Physical Systems
2023cites this paper
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties
2023cites this paper
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
2023cites this paper
Multi-Agent Robust Control Synthesis from Global Temporal Logic Tasks
2023cites this paper
Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
2023influential citation
Requirement falsification for cyber-physical systems using generative models
2023cites this paper
Robust Testing for Cyber-Physical Systems using Reinforcement Learning
2023cites this paper
Resilience of Industrial Control Systems Using Signal Temporal Logic And Autotuning Mechanism
2023cites this paper