Model predictive control with signal temporal logic specifications

Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia. Model predictive control with signal temporal logic specifications. In 53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014. pages 81-87, IEEE, 2014. [doi]

Authors

Vasumathi Raman

This author has not been identified. Look up 'Vasumathi Raman' in Google

Alexandre Donzé

This author has not been identified. Look up 'Alexandre Donzé' in Google

Mehdi Maasoumy

This author has not been identified. Look up 'Mehdi Maasoumy' in Google

Richard M. Murray

This author has not been identified. Look up 'Richard M. Murray' in Google

Alberto L. Sangiovanni-Vincentelli

This author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in Google

Sanjit A. Seshia

This author has not been identified. Look up 'Sanjit A. Seshia' in Google