Smooth operator: Control using the smooth robustness of temporal logic

  title={Smooth operator: Control using the smooth robustness of temporal logic},
  author={Yash Pant and Houssam Abbas and Rahul Mangharam},
  journal={2017 IEEE Conference on Control Technology and Applications (CCTA)},
Modern control systems, like controllers for swarms of quadrotors, must satisfy complex control objectives while withstanding a wide range of disturbances, from bugs in their software to attacks on their sensors and changes in their environments. These requirements go beyond stability and tracking, and involve temporal and sequencing constraints on system response to various events. This work formalizes the requirements as formulas in Metric Temporal Logic (MTL), and designs a controller that… CONTINUE READING


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

Ryerson, “Modeling and estimating airspace movements using air traffic control transcription data, a data-driven approach.

  • M.S.M.Z. Li
  • in International Conference on Research in Air…
  • 2016
2 Excerpts

Close expressions for meyer wavelet and scale function

  • V. Vermehren Valenzuela, H. M. de Oliveira
  • 2015, arxiv 1502.00161.
  • 2015
1 Excerpt

Similar Papers

Loading similar papers…