Results 11 to 20 of about 2,329,578 (354)
Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic [PDF]
IEEE Robotics and Automation Letters, 2021 This letter investigates the motion planning of autonomous dynamical systems modeled by Markov decision processes (MDP) with unknown transition probabilities over continuous state and action spaces.
Mingyu Cai +4 more
semanticscholar +1 more source
Temporal logic with recursion [PDF]
Information and Computation, 2021 We introduce extensions of the standard temporal logics CTL and LTL with a recursion operator that takes propositional arguments. Unlike other proposals for modal fixpoint logics of high expressive power, we obtain logics that retain some of the appealing pragmatic advantages of CTL and LTL, yet have expressive power beyond that of the modal μ-calculus
Bruse, Florian, Lange, Martin
openaire +4 more sources
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
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
Bisimulations for Temporal Logic [PDF]
Journal of Logic, Language and Information, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kurtonina, N., de Rijke, M.
openaire +3 more sources
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
Temporal Logic for Programmable Logic Controllers
Моделирование и анализ информационных систем, 2020 We address the formal verification of the control software of critical systems, i.e., ensuring the absence of design errors in a system with respect to requirements.
Natalia Olegovna Garanina +6 more
doaj +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
Temporal Logic as Filtering [PDF]
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016 We show that metric temporal logic (MTL) can be viewed as linear time-invariant filtering, by interpreting addition, multiplication, and their neutral elements, over the idempotent dioid (max,min,0,1). Moreover, by interpreting these operators over the field of reals (+,×,0,1), one can associate various quantitative semantics to a metric ...
Radu Grosu +3 more
openaire +4 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