Juraj Oravec
Juraj Oravec
Scientific Publications
Inproceedings
Scalable and correct by design synthesis
Metodi di computazione
A Generalized Stopping Criterion for Real-Time MPC with Guaranteed Stability
Booktitle
Proceedings of the 2023 62nd IEEE Conference on Decision and Control (CDC)
Author Address
Singapore, Singapore
Year of Publication
2023
Inproceedings
Scalable and correct by design synthesis
Metodi di computazione
A Generalized Stopping Criterion for Real-Time MPC with Guaranteed Stability
Booktitle
Proceedings of the 2023 62nd IEEE Conference on Decision and Control (CDC)
Author Address
Singapore, Singapore
Year of Publication
2023
