Randomized sampling-based trajectory optimization for UAVs to satisfy linear temporal logic specifications
Sign Up to like & getrecommendations! Published in 2020 at "Aerospace Science and Technology"
DOI: 10.1016/j.ast.2019.105591
Abstract: Abstract We address the problem of optimal trajectory planning for a fixed wing- or quadrotor aircraft to satisfy linear temporal logic (LTL) specifications on its motion. To this end, we propose a randomized sampling-based motion… read more here.
Keywords: satisfy linear; sampling based; temporal logic; linear temporal ... See more keywords
End-to-End Path Planning Under Linear Temporal Logic Specifications
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Access"
DOI: 10.1109/access.2024.3392289
Abstract: This paper presents a novel deep learning framework for robotic path planning that seamlessly integrates Linear Temporal Logic (LTL) with trajectory optimization to meet mission specifications efficiently. Our approach innovates on several fronts: First, by… read more here.
Keywords: logic; temporal logic; linear temporal; path planning ... See more keywords
Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization
Sign Up to like & getrecommendations! Published in 2024 at "IEEE/CAA Journal of Automatica Sinica"
DOI: 10.1109/jas.2024.124473
Abstract: Linear temporal logic (LTL) is an intuitive and expressive language to specify complex control tasks, and how to design an efficient control strategy for LTL specification is still a challenge. In this paper, we implement… read more here.
Keywords: control; quantization; dynamic quantization; controller ... See more keywords
A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Robotics and Automation Letters"
DOI: 10.1109/lra.2020.2970634
Abstract: Despite the current increasing popularity of Behavior Trees (BTs) in the robotics community, there does not currently exist a method to formally verify their correctness without compromising their most valuable traits: modularity, flexibility and reusability.… read more here.
Keywords: trees linear; behavior; temporal logic; behavior trees ... See more keywords
Optimal Secure Control With Linear Temporal Logic Constraints
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2019.2930039
Abstract: Prior work on automatic control synthesis for cyber-physical systems under logical constraints has primarily focused on environmental disturbances or modeling uncertainties, however, the impact of deliberate and malicious attacks has been less studied. In this… read more here.
Keywords: control policy; control; constraint; policy ... See more keywords
A New Similarity Method based on Weighted-Linear Temporal Logic Tree and Weighted Directed Acyclic Graph for Graph-based Business Process Models
Sign Up to like & getrecommendations! Published in 2020 at "International Journal of Intelligent Engineering and Systems"
DOI: 10.22266/ijies2020.1031.32
Abstract: A business process is a set of activities that needs to be considered in organizations or companies. Linear temporal logic (LTL) can models relationships of activities; however, the existing LTL does not consider occurrences probability… read more here.
Keywords: similarity; method; value; graph ... See more keywords