Results 41 to 50 of about 2,393,674 (352)
Completeness classes for intuitionistic first-order temporal logic with time gaps
Lietuvos Matematikos Rinkinys, 2023 There is not abstract.
Romas Alonderis
doaj +3 more sources
Certain Bounds of Formulas in Free Temporal Algebras
Axioms, 2023 In this paper, we give a basic structure theorem based on the study of extreme cases for the value of ≺ (the classical precedence relation between ultrafilters), i.e., ≺=∅ and no isolated element in ≺.
Francisco Miguel García-Olmedo +2 more
doaj +1 more source
Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks [PDF]
European Control Conference, 2019 We study the problem of controlling multi-agent systems under a set of signal temporal logic tasks. Signal temporal logic is a formalism that is used to express time and space constraints for dynamical systems.
Lars Lindemann, Dimos V. Dimarogonas
semanticscholar +1 more source
A Computational Temporal Logic for Superconducting Accelerators
International Conference on Architectural Support for Programming Languages and Operating Systems, 2020 Superconducting logic offers the potential to perform computation at tremendous speeds and energy savings. However, a "semantic gap" lies between the level-driven logic that traditional hardware designs accept as a foundation and the pulse-driven logic ...
Georgios Tzimpragos +7 more
semanticscholar +1 more source
Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications [PDF]
American Control Conference, 2019 The use of spatio-temporal logics in control is motivated by the need to impose complex spatial and temporal behavior on dynamical systems, and to control these systems accordingly.
Lars Lindemann, Dimos V. Dimarogonas
semanticscholar +1 more source
IEEE Access, 2023 Modern cyber-physical systems would often fall victim to unanticipated anomalies. Humans are still required in many operations to troubleshoot and respond to such anomalies, such those in future deep space habitats.
Ziquan Deng +3 more
doaj +1 more source
Learning Interpretable Models Expressed in Linear Temporal Logic
International Conference on Automated Planning and Scheduling, 2019 We examine the problem of learning models that characterize the high-level behavior of a system based on observation traces. Our aim is to develop models that are human interpretable.
Alberto Camacho, Sheila A. McIlraith
semanticscholar +1 more source
Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic [PDF]
IEEE Conference on Decision and Control, 2018 In this paper, a method to synthesize controllers using finite time convergence control barrier functions guided by linear temporal logic specifications for continuous time multi-agent dynamical systems is proposed.
Mohit Srinivasan +2 more
semanticscholar +1 more source
A sequent calculus for propositional temporal logic with time gaps
Lietuvos Matematikos Rinkinys, 2011 A sequent calculus with Kripke semantics internalization for a propositional temporal logic with time gaps is introduced. All rules of the calculus are context-free and height-preserving invertible. Structural rules are admissible.
Romas Alonderis
doaj +1 more source
Querying Log Data with Metric Temporal Logic [PDF]
Journal of Artificial Intelligence Research, 2017 We propose a novel framework for ontology-based access to temporal log data using a datalog extension datalogMTL of the Horn fragment of the metric temporal logic MTL.
S. Brandt +4 more
semanticscholar +1 more source