Verifying switched-mode computer controlled systems

2002 IEEE International Symposium on Computer Aided Control System Design, CACSD 2002 - Proceedings

Volumn , Issue , 2002, Pages 98-103

  Kapinski, J ^a   Krogh, B H ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS TIME SYSTEMS; CONTROL SYSTEMS; HYBRID SYSTEMS; MATLAB; SYSTEMS ANALYSIS;

AUTOMOTIVE ENGINE; COMPUTATIONAL ROUTINES; COMPUTER-CONTROLLED SYSTEMS; CONTINUOUS VARIABLES; DISCRETE TIME BEHAVIOR; EMBEDDED CONTROLLERS; HYBRID DYNAMIC SYSTEMS; PERIODIC SAMPLING;

COMPUTER CONTROL SYSTEMS;

EID: 84964038653     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CACSD.2002.1036936     Document Type: Conference Paper

References (15)

1. A. van der Schaft and H. Schumacher, An Introduction to Hybrid Dynamical Systems, Springer-Verlag, 2000.
2. R. Alur, T.A. Henzinger, and P.-H. Ho, "Automatic symbolic verification of embedded systems," IEEE Trans. on Software Engineering, vol. 22, no. 3, pp. 181-201, Mar 1996.
3. J. J. Scillieri, K. R. Butts, and J. S. Freudenberg, "Validating executable controller specifications through formal model checking," in Proceedings IEEE International Symposium on Computer-Aided Control System Design, Sept. 2000.
4. B. I. Silva, O. Stursberg, B. H. Krogh, and S. Engell, "An assessment of the current status of algorithmic approaches to the verification of hybrid systems," in Proceedings of the 40th IEEE Conference on Decision and Control. 2001, pp. 2867-2874, IEEE Press.
5. B. I. Silva and B. Krogh, "Modeling and verification of hybrid systems with clocked and unclocked events," in Proceedings of the 40th IEEE Conference on Decision and Control. 2001, pp. 762-767, IEEE Press.
6. S. Kowalewski, S. Engell, J. Preussig, and O. Stursberg, "Verification of logic controllers for continuous plants using timed condition/event-system models," Automatica, vol. 35, pp. 505-518, 1999.
7. T.A. Henzinger, "The theory of hybrid automata," in Proceedings of the 11th Annual Symposium on Logic in Computer Science. 1996, pp. 278-292, IEEE Computer Society Press, Invited tutorial.
8. E. M. Clarke, O. Grumberg, and D. Peled, Model Checking, MIT Press, 1999.
9. B. Silva and B. Krogh, "Formal verification of hybrid systems using checkmate: A case study," in Proceedings of the American Control Conference, 2000.
10. A. Chutinan and B. Krogh, "Verification of infinite state dynamic systems using approximate quotient transition systems," IEEE Transactions on Automatic Control, vol. 46, no. 9, pp. 1401-1410, Sept. 2001.
11. O. Grumberg and D.E. Long, "Model checking and modular verification," ACM Transactions on Programming Languages and Systems, vol. 16, no. 3, pp. 843-871, May 1994.
12. A. Chutinan and B.H. Krogh, "Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations," in Hybrid Systems: Computation and Control, 2nd International Workshop, HSCC'99, F.W. Vaandrager and J.H. Van Schuppen, Eds., Berg en Dal, The Netherlands, 1999, Springer-Verlag.
13. A. G. Stefanopoulou, J. A. Cook, J. S. Frendenberg, J. W. Grizzle, M. Haghgooie, and P. S. Szpak, "Modeling and control of a spark ignition engine with variable cam timing," in 1995 American Control Conference, 1995, pp. 2576-2581.
14. K. Butts, Ford Motor Company, private correspondence.
15. J. Kapinski and B. H. Krogh, "Verifying switched-mode computer controlled systems," Tech. Rep., Dept. of Electrical and Computer Engineering, Carnegie Mellon University, 2002.