π
π
The Cartographer
Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic
March 27, 2016 Β· Declared Dead Β· π European Control Conference
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Yuchen Zhou, Dipankar Maity, John S. Baras
arXiv ID
1603.08246
Category
eess.SY: Systems & Control (EE)
Cross-listed
cs.LO,
cs.RO
Citations
41
Venue
European Control Conference
Last Checked
6 months ago
Abstract
In this paper, we consider the robot motion (or task) planning problem under some given time bounded high level specifications. 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 to look for accepting runs on the automaton to find a feasible motion (or path) sequence for the robot to complete the task.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
π Similar Papers
In the same crypt β Systems & Control (EE)
π
π
The Cartographer
Incremental Gradient, Subgradient, and Proximal Methods for Convex Optimization: A Survey
π
π
The Cartographer
Wireless Network Design for Control Systems: A Survey
R.I.P.
π»
Ghosted
Learning-based Model Predictive Control for Safe Exploration
R.I.P.
π»
Ghosted
Safety-Critical Model Predictive Control with Discrete-Time Control Barrier Function
R.I.P.
π»
Ghosted
Novel Multidimensional Models of Opinion Dynamics in Social Networks
Died the same way β π» Ghosted
R.I.P.
π»
Ghosted
Federated Learning: Strategies for Improving Communication Efficiency
R.I.P.
π»
Ghosted
In-Datacenter Performance Analysis of a Tensor Processing Unit
R.I.P.
π»
Ghosted
Deep Convolutional Neural Networks for Computer-Aided Detection: CNN Architectures, Dataset Characteristics and Transfer Learning
R.I.P.
π»
Ghosted