scholarly journals Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring

2021 ◽  
pp. 330-348
Author(s):  
Konstantinos Mamouras ◽  
Agnishom Chattopadhyay ◽  
Zhifu Wang
Keyword(s):  
Temporal Logic ◽  
Online Monitoring ◽  
Efficient Algorithms ◽  
Algebraic Semantics ◽  
Alternative Semantics ◽  
Real Numbers ◽  
Metric Temporal Logic ◽  
Equational Characterization

AbstractWe investigate efficient algorithms for the online monitoring of properties written in metric temporal logic (MTL). We employ an abstract algebraic semantics based on semirings. It encompasses the Boolean semantics and a quantitative semantics capturing the robustness of satisfaction, which is based on the max-min semiring over the extended real numbers. We provide a precise equational characterization of the class of semirings for which our semantics can be viewed as an approximation to an alternative semantics that quantifies the distance of a system trace from the set of all traces that satisfy the desired property.

scholarly journals AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties

10.29007/bm4c ◽  
2018 ◽  
Author(s):  
David Basin ◽  
Srdjan Krstic ◽  
Dmitriy Traytel
Keyword(s):  
Temporal Logic ◽  
Online Monitoring ◽  
Event Rate ◽  
Dynamic Logic ◽  
Specification Language ◽  
Regular Expressions ◽  
Event Stream ◽  
Metric Temporal Logic ◽  
Space Efficiency ◽  
Property Specification

We present Aerial, a tool for the online monitoring of metric regular properties. Aerial supports both the standard metric temporal logic (MTL) and the more expressive meric dynamic logic (MDL) as its property specification language. Unlike MTL, which is restricted to star-free properties, MDL can express all metric regular properties by generalizing MTL’s temporal operators to arbitrary regular expressions. Aerial’s distinguishing feature is its ability to monitor an event stream using memory logarithmic in the event rate. This space efficiency is achieved by altering how Aerial outputs its monitoring verdicts.

scholarly journals On Vendler’s freedom of choice

2021 ◽  
Vol 2 (4) ◽  
pp. e460
Author(s):  
Ana Clara Polakof
Keyword(s):  
Free Choice ◽  
Speech Act ◽  
Speech Act Theory ◽  
Alternative Semantics ◽  
Freedom Of Choice ◽  
Proper Understanding ◽  
Existential Import ◽  
The One ◽  
Short Essay

In this short essay, we will provide some contemporary remarks to Vendler (1962 and 1974). We will propose that his characterization of the Free Choice Item any can be properly explained if we take into account an alternative semantics framework. We will assume with Menéndez-Benito (2010) that it is a universal indeterminate pronoun, and with Aloni (2007) that it involves an exhaustification operator to explain its behavior. We will show that, if we take into account this approach, we will be able to explain what Vendler called freedom of choice, lack of existential import, lawlike propositions, among other characteristics. In addition, we will try to do some linguistics in philosophy, and try to explain how a proper understanding of FCI may help to better understand some reference related problems. Finally, we will show that if we take into account a speech act theory, as the one proposed by Searle (1985), we may account for some of the FCI particular behavior with regard to free choice.

Characterization of mixing quality in polyimide‐based microreactors by UV/Vis‐online monitoring of DMP hydrolysis

2020 ◽  
Vol 92 (9) ◽  
pp. 1342-1342
Author(s):  
J. Bobers ◽  
E. Forys ◽  
B. Oldach ◽  
N. Kockmann
Keyword(s):  
Online Monitoring ◽  
Mixing Quality
Sign in / Sign up

Export Citation Format

Share Document