Towards computational hybrid system semantics for time-based block diagrams

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 3, Issue PART 1, 2009, Pages 376-385

  Mosterman, Pieter J ^a   Zander, Justyna ^b   Hamon, Gregoire ^a   Ben, Denckla ^c  

^a MATHWORKS INC   (United States)

^b FRAUNHOFER FOKUS   (Germany)

^c Denckla Consulting   (United States)

Author keywords

Computational methods; Computer simulation; Computer aided control system design; Embedded systems; Numerical simulation; Synchronous data flow; Systems design; Variable structure systems; Verification; Zero crossings

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL METHODS; COMPUTER SIMULATION; CONTINUOUS TIME SYSTEMS; EMBEDDED SYSTEMS; HYBRID SYSTEMS; NUMERICAL METHODS; SEMANTICS; SYSTEMS ANALYSIS; VERIFICATION;

COMPUTATIONAL SEMANTICS; COMPUTER AIDED CONTROL SYSTEM DESIGN; MATHEMATICAL SEMANTICS; NUMERICAL INTEGRATIONS; SYNCHRONOUS DATA FLOW; TIME-BASED BLOCK DIAGRAMS; VARIABLE STRUCTURE SYSTEM; ZERO-CROSSINGS;

COMPUTER CONTROL SYSTEMS;

EID: 78651473044     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20090916-3-es-3003.00065     Document Type: Conference Paper

References (50)

1. Adam, N., Altinakar, M., Thomas F. Corbet, J., Diaz, J., Kadtke, J., Krimgold, F., LeClaire, R., and Samsa, M. (2008). Workshop on future directions in critical infrastructure modeling and simulation-final report. Technical report, Department of Homeland Security.
2. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. (1994). The algorithmic analysis of hybrid systems. In J. Bakkers, C. Huizing, W. de Roeres, and G. Rozenberg (eds.), Proceedings of the 11th International Conference on Analysis and Optimization of Discrete Event Systems, 331-351. Springer-Verlag. Lecture Notes in Control and Information Sciences 199.
3. Åström, K.J. and Wittenmark, B. (1984). Computer Controlled Systems: Theory and Design. Prentice-Hall, Englewood Cliffs, New Jersey.
4. Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Guernic, P.L., and de Simone, R. (2003). The synchronous languages twelve years later. Proceedings of the IEEE, 91(1), 64-83.
5. Breedveld, P.C. (1984). Physical Systems Theory in Terms of Bond Graphs. PhD dissertation, University of Twente, Enschede, Netherlands.
6. Bujakiewicz, P. (1994). Maximum weighted matching for high index differential algebraic equations. PhD dissertation, TU Delft, Delft, Netherlands.
7. Caspi, P. and Pouzet, M. (1997). A Co-iterative Characterization of Synchronous Stream Functions. Technical Report 07, VERIMAG.
8. Cellier, F., Elmqvist, H., and Otter, M. (1996). Modelling from physical principles. In W. Levine (ed.), The Control Handbook, 99-107. CRC Press, Boca Raton, FL.
9. Cellier, F.E. (1979). Combined Continuous/Discrete System Simulation by Use of Digital Computers: Techniques and Tools. PhD dissertation, ETH, Zurich, Switzerland.
10. Denckla, B. and Mosterman, P.J. (2006). Block diagrams as a syntactic extension to haskell. In Proceedings of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. Genoa, Italy.
11. Denckla, B. and Mosterman, P.J. (2008). Stream- and state-based semantics of hierarchy in block diagrams. In Proceedings of the 17th IFAC World Congress. Seoul, Korea.
12. Engstrom, E. and Krueger, J. (2000). A meta-modeler's job is never done: Building and evolving domain-specific tools with DOME. In Proceedings of the IEEE International Symposium on Computer Aided Control System Design, 83-88. Anchorage, Alaska.
13. Falk, G. and Ruppel, W. (1976). Energie und Entropie: Eine Einführung in die Thermodynamik. Springer-Verlag, Berlin, Heidelberg, New York.
14. Flatscher, R.G. (2002). Metamodeling in EIA/CDIF meta-metamodel and metamodels. ACM Transactions on Modeling and Computer Simulation, 12(4).
15. Friedman, J. and Ghidella, J. (2006). Using model-based design for automotive systems engineering - requirements analysis of the power window example. In Proceedings of the SAE 2006 World Congress & Exhibition, CD-ROM: 2006-01-1217. Detroit, MI.
16. Guckenheimer, J. (2002). Numerical analysis of dynamical systems. In B. Fiedler (ed.), Handbook of Dynamical Systems, vol. 2, 345-390. Elsevier, Amsterdam, Netherlands.
17. st century health care. Technical report, Networking and Information Technology Research and Development Program.
18. Jackson, E, Thibodeaux, R, Porter, J, and Sztipanovits, J. (2009). Semantics of domain specific modeling languages. In G. Nicolescu and P.J. Mosterman (eds.), Model-Based Design for Embedded Systems. CRC Press, Boca Raton, FL.
19. Jefferson, D.R. (1985). Virtual time. ACM Trans. Program. Lang. Syst, 7(3), 404-425.
20. Jones, H. (2005). Return on investment in Simulink® for electronic system design. Technical report, International Business Strategies.
21. Jones, S.P. (2003). Haskell 98 Language and Libraries. Cambridge University Press, Cambridge, UK.
22. Lee, E.A. and Sangiovanni-Vincentelli, A. (1996). The tagged signal model - a preliminary version of a denotational framework for comparing models of computation. Technical Report UCB/ERL M96/33, University of California, Berkeley, California.
23. Mens, T. and Gorp, P.V. (2006). A taxonomy of model transformation. In Proceedings of the International Workshop on Graph and Model Transformation, 125-142. Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam.
24. Mirtich, B. (2000). Timewarp rigid body simulation. In Proceedings of the 27th Annual Conference on Computer Graphics and Interactive Techniques (ACM SIGGRAPH), 193-200. New York, NY. (Pubitemid 32393980)
25. Mosterman, P.J. (2002). HYBRSIM - a modeling and simulation environment for hybrid bond graphs. Journal of Systems and Control Engineering, 216(1), 35-46. (Pubitemid 34292288)
26. Mosterman, P.J. (2007). On the normal component of centralized frictionless collision sequences. ASME Journal of Applied Mechanics, 74(5), 908-915. (Pubitemid 47586070)
27. Mosterman, P.J. and Biswas, G. (1996). Verification of dynamic physical system models. In Proceedings of the ASME Congress '96, 707-714. Atlanta, GA.
28. Mosterman, P.J., Bouldin, D, and Rucinski, A. (2008). A peer reviewed online computational modeling framework. In Proceedings of the CDEN 2008 Conference, CD-ROM. Halifax, Canada.
29. Mosterman, P.J, Otter, M, and Elmqvist, H. (1998). Modeling petri nets as local contraint equations for hybrid systems using modelica. In SCS Summer Simulation Conference, 314-319. Reno, Nevada.
30. Mosterman, P.J. and Vangheluwe, H. (2004). Computer automated multi-paradigm modeling: An introduction. SIMULATION: Transactions of The Society for Modeling and Simulation International, 80(9), 433-450. (Pubitemid 40085440)
31. Nicolescu, G. and Mosterman, P.J. (eds.) (2009). Model-Based Design for Embedded Systems. CRC Press, Boca Raton, FL.
32. Nielson, H.R. and Nielson, F. (1992). Semantics with Applications: A Formal Introduction. Wiley Professional Computing, Hoboken, NJ.
33. Nikoukhah, R. (2007). Hybrid dynamics in modelica: Should all events be considered synchronous. In Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT 2007), 37-48. Berlin, Germany.
34. Otter, M, Remelhe, M.A.P, Engell, S, and Mosterman, P.J. (2000). Hybrid models of physical systems and discrete controllers. at - Automatisierungstechnik.
35. Park, T. and Barton, P.I. (1996). State event location in differential-algebraic models. ACM Transactions on Modeling and Computer Simulation, 6(2), 137-165.
36. Paynter, H.M. (1961). Analysis and Design of Engineering Systems. The M.I.T. Press, Cambridge, Massachusetts.
37. Petzold, L.R. (1982). A description of DASSL: A differential/algebraic system solver. Technical Report SAND82-8637, Sandia National Laboratories, Livermore, CA.
38. Peyton-Jones, S. (1987). The Implementation of Functional Programming Languages. Prentice Hall, Engle-wood Cliffs, NJ.
39. Pfeiffer, F. and Glocker, C. (1996). Multibody dynamics with unilateral contacts. John Wiley & Sons, Inc., New York.
40. Potter, B. (2004). Use of the mathworks tool suite to develop do-178b certified code. In ERAU / FAA Software Tools Forum. Daytona Beach, Florida.
41. President's Information Technology Advisory Committee (2005). Computational science: Ensuring america's competitiveness. Technical report, Executive Office of the President of the United States.
42. Reekie, H.J. (1994). Modelling Asynchronous Streams in Haskell. Technical Report 94.3, Key Centre for Advanced Computing Sciences, University of Technology Sydney.
43. Remelhe, M.A.P. (2001). Simulation and visualization support for user-defined formalisms using meta-modeling and hierarchical formalism transformation. In Proceedings of the 2001 IEEE International Conference on Control Applications, 750-755. Mexico City, Mexico.
44. Sanz-Serna, J.M. (1992). Symplectic integrators for hamiltonian problems: an overview. Acta Numerica, 1, 243-286.
45. SC-167, R. (1992). Do178b, software considerations in airborne systems and equipment certification.
46. Semiconductor Industry Association (1999). International technology roadmap for semiconductors: 1999 edition-design. Technical report, Sematech, Austin, TX.
47. Shampine, L.F, Reichelt, M.W, and Kierzenka, J.A. (1999). Solving index-1 daes in matlab and simulink. SIAMRev., 41(3), 538-552. (Pubitemid 30538510)
48. Simulink® (2008). Using Simulink®. The MathWorks™, Natick, MA.
49. Sullivan, M. (2005). TACTICAL AIRCRAFT-F/A-22 and JSF acquisition plans and implications for tactical aircraft modernization. Technical Report GAO-05-519T, United States Government Accountability Office.
50. Zhang, Y. and Xu, B. (2004). A survey of semantic description frameworks for programming languages. A CM SIGPLAN Notices, 39(3), 14-30.