Skip to main navigation Skip to search Skip to main content

Model Predictive Control of Priced Timed Automata Encoded with First-Order Logic

  • Efe C. Balta
  • , Ilya Kovalenko
  • , Isaac A. Spiegel
  • , Dawn M. Tilbury
  • , Kira Barton

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Model Predictive Control of Priced Timed Automata Encoded with First-Order Logic'. Together they form a unique fingerprint.
Sort by

Keyphrases

Engineering

Computer Science

Chemical Engineering