A reachability-based technique for idle speed control synthesis

International Journal of Software Engineering and Knowledge Engineering

Volumn 15, Issue 2, 2005, Pages 397-403

  Dang, Thao ^a  

^a VERIMAG   (France)

Author keywords

Computer aided design; Engine control; Formal methods; Hybrid systems

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER AIDED DESIGN; CONTROL EQUIPMENT; INVARIANCE; NONLINEAR CONTROL SYSTEMS;

AUTOMATIC VERIFICATION; ENGINE CONTROL; FORMAL METHODS; HYBRID SYSTEMS;

SPEED CONTROL;

EID: 21144443214     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194005001987     Document Type: Article

References (10)

1. L. Albertoni, A. Balluchi, A. Casavola, E. Mosca, C. Gambelli, and A. L. Sangiovanni-Vincentelli, Idle speed control for GDI engines using robust multirate hybrid command governors, in IEEE Conference on Control Applications, 2003.
2. E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli, Effective synthesis of switching controllers for linear systems, in Proc. IEEE 88 (2000) 1011-1025.
3. E. Asarin, T. Dang, and O. Maler, The d/dt tool for verification of hybrid systems, in Computer Aided Verification, LNCS 2404, Springer, 2002, pp. 365-370.
4. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. L. Sangiovanni-Vincentelli, Idle speed control synthesis using an assume-guarantee approach, in Nonlinear and Hybrid Systems in Automotive Control, Springer, 2002, pp. 229-243.
5. A. Balluchi, L. Benvenuti, G. M. Miconi, U. Pozzi, T. Villa, M. D. Di Benedetto, H. Wong-Toi, and A. L. Sangiovanni-Vincentelli, Maximal safe set computation for idle speed control of an automative engine, in HSCC'00, LNCS 1790, Springer, 2000.
6. A. Balluchi, F. Di Natale, A. L. Sangiovanni-Vincentelli, and J. H. van Schuppen, Controller synthesis for idle speed control of a car engine, in HSCC'04, LNCS, Springer.
7. 1 optimal control to the engine idle speed control problem, IEEE Trans. on Control Systems Technology 7(2) (1999) 258-270.
8. E. M. Clarke, O. Grumberg and D. A. Peled, Model Checking, MIT Press, 2000.
9. T. Dang, A reachability-based technique for idle speed control, T. Report, IMAG, 2004.
10. C. Tomlin, J. Lygeros, and S. Sastry, A game-theoretic approach to controller design for hybrid systems, Proc. IEEE 88 (2000) 940-970.