Monitoring temporal properties of continuous signals
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Monitoring temporal logic with clock variables
- Algorithms for monitoring real-time properties
- Robust control for signal temporal logic specifications using discrete average space robustness
- Model checking Markov population models by stochastic approximations
- Weakness monitors for fail-aware systems
- TeLEx: learning signal temporal logic from positive examples using tightness metric
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Algebraic quantitative semantics for efficient online temporal monitoring
- Sampling polynomial trajectories for LTL verification
- Funnel control for fully actuated systems under a fragment of signal temporal logic specifications
- Risk verification of stochastic systems with neural network controllers
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Satisfiability checking for mission-time \textsf{LTL} (MLTL)
- Parameter synthesis of polynomial dynamical systems
- Survey on mining signal temporal logic specifications
- An STL-based formulation of resilience in cyber-physical systems
- MITL verification under timing uncertainty
- Classification of driving behaviors using STL formulas: a comparative study
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
- How adaptive and reliable is your program?
- Characterizing positively invariant sets: inductive and topological methods
- Mining interpretable spatio-temporal logic properties for spatially distributed systems
- SMT-based satisfiability of first-order LTL with event freezing functions and metric operators
- Approximate abstractions of control systems with an application to aggregation
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks
- Incremental reasoning in probabilistic signal temporal logic
- Compositional falsification of cyber-physical systems with machine learning components
- System design of stochastic models using robustness of temporal properties
- A fuzzy real-time temporal logic
- A brief account of runtime verification
- Time window temporal logic
- Robust online monitoring of signal temporal logic
- A logic of behaviour in context
- STL*: extending signal temporal logic with signal-value freezing operator
- Monitoring bounded LTL properties using interval analysis
- Smoothed model checking for uncertain continuous-time Markov chains
- Data-driven verification of stochastic linear systems with signal temporal logic constraints
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
- Monitoring metric first-order temporal properties
- Spatial logic and spatial model checking for closure spaces
- Linear temporal logic satisfaction in adversarial environments using secure control barrier certificates
- Back-propagation through signal temporal logic specifications: infusing logical structure into gradient-based methods
- Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
- Parameter invariant monitoring for signal temporal logic
- On temporal logic and signal processing
- A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems
- Conformance relations and hyperproperties for doping detection in time and space
- Temporal Logic for Programmable Logic Controllers
- Optimistic and pessimistic on-the-fly analysis for metric temporal graph logic
- A distributed approach to LARS stream reasoning (system paper)
- Learning temporal causal sequence relationships from real-time time-series
- Parameter synthesis through temporal logic specifications
- Model checking of biological systems
- scientific article; zbMATH DE number 7056237 (Why is no real title available?)
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
- Monitoring Temporal Properties of Stochastic Systems
- Analog property checkers: a DDR2 case study
- Generative abstraction of Markov population processes
- Bridging the gap between single- and multi-model predictive runtime verification
- From LTL to rLTL monitoring: improved monitorability through robust semantics
- Signal convolution logic
- Multi-Requirement Testing Using Focused Falsification
- Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
- Temporal Robustness of Stochastic Signals
- Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
- A Multiresolution Analysis of Temporal Logic
- A framework to measure the robustness of programs in the unpredictable environment
- A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics
- Model predictive monitoring of dynamical systems for signal temporal logic specifications
- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges
- Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo tree search
- The quest for an adequate semantic basis of dense-time metric temporal logic
- Runtime verification of real-time event streams using the tool HStriver
- Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes
- Temporal landscapes: a graphical logic of behavior
- Switching controller synthesis for delay hybrid systems under perturbations
- Optimal mixed discrete-continuous planning for linear hybrid systems
- A program logic to verify signal temporal logic specifications of hybrid systems
- Model-based reinforcement learning for approximate optimal control with temporal logic specifications
- Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
- An STL-based Approach to Resilient Control for Cyber-Physical Systems
- Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic
- Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
- Wordgen : a Timed word Generation Tool
- Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
- Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty
- Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
- Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
- Dynamic event-triggered prescribed performance control for nonlinear systems with signal temporal logic
- Monitoring algorithmic fairness
- Learning model checking and the kernel trick for signal temporal logic on stochastic processes
- Online causation monitoring of signal temporal logic
- Accelerating parameter synthesis using semi-algebraic constraints
- Model predictive runtime verification for cyber-physical systems with real-time deadlines
- Mining of extended signal temporal logic specifications with ParetoLib 2.0
- Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis
- Multiple tasks control of nonlinear systems under signal temporal logic and its application to mobile robots
- Analysis of spatio-temporal properties of stochastic systems using TSTL
This page was built for publication: Monitoring temporal properties of continuous signals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5464744)
