"not pushed" means "infinite"
2011-04-07 01:10:44.249573+02 by Dan Lyke 0 comments
QOTD:
... vAmax is imposed by engine limitations. One of the objectives of the controllers we design will be fuel efficiency. As a consequence the engine will not have to be pushed to its limitations and therefore vAmax will not feature in the safety calculations. We will assume vAmax = ∞ to simplify the analysis. ...
A Verified Hybrid Controller for Automated Vehicles, Lygeros, Godbole and Sastry (1997)