Results 41 to 50 of about 294,052 (285)
Safety design of IoT operating system based on linear temporal logic
Dianzi Jishu Yingyong, 2020 In this paper, according to the requirement of safety design of IoT(Internet of Things) operating system, combined with the research and engineering practice of classical linear temporal logic, logic programming and theory of formal model detection, a ...
Zhang Huaqiang, Li Kaihang, Wang Jigang
doaj +1 more source
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Probabilistic Computation Tree Logic (PCTL) and Continuous Stochastic Logic (CSL) are often used to describe specifications of probabilistic properties for discrete time and continuous time, respectively.
Takashi Tomita +2 more
doaj +1 more source
LTL-Specification of Bounded Counter Machines
Моделирование и анализ информационных систем, 2022 The article revises the results of the work devoted to the problem of representing the behaviour of a program system as a set of formulas of the linear temporal logic LTL, followed by the use of this representation to verify the satisfiability of the ...
Egor V. Kuzmin
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
Visibly Linear Dynamic Logic [PDF]
, 2015 We introduce Visibly Linear Dynamic Logic (VLDL), which extends Linear Temporal Logic (LTL) by temporal operators that are guarded by visibly pushdown languages over finite words.
Weinert, Alexander, Zimmermann, Martin
core +5 more sources
Modular analysis of gene networks by linear temporal logic
Journal of Integrative Bioinformatics, 2013 Despite a lot of advances in biology and genomics, it is still difficult to utilise such valuable knowledge and information to understand and analyse large biological systems due to high computational complexity. In this paper we propose a modular method
Ito Sohei +5 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 +4 more sources
Fuzzy Linear Temporal Logic with Quality Constraints
MathematicsAs an extension of quantitative temporal logic, uncertain temporal logic essentially describes the temporal behavior of uncertain and incomplete systems, thus better solving search and decision-making problems in such systems. Fuzzy linear temporal logic
Xianfeng Yu, Yongming Li, Shengling Geng
doaj +1 more source
Partial cut elimination for propositional discrete linear time temporal logic
Lietuvos Matematikos Rinkinys, 2010 We consider propositional discrete linear time temporal logic with future and past operators of time. For each formula ϕ of this logic, we present Gentzen-type sequent calculus Gr(ϕ) with a restricted cut rule.
Jūratė Sakalauskaitė
doaj +1 more source
Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications [PDF]
, 2015 We consider partially observable Markov decision processes (POMDPs), that are a standard framework for robotics applications to model uncertainties present in the real world, with temporal logic specifications. All temporal logic specifications in linear-
Chatterjee, Krishnendu +3 more
core +3 more sources