Almost event-rate independent monitoring
From MaRDI portal
Publication:2008287
Recommendations
- Some Recent Results on Monitoring the Rate of a Rare Event
- Almost event-rate independent monitoring of metric temporal logic
- scientific article; zbMATH DE number 7650833
- Estimation and efficiency with recurrent event data under informative monitoring
- On probabilistic monitorability
- Distribution-free monitoring of univariate processes
- Bayesian Monitoring of Event Rates with Censored Data
- Parameter estimation for correlated recurrent events under informative monitoring
Cites work
- Algorithms for monitoring real-time properties
- Almost event-rate independent monitoring of metric temporal logic
- Derivatives of Regular Expressions
- Dynamic linear time temporal logic
- Formal Modeling and Analysis of Timed Systems
- From Church and Prior to PSL
- scientific article; zbMATH DE number 2080059 (Why is no real title available?)
- Mathematical Foundations of Computer Science 2005
- Monitoring metric first-order temporal properties
- On regular temporal logics with past
- On the expressiveness of TPTL and MTL
- Online timed pattern matching using derivatives
- Parametric linear dynamic logic
- Partial derivatives of regular expressions and finite automaton constructions
- Propositional dynamic logic of regular programs
- Regular Linear Temporal Logic
- Regular linear temporal logic with past
- Runtime monitoring of metric first-order temporal properties
- Symbolic algorithms for language equivalence and Kleene algebra with tests
- Temporal logic can be more expressive
- Timed pattern matching
- Timed regular expressions
- Trace-length independent runtime monitoring of quantitative policies in LTL
Cited in
(11)- A formally verified, optimized monitor for metric first-order dynamic logic
- Some Recent Results on Monitoring the Rate of a Rare Event
- Adaptive online first-order monitoring
- Multi-head monitoring of metric temporal logic
- Almost event-rate independent monitoring of metric temporal logic
- Quotients of bounded natural functors
- From Nondeterministic to Multi-Head Deterministic Finite-State Transducers
- A combined control scheme for monitoring the frequency and size of an attribute event
- Trace-length independent runtime monitoring of quantitative policies in LTL
- Multi-head Monitoring of Metric Dynamic Logic
- Explainable online monitoring of metric temporal logic
This page was built for publication: Almost event-rate independent monitoring
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2008287)
