Improving reachability analysis of hybrid automata for engine control

Proceedings of the IEEE Conference on Decision and Control

Volumn 3, Issue , 2004, Pages 2322-2327

  Casagrande, Alberto ^a,b   Balluchi, Andrea ^b   Benvenuti, Luca ^b,c   Policriti, Alberto ^a   Villa, Tiziano ^a,b   Sangiovanni Vincentelli, Alberto ^b,d  

^a UNIVERSITY OF UDINE   (Italy)

^b PARADES   (Italy)

^c SAPIENZA UNIVERSITY OF ROME   (Italy)

^d UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; AUTOMATA THEORY; CLOSED LOOP CONTROL SYSTEMS; COMPUTATIONAL METHODS; COMPUTER SOFTWARE; CONTROL EQUIPMENT; DIFFERENTIAL EQUATIONS; ENGINES; ESTIMATION; INDUSTRIAL PLANTS; SET THEORY;

CLOSED-LOOP ENGINE CONTROL SYSTEMS; HYBRID AUTOMATA; REACHABILITY ANALYSIS; SOFTWARE PACKAGES;

AUTOMATION;

EID: 14244257046     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2004.1428739     Document Type: Conference Paper

References (13)

1. R. Alur, C. Courcoubetis, T. A. Henzinger, and P.-H. Ho, "Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems," in Hybrid Systems, ser. Lecture Notes in Computer Science, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds., vol. 736. Springer-Verlag, 1993, pp. 209-229.
2. O. Maler, Z. Manna, and A. Pnueli, "From timed to hybrid systems," in Real-Time: Theory in Practice, J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, Eds., vol. 600. Springer-Verlag, 3-7 June 1991, pp. 447-484.
3. T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya, "What's decidable about hybrid automata?" in Proceedings of the Twenty-Seventh Annual ACM Symposium on the Theory of Computing, Las Vegas, Nevada, 29 May-1 June 1995, pp. 373-382.
4. N. Halbwachs, Y.-E. Proy, and P. Raymond, "Verification of linear hybrid systems by means of convex approximations," in Static Analysis Symposium, B. Le Charlier, Ed. Springer-Verlag, 1994, pp. 223-237.
5. A. B. Kurzhanski and P. Varaiya, "Ellipsoidal techniques for reachability analysis," in HSCC, ser. Lecture Notes in Computer Science, N. A. Lynch and B. H. Krogh, Eds., vol. 1790. Springer-Verlag, 2000, pp. 202-214. [Online]. Available: citeseer.nj.nec.com/kurzhanski00ellipsoidal.html
6. O. Botchkarev and S. Tripakis, "Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations," in HSCC, ser. Lecture Notes in Computer Science, N. A. Lynch and B. H. Krogh, Eds., vol. 1790. Springer-Verlag, 2000, pp. 73-88.
7. O. Botchkarev, "Ellipsoidal techniques for verification of hybrid systems," 2000. [Online]. Available: http://fsv.dimi.uniud.it/downloads/ vshift.pdf
8. A. Balluchi, L. Benvenuti, M. D. D. Benedetto, and A. L. Sangiovanni-Vincentelli, Nonlinear and Hybrid Systems in Automotive Control. Springer-Verlag, 2002, ch. Idle Speed Control Synthesis using an Assume-guarantee Approach, pp. 229-243. [Online]. Available: http://www.parades.rm.cnr.it/~balluchi/papers/ps/H2C.pdf
9. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, G. M. Miconi, U. Pozzi, T. Villa, H. Wong-Toi, and A. L. Sangiovanni-Vincentelli, "Maximal safe set computation for idle speed control of an automotive engine," in HSCC, ser. Lecture Notes in Computer Science, N. A. Lynch and B. H. Krogh, Eds., vol. 1790. Springer-Verlag, 2000, pp. 32-44.
10. T. A. Henzinger and P.-H. Ho, "Model checking strategies for linear hybrid systems," in Proc. Workshop on Hybrid Systems and Autonomous Control, Ithaca, NY, 1994.
11. R. Alur, S. Kannan, and S. L. Torre, "Polyhedral flows in hybrid automata," in HSCC, ser. Lecture Notes in Computer Science, N. A. Lynch and B. H. Krogh, Eds., vol. 1790. Springer-Verlag, 2000, pp. 5-18. [Online]. Available: citeseer.nj.nec.com/alur99polyhedral.html
12. A. Casagrande, A. Balluchi, L. Benvenuti, A. Policriti, T. Villa, and A. L. Sangiovanni-Vincentelli, "Improving reachability analysis of hybrid automata for engine control," Department of Mathematics and Computer Science at University of Udine, Udine, Italy, Tech. Rep., February 2004. [Online]. Available: http://fsv.dimi.uniud.it/papers/improving_EC2004
13. N. A. Lynch and B. H. Krogh, Eds., Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings, ser. Lecture Notes in Computer Science, vol. 1790. Springer-Verlag, 2000.