Deriving Real-Time Action Systems Controllers from Multiscale System Specifications.

Brijesh Dongol, Ian J. Hayes

Browse the full MPC paper archive.