Receding horizon control for temporal logic specifications

@inproceedings{Wongpiromsarn2010RecedingHC,
  title={Receding horizon control for temporal logic specifications},
  author={Tichakorn Wongpiromsarn and Ufuk Topcu and Richard M. Murray},
  booktitle={HSCC},
  year={2010}
}
In this paper, we describe a receding horizon framework that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including safety, stability, progress, obligation, response and guarantee. The resulting embedded control software consists of a goal generator, a trajectory planner, and a continuous controller. The goal generator essentially reduces the trajectory generation problem to a sequence of smaller problems of short horizon while… CONTINUE READING
Highly Cited
This paper has 211 citations. REVIEW CITATIONS
142 Citations
5 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 142 extracted citations

212 Citations

02040'11'13'15'17
Citations per Year
Semantic Scholar estimates that this publication has 212 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-5 of 5 references

Similar Papers

Loading similar papers…