A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
An Integrated Knowledge Management System
2014
Annals of Dunarea de Jos University. Fascicle I : Economics and Applied Informatics
Preserved Fulltext
, using a knowledge model for control, embedded within the expert system's operational knowledge base. ...
The aim of this paper is to present a Knowledge Management System based on Fuzzy Logic (FLKMS), a real-time expert system to meet the challenges of the dynamic environment. ...
Temporal knowledge is an essential element for many applications (planning, process control, dynamic situations control). ...
doaj:4e29318b13494a2cb155cc2378cde74d
fatcat:qf2up3cuqrenje7prgj4pfygjy
Constraint deduction in an interval-based temporal logic
[chapter]
1995
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We describe reasoning methods for the interval-based modal temporal logic LLP which employs the modal operators sometimes, always, next, and chop. ...
We propose a constraint deduction approach and compare it with a sequent calculus, developed as the basic machinery for the deductive planning system PHI which uses LLP as underlying formalism. ...
Plan formulae in LLP [BDK92] provide constructs that allow, e.g. to -sequentially compose plans from arbitrary subplans or atomic actions, -incorporate control structures for conditional and iterative ...
doi:10.1007/3-540-58976-7_7
fatcat:loa4rzzrs5djpdhbjm6pjra5oi
Optimal mission planner with timed temporal logic constraints
2015
2015 European Control Conference (ECC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2015 pre-print arXiv:1510.01261v1 fatcat:zx2k73sz5fbwnko43a5p4spphq
In this paper, we present an optimization based method for path planning of a mobile robot subject to time bounded temporal constraints, in a dynamic environment. ...
We use metric temporal logic (MTL) to encode the task specifications with timing constraints. ...
We then formulate it into a mixed integer linear optimization problem incorporating the temporal constraints in section III. ...
doi:10.1109/ecc.2015.7330634
dblp:conf/eucc/ZhouMB15
fatcat:p7ll3rcl2fgbdlkmu53b5uysga
Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2008.00097v1 fatcat:6a7olxhb35e25mrcsprttkry5iOther Versions
STLCG provides a platform which enables the incorporation of logical specifications into robotics problems that benefit from gradient-based solutions. ...
This paper presents a technique, named STLCG, to compute the quantitative semantics of Signal Temporal Logic (STL) formulas using computation graphs. ...
This article solely reflects the opinions and conclusions of its authors and not of ONR, TRI or any other Toyota entity. ...
arXiv:2008.00097v3
fatcat:ojkzcwauqrbrjott66bjnda4ge
Temporal Logic Motion Planning
English
2010
Defence Science Journal
English
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this paper, a critical review on temporal logic motion planning is presented. ...
A proposed robust platform that deals with the complexity of more expressive temporal logics is also presented. ...
Symbolic motion planning can be easily incorporated into the three aforementioned levels of the framework. ...
doi:10.14429/dsj.60.99
fatcat:ojiq74342rd43kdfi5fzkfxr7y
Physics-based Motion Planning with Temporal Logic Specifications
[article]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
motions that satisfy the temporal-logic task specifications. ...
In this line, some recent approaches describe tasks with Linear Temporal Logic (LTL) and reason on discrete actions to guide sampling-based motion planning, with the aim of finding dynamically-feasible ...
lists using temporal and logic operators). ...
arXiv:1710.00419v1
fatcat:6tnjeapzbjdh3frqcgpptirmci
Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We use metric interval temporal logic (MITL), a member of the temporal logic family, to represent the task specification and then we provide a constructive way to generate a timed automaton and methods ...
In this paper, we consider the robot motion (or task) planning problem under some given time bounded high level specifications. ...
The authors in [14] propose to change every temporal logic operator into a timed signal transducer, which is a temporal automaton that accepts input and generates output. ...
arXiv:1603.08246v2
fatcat:lba7bggbgbdabolldbuffikhae
Physics-based Motion Planning with Temporal Logic Specifications
2017
IFAC-PapersOnLine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this line, some recent approaches describe tasks with Linear Temporal Logic (LTL) and reason on discrete actions to guide samplingbased motion planning, with the aim of finding dynamically-feasible ...
The present paper proposes an LTL planning approach enhanced with the use of ontologies to describe and reason about the task, on the one hand, and that includes physics-based motion planning to allow ...
lists using temporal and logic operators). ...
doi:10.1016/j.ifacol.2017.08.1578
fatcat:ddsa6i3e4jb7hbgz45yj6zvbze
Switching control of dynamical systems from metric temporal logic specifications
2014
2014 IEEE International Conference on Robotics and Automation (ICRA)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
metric temporal logic (MTL) specifications. ...
MTL is a popular logic that allows to specify timed properties of real-time reactive systems and hence is appropriate for describing the safe and autonomous operations of robotic systems in an uncertain ...
Wolff for providing his RaTL (Rabin Temporal Logic) toolbox [33] for solving the example in this paper. ...
doi:10.1109/icra.2014.6907643
dblp:conf/icra/LiuP14a
fatcat:qdp2p33gsfhnjj3rss7vgaybgy
Policy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
This paper extends the Metric Interval Temporal Logic with a distribution eventuality operator to express time-sensitive missions for a system interacting with a dynamic, probabilistic environment. ...
Metric Temporal Logic can express temporally evolving properties with time-critical constraints or time-triggered constraints for real-time systems. ...
Recently, Metric Temporal Logic (MTL) [5] , Metric Interval Temporal Logic (MITL) [6] (a fragment of MTL), and Signal Temporal Logic (STL) [7] have received extensive attention in the control community ...
arXiv:2105.04593v1
fatcat:fswgz3o26bawtmuajtdxwkmrsi
Towards the Refinement of Executable Temporal Objects
[chapter]
1997
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Concurrent METATEM is a high-level language in which the behaviour of an individual reactive component is represented by a temporal logic formula and is animated by direct execution. ...
The combination of this executable temporal formalism, together with an operational model providing asynchronous concurrency and broadcast message-passing, presents a powerful and flexible framework in ...
First, we can merge the three rules utilising the ' S ' operator into one, i.e. ( -.subplan1 v -.subplan2 v -.subplan3) S goal => -.plan using standard temporal refinement. 2. ...
doi:10.1007/978-0-387-35261-9_30
fatcat:bf3ndzsb3rdrlgdwn5uop7n6ra
Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
control knowledge in HTN-planning, GOLOG-programming, and planning with temporal knowledge into ASP. ...
Our approach allows different types of domain-dependent control knowledge such as hierarchical, temporal, or procedural knowledge to be represented and exploited in parallel, thus combining the ideas of ...
Acknowledgements The first two authors would like to acknowledge the support of the NASA grant NCC2-1232. The third author would like to acknowledge the support of NASA grant NAG2-1337. ...
doi:10.1007/3-540-45402-0_17
fatcat:6aizli32zvamrbnpvrlaqxqzza
Runtime verification for autonomous spacecraft software
2005
2005 IEEE Aerospace Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Autonomous systems are systems that can operate without human interference for extended periods of time in changing environments, likely in remote locations. ...
We describe its application to the PLASMA planning system, used in the recent Mars Exploration Rover missions. We furthermore discuss alternative autonomy V&V approaches. ...
Eagle is a rule-based framework for defining temporal logics. It allows the definition of new temporal operators using a parameterized rule construct. ...
doi:10.1109/aero.2005.1559341
fatcat:urmbkvjgf5hatpyxy5pao4xn4q
Subject index to volume 2
1988
International Journal of Approximate Reasoning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
temporal relationships in, 337 Autonomous agents, centrality of, in theories of action under uncertainty, 303-326 Backward chaining, with fuzzy goals and rules, 108 Bayes belief network, construction of ...
data, 96-97 Artificial attributes, in information systems, 367-372 Artificial intelligence Bayesian prediction for, 342 choosing uncertainty representations in, 217-232 decision theory in, 247-302 on planning ...
arithmetic, for computer vision, 100-101
Fuzzy auxiliary edge, network flow models
with, 103
Fuzzy classifiers, incorporating confidence
measures into, 104-105
Fuzzy control, 165-167
rule based, ...
doi:10.1016/0888-613x(88)90114-4
fatcat:rj373wy2pzff3d3otqdhxs2gca
MetateM: An introduction
1995
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. ...
Introduction The purpose of this paper is to introduce and motivate the methodology of temporal logic as an executable imperative language, originally presented by Moszkowski [Mos86] and Gabbay [Gab87a ...
Brzoska [Brz95] presents an extension to temporal logic programming of the TEMPLOG form, incorporating not only past-time operators, but also metric temporal operators. ...
doi:10.1007/bf01211631
fatcat:xlchty7pn5gbzh6cbefuyrslxa
« Previous
Showing results 1 — 15 out of 81,738 results