A Note on Digitization of Real-Time Models and Logics

06/23/2018
by   Janardan Misra, et al.
0

Digitization provides a sound and complete method to reduce the problem of verifying whether a real-time system satisfies a property under dense-time semantics to whether the same real-time system satisfies the property over discrete-time. This is a brief overview of digitization of real-time models and logics covering known results, value, limitations, and alternatives.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/20/2002

Complete Axiomatizations for Reasoning About Knowledge and Time

Sound and complete axiomatizations are provided for a number of differen...
research
02/01/2023

Cantor Derivative Logic in Topological Dynamics

Topological semantics for modal logic based on the Cantor derivative ope...
research
08/13/2018

Timed context-free temporal logics

The paper is focused on temporal logics for the description of the behav...
research
11/12/2018

Compliance in Real Time Multiset Rewriting Models

The notion of compliance in Multiset Rewriting Models (MSR) has been int...
research
10/02/2021

A Framework for Intuitionistic Grammar Logics

We generalize intuitionistic tense logics to the multi-modal case by pla...
research
05/31/2002

Connectives in Quantum and other Cumulative Logics

Cumulative logics are studied in an abstract setting, i.e., without conn...
research
03/27/2013

Now that I Have a Good Theory of Uncertainty, What Else Do I Need?

Rather than discussing the isolated merits of a nominative theory of unc...

Please sign up or login with your details

Forgot password? Click here to reset