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
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