Embedding DEV&DESS in DEVS: Characteristic behaviors of hybrid models

Simulation Series

Volumn , Issue , 2006, Pages 125-132

  Zeigler, Bernard P ^a  

^a UNIVERSITY OF ARIZONA   (United States)

Author keywords

DEV DESS; DEVS; Hybrid models; Multiformalism modeling; Systems representations

Indexed keywords

DEVS; EVENT MODEL; HYBRID MODEL; MODEL AND SIMULATION; MULTI-FORMALISM MODELS; SYSTEMS REPRESENTATION;

DIFFERENTIAL EQUATIONS;

COMPUTER SIMULATION;

EID: 84890259506     PISSN: 07359276     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (35)

1. Hans Van gelieuve and P. Mosterman, "Computer Automated Multi-Paradigm Modeling, " TOMACS. 12, 4, 1-7.
2. Hans Vangheluwe. DEVS as a common denominator for multi-formalism hybrid systems modelling. In Andras Varga, editor, IEEE International Symposium on Computer-Aided Control System Design, pages 129-134. IEEE Computer Society Press, September 2000. Anchorage, Alaska.
3. Le Goc, M. and C. Frydman, "SACHEM, a Real Time Intelligent Diagnosis System based on the Discrete Event Paradigm", Transaction of Society for Modeling and Simulation International (SCS), 2003.
4. Shahab, S., "Discrete Event Modeling, Simulation And Control With Application To Sensor Based Intelligent Mobile Robotics, " MS Thesis, UNM, 2003.
5. Alur, R., Grosu, R., Lee, I., And Sokolsky, O., Compositional refinement for hierarchical hybrid systems. In Hybrid Systems: Computation and Control, Proceedings of the 4th International Conference (HSCC'01). Lecture Notes in Computer Science, vol. 2034. Springer-Verlag, New York, 33-48.
6. R. Alur and D.L. Dill, A theory of timed automata, Theoretical Computer Science, V.126, pp 183-235, 1994.
7. ANTSAKLIS, P. J. 2000. A brief introduction to the theory and application of hybrid systems. Proc. IEEE 88, 7, 879- 887.
8. ACM Transactions on Modeling and Computer Simulation, Vol. 13, No. 3, July 2003.
9. Zeigler, B. P., T.G. Kim and H. Praehofer "Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems, second edition Academic Press, Boston", 2000. 510 pages.
10. Praehofer, H., System Theoretic Formalisms for Combined Discrete-Continuous System Simulation. Int. J. Gen. Sys., 1991. 19(3): p. 219-240.
11. W David Kelton, Randall P Sadowski, David T Sturrock, Simulation With Arena, McGraw-Hill Professional, 1991.
12. Multifacetted Modeling and Discrete Event Simulation By Bernard P. Zeigler; Academic Press, London; Orlando, 1984.
13. F.J. Barros. "Towards a Theory of Continuous Flow Models, " International Journal of General Systems, Vol. 31, No. 1, 29-39, 2002.
14. F.J. Barros. "Modeling and Simulation of Dynamic Structure Heterogeneous Flow Systems." Simulation: Transactions of The Society for Modeling and Simulation International, Vol. 78, No. 1, 18-27, 2002.
15. F.J. Barros, "Dynamic Structure Multi-Paradigm Modeling and Simulation, " A CM Transactions on Modeling and Computer Simulation, Vol. 13, No. 3, pp. 259-275, 2003.
16. Q. Liu, G. Wainer "Simulating Market Dynamics with CD++".. In Proceedings of the International Conference on Computational Science. Lecture Notes in Computer Science. Atlanta, GA. 2005.
17. Jong-keun Lee, Min-Woo Lee, Sung-Do Chi, "DEVS/HLA- Based Modeling and Simulation for Intelligent Transportation Systems", Simulation, Vol. 79, No. 8, 423-439 (2003).
18. Bernard P. Zeigler, Doohwan Kim, Stephen J. Buckley, "Distributed supply chain simulation in a DEVS/CORBA execution environment", December 1999 Proceedings of the 31st conference on Winter simulation: Simulation-a bridge to the future - Volume 2.
19. Bernard P. Zeigler, Yoonkeon Moon, Doohwan Kim, Jeong Geun Kim, "DEVS-C++: A High Performance Modeling and Simulation Environment", January 1996, Proceedings of the 29th Hawaii International Conference on System Sciences (HICSS'96) Volume 1.
20. Bernard P. Zeigler, Hessam S. Sarjoughian, Introduction to DEVS Modeling and Simulation with JAVA: Developing Component-Based Simulation Models, http://www.acims.arizona.edu/SOFTWARE/devsjavalicensed/DevsJavaUserGuidev1.1. zip.
21. Kofman, E. (2003). "Quantization-Based Simulation of Differential Algebraic Equation Systems". Simulation (Journal of The Society for Computer Simulation International). 79(7). pp 363-376.
22. Zeigler, B.P., H.S. Sarjoughian, and H. Praehofer, "Theory of Quantized Systems: DEVS Simulation of Perceiving Agents, " Int. Jnl. Cybernetics and Systems, Vol. 31, No. 6., pp. 611-648, 2000.
23. H. Sarjoughian, "Hybrid Discrete Event Simulation With Model Predictive Control For Semiconductor Supply-chain Manufacturing, " Proceedings of the 2005 Winter Simulation Conference, Orlando, FL, 2005.
24. C. Jacques, G. Wainer Using the CD++ DEVS toolkit to develop Petri Nets. In Proceedings of the 2002 Summer Computer Simulation Conference. San Diego, CA. USA. 2002.
25. Carmen-Veronica Bobeanu, Eugene J. H. Kerckhoffs, Hendrik Van Landeghem, "Modeling of Discrete Event Systems: A Holistic and Incremental Approach Using Petri Nets, " ACM Transactions on Modeling and Computer Simulation, Vol. 14, No. 4, October 2004.
26. Spencer Borland and Hans Vangheluwe. Transforming Statecharts to DEVS. In A. Bruzzone and Mhamed Itmi, editors, Summer Computer Simulation Conference Student Workshop, 54 - 59. Society for Computer Simulation International (SCS), July 2003. Montreal, Canada.
27. H. Dacharry, N. Giambiasi "Formal Verification with Timed Automata and DEVS Models: A case study", in: ASSE 2005 Simposio Argentino de Ingeniena de Software - 34 JAAIO Jornadas Argentinas de Informatica e Investigacion Operativa, pp. 251-265, Rosario, Argentine, 29 aout- 2 septembre 2005.
28. Sarjoughian, H.S., D. Huang, A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models The 9th IEEE International Symposium on Distributed Simulation and Real Time Applications, pp. 249-256, Oct., Montreal, Canada.
29. A. Alan, B. Pritsker, Jean J. O'Reilly Simulation with Visual SLAM and AweSim, John Wiley & Sons, New York, N.Y., 1990.
30. F.E. Cellier, 1979 Combined Discrete/Continuous System Simulation by Use of Digital Computers Techniques and Tools. PhD Thesis, Swiss Federal Institute of Technology.
31. Rachel, Olivier, "Une approche evenementielle pour la modelisation et la simulation de reseaux de neurones impulsionnels, " Doctoral Dissertation, Henri Pontcarre University, 2004.
32. K. J. Astromt and K. FuruaJ Swinging Up A Pendulum By Energy Control, Paper presented at IFAC 13th World Congress, San Francisco, California, 1996.
33. F.J. Barros, B.P. Zeigler, Model Interoperability in the Discrete Event Paradigm: Representation of Continuous Models, in: George A. Bekey, Boris Y. Kogan (Editors), Modeling and Simulation : Theory and Practice A Memorial Volume for Professor Walter J. Karplus, Kluwer, 2000.
34. M. D'Abreu, G. Wainer. M/CD++: modeling continuous systems using Modelica and CD++, MASCOTS 2005. Atlanta, GA. 2005.
35. N. Giambiasi, G. Wainer "Using G-DEVS and Cell-DEVS to model complex continuous systems", in: Simulation: Transactions of the Society for Modeling and Simulation International, vol 81, n 2, pp. 137-151, February 2005.