On the structure of time in computational semantics of a variable-step solver for hybrid behavior analysis

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 44, Issue 1 PART 1, 2011, Pages 9419-9424

  Zander, Justyna ^a   Mosterman, Pieter J ^b   Hamon, Grégoire ^b   Denckla, Ben ^c  

^a HARVARD UNIVERSITY   (United States)

^b MATHWORKS INC   (United States)

^c NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL EFFICIENCY; CONTINUOUS TIME SYSTEMS; DIFFERENTIAL EQUATIONS; NUMERICAL METHODS;

APPROXIMATION ERRORS; COMPUTATIONAL APPROACH; COMPUTATIONAL SEMANTICS; DISCONTINUOUS MODELS; HYBRID DYNAMIC SYSTEMS; NUMERICAL INTEGRATIONS; ORDERED STRUCTURES; TIME-BASED BLOCK DIAGRAMS;

SEMANTICS;

EID: 84866783150     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20110828-6-IT-1002.02485     Document Type: Conference Paper

References (28)

1. Backus, J. (1978). "Can Programming Be Liberated from the von Neumann Style?," in Communications of the ACM, Vol. 21, Nr. 8, pp.: 613-641.
2. Benveniste, A., Caillaud, B., Pouzet, M. (2010). "The Fundamentals of Hybrid Systems Modelers," in Proc. of the 49th IEEE International Conference on Decision and Control, Atlanta, GA.
3. Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., de Simone, R. (2003). "The Synchronous Languages Twelve Years Later," Proc. of the IEEE, Vol. 91, Iss. 1, pp.: 64-83.
4. Broy, M., Krüger, I.H., Pretschner, A., Salzmann, C. (2007). "Engineering Automotive Software," in Proc. of the IEEE, Vol. 95, no. 2, pp.: 356-373.
5. Caspi, P. (2006). "Some Issues in Model-Based Development for Embedded Control Systems," in From Model-Driven Design to Resource Management for Distributed Embedded Systems. Volume 225/2006,ISSN: 1571-5736. Springer Boston.
6. Cellier, F.E. (1979). Combined Continuous/Discrete System Simulation by Use of Digital Computers: Techniques and Tools, Ph.D. dissertation, Swiss Federal Institute of Technology, ETH Zürich, Switzerland.
7. Denckla, B., Mosterman, P.J. (2006). "Block Diagrams as a Syntactic Extension to Haskell," in Proc. of the Workshop on Multi-Paradigm Modeling: Concepts and Tools, October 3, Genova, Italy.
8. Denckla, B., Mosterman, P.J. (2008). "Stream- and State-Based Semantics of Hierarchy in Block Diagrams," in 17th IFAC World Congress, pp. 7955-7960, July 6-11, Seoul, Korea.
9. Guckenheimer, J. (2002). "Numerical analysis of dynamical systems," in Handbook of Dynamical Systems, B. Fiedler (ed.), vol. 2, pp.: 345-390. Elsevier, Amsterdam, Netherlands.
10. Guckenheimer, J., Johnson, S. (1995). "Planar hybrid systems," Hybrid Systems II, Lecture Notes in Computer Science, 999, pp.: 202-225.
11. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D. (1991). "The synchronous data-flow programming language LUSTRE," in Proc. of the IEEE, Vol.79, No. 9, pp.: 1305-1320.
12. Halbwachs, N., Raymond, P. (1999). "Validation of synchronous reactive systems: from formal verification to automatic testing," in Asian Computing Science Conference (ASIAN'99), Phuket, Thailand. LNCS 1742, Springer Verlag.
13. Hardebolle, C., Boulanger, F., Marcadet, D., Vidal-Naquet, G. (2007). "A Generic Execution Framework for Models of Computation," in Proc. of MOMPES'07, pp.: 45-54.
14. Iwasaki Y., Farquhar A., Saraswat V., Bobrow D., Gupta, V. (1995) "Modeling Time in Hybrid Systems: How Fast Is 'Instantaneous'?," in Proceedings of the Ninth International Workshop on Qualitative Reasoning, pp.: 1773-1780.
15. Lee, E.A., Sangiovanni-Vincentelli, A. (1996). The Tagged Signal Model: A Preliminary Version of a Denotational Framework for Comparing Models of Computation, Memorandum UCB/ERL M96/33, ERL, University of California, Berkeley, CA 94720.
16. Lee, E. A., Zheng, H. (2005). "Operational semantics of hybrid systems," in Proc. of HSCC'05, Volume LNCS 3414, pp.: 25-35.
17. Lee, E. A., Zheng, H. (2007). "Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems," in Proc. of EMSOFT'07, Salzburg, Austria, pp.: 114-123.
18. Mosterman, P.J. (2002). "HYBRSIM-A Modeling and Simulation Environment for Hybrid Bond Graphs," in Journal of Systems and Control Engineering, Vol. 216, Part I, pp.: 35-46.
19. Mosterman, P.J., Zander, J., Hamon, G., Denckla, B. (2009). "Towards Computational Hybrid System Semantics for Time-Based Block Diagrams," in Proc. of ADHS'09, A. Giua, C. Mahulea, M. Silva, J. Zaytoon (eds.), pp.: 376-385, plenary paper, Zaragoza, Spain.
20. Mosterman, P.J. and Biswas, G. (2000). "A Comprehensive Methodology for Building Hybrid Models of Physical Systems," Journal of Artificial Intelligence, 121, pp.: 171-209.
21. Nishida, T., Doshita, S. (1987). "Reasoning about discontinuous change," in Proceedings of National Conference on Artificial Intelligence (AAAI-87), pp.: 643-648.
22. Petzold, L.R. (1982). A description of DASSL: A differential/algebraic system solver, Technical Report SAND82-8637, Sandia National Laboratories, Livermore, CA.
23. Simulink® 7 User's Guide, MathWorks®, Natick, MA, March, 2010.
24. Simulink®; 7, Writing S-Functions, MathWorks®, Natick, MA, 2007.
25. Symbolic Math Toolbox™ MathWorks®, Natick, MA, March, 2010.
26. Nielsen, H.R., Nielson, F. (1988). "Automatic binding time analysis for a typed λ calculus," Science of Computer Programming, 10:139-176.
27. Shenoy, R., McKay, B., Mosterman, P.J. (2007). "On Simulation of Simulink Models for Model-Based Design," in Handbook of Dynamic System Modeling, Paul A. Fishwick (ed.), Chapter 37, CRC Press.
28. United States Government Accountability Office, June 20, 2006, GAO-06-455R F-22A Tactical Aircraft, Washington, DC 20548.