Receding horizon temporal logic control in dynamic environments

@article{Ulusoy2014RecedingHT,
  title={Receding horizon temporal logic control in dynamic environments},
  author={Alphan Ulusoy and Calin Belta},
  journal={I. J. Robotics Res.},
  year={2014},
  volume={33},
  pages={1593-1607}
}
We present a receding horizon method for controlling an autonomous vehicle that must satisfy a rich mission specification over service requests occurring at the regions of a partitioned environment. The overall mission specification consists of a temporal logic statement over a set of static, a priori known requests, a regular expression over a set of dynamic requests that can be sensed only locally, and a servicing priority order over these dynamic requests. Our approach is based on two main… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-9 of 9 extracted citations

Receding Horizon Synthesis and Dynamic Allocation of UAVs to Fight Fires

2018 IEEE Conference on Control Technology and Applications (CCTA) • 2018
View 1 Excerpt

Formal synthesis of control strategies for dynamical systems

2016 IEEE 55th Conference on Decision and Control (CDC) • 2016
View 1 Excerpt

References

Publications referenced by this paper.
Showing 1-10 of 21 references

Minimum snap trajectory generation and control for quadrotors

2011 IEEE International Conference on Robotics and Automation • 2011
View 4 Excerpts
Highly Influenced

Fast LTL to Büchi Automata Translation

View 7 Excerpts
Highly Influenced

Minimal specification revision for weighted transition systems

2013 IEEE International Conference on Robotics and Automation • 2013
View 5 Excerpts
Highly Influenced

dk.brics.automaton – Finite-state automata and regular expressions for Java. http://www.brics.dk/automaton

A Møller
2011
View 4 Excerpts
Highly Influenced

Where's Waldo? Sensor-Based Temporal Logic Motion Planning

Proceedings 2007 IEEE International Conference on Robotics and Automation • 2007
View 4 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…