Model predictive control with signal temporal logic specifications

By Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia. IEEE Conference on Decision and Control, 2014

295 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Control and Systems Engineering, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/b91889bfc40d90b751d9fbebdc9ea35e734fa44a

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

  1. Dimos V. Dimarogonas
  2. Lars Lindemann
  3. Calin A. Belta
  4. Wei Xiao

In Control and Systems Engineering

  1. Dimos V. Dimarogonas
  2. Yongcan Cao
  3. Gang Feng
  4. Wei Ren
  5. Qing Hui

In Hardware and Architecture

  1. Dimos V. Dimarogonas
  2. Lars Lindemann

Citations in the corpus