Results 51 to 60 of about 283,349 (325)
Time-Constrained Temporal Logic Control of Multi-Affine Systems [PDF]
, 2012 In this paper, we consider the problem of controlling a dynamical system such that its trajectories satisfy a temporal logic property in a given amount of time.
Belta, Calin, Gol, Ebru Aydin
core +3 more sources
On the Translation of Automata to Linear Temporal Logic
, 2022 AbstractWhile the complexity of translating future linear temporal logic (LTL) into automata on infinite words is well-understood, the size increase involved in turning automata back to LTL is not. In particular, there is no known elementary bound on the complexity of translating deterministic$$\omega $$ω-regular automata to LTL.Our first contribution ...
Udi Boker +2 more
openaire +2 more sources
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
On the satisfiability of indexed linear temporal logics [PDF]
, 2015 Indexed Linear Temporal Logics (ILTL) are an extension of standard Linear Temporal Logics (LTL) with quantifications over index variables which range over a set of process identifiers. ILTL has been widely used in specifying and verifying properties of parameterised systems, e.g., in parameterised model checking of concurrent processes.
Chen, Taolue, Song, Fu, Wu, Zhilin
openaire +4 more sources
The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations [PDF]
, 2019 We argue that European transport regulations can be formalized within the Sigma^1_1 fragment of monadic second order logic, and possibly weaker fragments including linear temporal logic.
+4 more
core +2 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
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
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
Advanced Functional Materials, EarlyView.An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone +11 more
wiley +1 more source