Results 11 to 20 of about 2,393,674 (352)
A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control [PDF]
IEEE Control Systems Letters, 2020 Recent years have seen an increasing use of Signal Temporal Logic (STL) as a formal specification language for symbolic control, due to its expressiveness and closeness to natural language. Furthermore, STL specifications can be encoded as cost functions
Yann Gilpin, Vince Kurtz, Hai Lin
semanticscholar +1 more source
Temporal Logic Planning and Receding Horizon Control for Signal Source Localization
Applied Sciences, 2022 This article copes with signal source localization by employing a receding horizon control approach with temporal logic planning in the light of a single mobile robot.
Xingtong Chen +3 more
doaj +1 more source
Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks [PDF]
IEEE Transactions on Control of Network Systems, 2020 Motivated by the recent interest in cyber-physical and autonomous robotic systems, we study the problem of dynamically coupled multiagent systems under a set of signal temporal logic tasks. In particular, the satisfaction of each of these signal temporal
Lars Lindemann, Dimos V. Dimarogonas
semanticscholar +1 more source
Combination of temporal logic with modal logic KD
Lietuvos Matematikos Rinkinys, 2003 There is not abstract.
Regimantas Pliuškevičius
doaj +3 more sources
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
A Proof of Stavi's Theorem [PDF]
Logical Methods in Computer Science, 2018 Kamp's theorem established the expressive equivalence of the temporal logic with Until and Since and the First-Order Monadic Logic of Order (FOMLO) over the Dedekind-complete time flows. However, this temporal logic is not expressively complete for FOMLO
Alexander Rabinovich
doaj +1 more source
An Interval Temporal Logic for Time Series Specification and Data Integration
Remote Sensing, 2021 The analysis of temporal series—in particular, analysis of multisensor data—is a complex problem. It depends on the application domain, the way the data have to be used, and sensors available, among other factors.
Piotr Kosiuczenko
doaj +1 more source
, 2017 Since the early 1990's, classical temporal logics have been extended with timing constraints. While temporal logics only express contraints on the order of events, their timed extensions can add quantitative constraints on delays between those events. We survey expressive-ness and algorithmic results on those logics, and discuss semantic choices that ...
Bouyer, Patricia +4 more
openaire +2 more sources
MSI-A: An Energy Efficient Approximated Cache Coherence Protocol
IEEE Access, 2023 Energy consumption has become an essential factor in designing modern computer system architecture. Because of physical limits, the termination of Moore’s law and Dennard’s scaling has forced the computer design community to investigate new
Anant Saraswat +3 more
doaj +1 more source
Minimal Systems of Temporal Logic
Axioms, 2020 The article discusses minimal temporal logic systems built on the basis of classical logic as well as intuitionistic logic. The constructions of these systems are discussed as well as their basic properties.
Dariusz Surowik
doaj +1 more source