Skip to main content
  • Home
  • Bio
  • Publications
  • Projects
  • Get in touch

Model Predictive Control

A Control Architecture for Provably-Correct Autonomous Driving

Tags: 
Autonomous Car
Model Predictive Control
Control Synthesis
Mixed Integer Linear Programming
  • Read more about A Control Architecture for Provably-Correct Autonomous Driving

Specifying User Preferences using Weighted Signal Temporal Logic

Tags: 
Signal Temporal Logic
User Preferences
Control Synthesis
Model Predictive Control
Mixed Integer Linear Programming
  • Read more about Specifying User Preferences using Weighted Signal Temporal Logic
Subscribe to RSS - Model Predictive Control