Loading...
Please wait, while we are loading the content...
Similar Documents
Formal Veri cation of an Automotive Engine Controller inCuto
| Content Provider | Semantic Scholar |
|---|---|
| Author | Tiziano, Mode Villax Wong, Howard Toiy Andrea Balluchix Preu, Julia Sangiovanni, Alberto L. Vincentellixz Watanabe, Yosinori |
| Copyright Year | 1998 |
| Abstract | We describe formal veriication of convergence and performance properties of an engine control algorithm being developed for Magneti-Marelli. We study the cutoo mode, where the driver releases the accelerator and the controller regulates fuel injection to minimize the oscillations while decelerating. The engine and its controller are modeled with hybrid automata and the sliding action of the hybrid controller is formally veriied with the model checker HyTech. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://astwww.chemietechnik.uni-dortmund.de/~joerg/publications/cdc98/vwb+98.ps.gz |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |