Title :
On the Toyota´s Throttle Control Problem
Author :
Ras, Jim ; Cheng, Albert M K
Abstract :
This work tackles two research threads. The first thread evaluates the use of conventional design versus electronic engine control by applying real-time control theory. The second thread, which will be explored in a longer version of this paper, presents a formal method that determines if the system matches the specifications.
Keywords :
automotive engineering; design engineering; electronic engineering computing; formal specification; mechanical engineering computing; road vehicles; Toyota throttle control problem; conventional throttle; electronic engine control; formal method; real time control theory; Eigenvalues and eigenfunctions; Engines; Equations; Fuels; Mathematical model; Real time systems; Torque; Conventional Throttle; Electronic Throttle Control; Embedded Real-time Systems;
Conference_Titel :
Green Computing and Communications (GreenCom), 2010 IEEE/ACM Int'l Conference on & Int'l Conference on Cyber, Physical and Social Computing (CPSCom)
Conference_Location :
Hangzhou
Print_ISBN :
978-1-4244-9779-9
Electronic_ISBN :
978-0-7695-4331-4
DOI :
10.1109/GreenCom-CPSCom.2010.73
