Reactive Temporal Logic

08/31/2020
by   Rob van Glabbeek, et al.
0

Whereas standard treatments of temporal logic are adequate for closed systems, having no run-time interactions with their environment, they fall short for reactive systems, interacting with their environments through synchronisation of actions. This paper introduces reactive temporal logic, a form of temporal logic adapted for the study of reactive systems. I illustrate its use by applying it to formulate definitions of a fair scheduler, and of a correct mutual exclusion protocol. Previous definitions of these concepts were conceptually much more involved or less precise, leading to debates on whether or not a given protocol satisfies the implicit requirements.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/24/2020

Conditional Bisimilarity for Reactive Systems

Reactive systems à la Leifer and Milner, an abstract categorical framewo...
research
10/01/2014

Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations

We introduce the notion of online reactive planning with sensing actions...
research
12/23/2022

Decoupled Fitness Criteria for Reactive Systems

The correctness problem for reactive systems has been thoroughly explore...
research
11/10/2019

Synthesis of coordination programs from linear temporal logic

This paper presents a method for synthesizing a reactive program which c...
research
08/30/2021

Reactive and Risk-Aware Control for Signal Temporal Logic

The deployment of autonomous systems in uncertain and dynamic environmen...
research
03/30/2018

Reactive Supervisory Control of Open Discrete-event Systems

Traditional supervisory control theory of discrete-event systems mainly ...
research
01/04/2016

Programming in logic without logic programming

In previous work, we proposed a logic-based framework in which computati...

Please sign up or login with your details

Forgot password? Click here to reset