Results 31 to 40 of about 283,349 (325)
Linear Temporal Logic-based Mission Planning
International Journal of Interactive Multimedia and Artificial Intelligence, 2016 In this paper, we describe the Linear Temporal Logic-based reactive motion planning. We address the problem of motion planning for mobile robots, wherein the goal specification of planning is given in complex environments.
Anil Kumar, Rahul Kala
doaj +1 more source
Allen Linear (Interval) Temporal Logic --Translation to LTL and Monitor Synthesis-- [PDF]
, 2006 The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic, abbreviated \ATL) and linear temporal logic (\LTL).
A. Pnueli +6 more
core +1 more source
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks
Sensors, 2022 Metric temporal logic (MTL) is a popular real-time extension of linear temporal logic (LTL). This paper presents a new simple SAT-based bounded model-checking (SAT-BMC) method for MTL interpreted over discrete infinite timed models generated by discrete ...
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
doaj +1 more source
Timed Context-Free Temporal Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized for expressing separately dense-time real-time properties and context-free ...
Laura Bozzelli +2 more
doaj +1 more source
Vectorial Languages and Linear Temporal Logic [PDF]
Theoretical Computer Science, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +5 more sources
Decision procedure for first-order linear temporal logic with semi-periodic kemels
Lietuvos Matematikos Rinkinys, 2002 There is not abstract.
Regimantas Pliuškevičius
doaj +3 more sources
Modelling and Analysis of the Lift System as a Hybrid System [PDF]
Acta Electrotechnica et Informatica, 2017 This paper deals with one of the challenges of cyber-physical systems, namely modelling them as hybrid systems. Specifically the paper aims to utilize hybrid systems framework onto the lift system which comes from the real laboratory lift.
Dominik VOŠČEK +2 more
doaj +1 more source
Robust Temporal Logic Model Predictive Control [PDF]
, 2015 Control synthesis from temporal logic specifications has gained popularity in recent years. In this paper, we use a model predictive approach to control discrete time linear systems with additive bounded disturbances subject to constraints given as ...
Belta, Calin, Sadraddini, Sadra
core +1 more source
Dynamic Linear Time Temporal Logic
BRICS Report Series, 1997 A simple extension of the propositional temporal logic of linear<br />time is proposed. The extension consists of strengthening the until<br />operator by indexing it with the regular programs of propositional<br />dynamic logic (PDL).
Jesper G. Henriksen, P. S. Thiagarajan
openaire +5 more sources
Parametric Linear Dynamic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope.
Peter Faymonville, Martin Zimmermann
doaj +1 more source