Use of hybrid models for testing and debugging control software for electromechanical systems

IEEE/ASME Transactions on Mechatronics

Volumn 10, Issue 3, 2005, Pages 275-284

  Kondo, Koichi ^a   Yoshida, Mitsunobu ^a  

^a TOSHIBA CORPORATION   (Japan)

Author keywords

Constraint programming; Control software testing and debugging; Dynamics simulator; Hybrid modeling language

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; COMPUTER SOFTWARE REUSABILITY; CONSTRAINT THEORY; ELECTROMECHANICAL DEVICES; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING;

CONSTRAINT PROGRAMMING; CONTROL SOFTWARE TESTING AND DEBUGGING; DYNAMICS SIMULATOR; HYBRID MODELING LANGUAGE;

PROGRAM DEBUGGING;

EID: 23044438027     PISSN: 10834435     EISSN: None     Source Type: Journal    
DOI: 10.1109/TMECH.2005.848289     Document Type: Article

References (13)

1. V. Gupta, R. Jagadeesan, and V. Saraswat, "Computing with continuous change," Sci. Programm., vol. 30, no. 1-2, pp. 3-50, 1998.
2. V. Gupta, V. Saraswat, and P. Struss, "A model of a photocopier paper path," in Proc: 2nd IJCAI Workshop Eng. Problems Qualitative Reasoning, 1995.
3. L. Alenius and V. Gupta, "Modeling an AERCam: A case study in modeling with concurrent constraint languages," in CP'98 Workshop Modeling Computation Concurrent Constraint Languages, Oct. 1998.
4. R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. J. Pappas, and O. Sokolsky, "Hierarchical modeling and analysis of embedded systems," Proc. IEEE, vol. 91, no. 1, pp. 11-28, Jan. 2003.
5. P.J. Mosterman, "An overview of hybrid simulation phenomena and their support by simulation package," in Hybrid Systems 99: Computation and Control, F. W. Vaandrager and J. H. van Schuppen, Eds'. New York: Springer-Verlag, 1999, vol. 1569, Lecture Notes in Computer Science, pp. 165-177.
6. A. Bockmayr and A. Courtois, "Using hybrid concurrent constraint programming to model dynamic biological systems," in 18th Int. Conf. Logic Programming, ICLP'02, J. P. Stuckey, Ed. New York: Springer-Verlag, 2002, vol. 2401, Lecture Notes in Computer Science, pp. 85-99.
7. R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin, and J. Schug, "Hybrid modeling and simulation of biomolecular networks," in Hybrid Systems 2001: Computation and Control, M. D. Di Benedetto and A. Sangiovanni-Vincentelli, Eds. New York: Springer-Verlag, 2001, vol. 2034, Lecture Notes in Computer Science, pp. 19-32.
8. B. Carlson and V. Gupta, "Hybrid cc with interval constraints," in Hybrid Systems 98: Computation and Control, T. A. Henzinger and S. Sastry, Eds. New York: Springer-Verlag, 1998, vol. 1386, Lecture Notes in Computer Science, pp. 80-94.
9. B. Buchberger, "Groebner basis: An algorithmic method in polynomial ideal theory," Multidimen. Syst. Theor., pp. 184-232, 1985.
10. K. Kondo, "Algebraic method for manipulation of dimensional relationships in geometric models," Computer-Aided Design, vol. 24, no. 3, pp. 141-147, 1992.
11. 3D-DCM Manual Version 28.0, D-Cubed Ltd., Cambridge, U.K., 2003.
12. IEEE Standard for Verilog Register Transfer Level Synthesis, IEEE, Piscataway, NJ, 2002.
13. IEEE Standard VHDL Language Reference Manual, IEEE, Piscataway, NJ, 1991.