This paper reports on idle speed control as a benchmark for formal methods to design controllers for car engines.
Idle Speed Control - A Benchmark for Hybrid System Research
VILLA, Tiziano;
2006-01-01
Abstract
This paper reports on idle speed control as a benchmark for formal methods to design controllers for car engines.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.