GDEVS: A generalized discrete event specification for accurate modeling of dynamic systems

Proceedings - 5th International Symposium on Autonomous Decentralized Systems, ISADS 2001

Volumn , Issue , 2001, Pages 464-469

  Giambiasi, N ^a   Escude, B ^a   Ghosh, S ^b  

^a AIX MARSEILLE UNIVERSITY   (France)

^b Arizona State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; PIECEWISE LINEAR TECHNIQUES; SPECIFICATIONS;

ARBITRARY POLYNOMIAL; CONTINUOUS SIMULATION; DISCRETE TIME INTERVALS; FIRST ORDER SYSTEMS; PIECE-WISE CONSTANTS; PIECEWISE POLYNOMIALS; SYSTEM CHARACTERISTICS; UNIFORM SIMULATIONS;

DISCRETE EVENT SIMULATION;

EID: 0842318235     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISADS.2001.917452     Document Type: Conference Paper

References (27)

1. Fishwick P. "Process Abstraction in Simulation Modeling in Artificial Intelligence," Simulation and Modeling, Wiley USA 1988.
2. R.M. Fujimoto, "Parallel discrete event simulation", Communication of the ACM, pp. 30-53, Oct. 1990.
3. S. Ghosh, N. Giambiasi "On the need for consistency between the VHDL language constructs and the underlying hardware design", ESS 1996, Genoa, Italy.
4. S. Ghosh, N. "LANGUAGE BARRIERS IN HARDWARE DESIGN: On the Need for Consistency between the VHDL Language Constructs and the Underlying Hardware Design", IEEE Circuits and Devices, Vol. 15, No. 5, September 1999, pp. 25-40.
5. S. Ghosh and T.S. Lee, Modeling and Asynchronous Distributed Simulation: Analyzing Complex Systems, IEEE Press, June 2000.
6. N. Giambiasi, M. Smaili, C. Frydman. "Discrete Event Simulation with Fuzzy Times". European Simulation Symposium, Turkey, October 1994.
7. N. Giambiasi, M. Smaili. "Simulation à retards flou". Journées françaises du flou, Lille, Novembre 1994.
8. N. Giambiasi, C. Frydman, B. Escudé. "Hierarchical multi-view modeling and simulation", ESS 95, Erlangen, Allemagne.
9. N. Giambiasi, A. Naamane, A. Bonino. "Event Driven Simulation of continuous models", ESS 95, Erlangen, Allemagne.
10. C. Hoare, Communicating sequential processes, Prentice-Hall, 1985.
11. IEEE standard VHDL language reference manual, IEEE, 1988.
12. th Street, New York, NY 10017, April 14, 1994.
13. K.M. Inan and P.P Vraiya. "Algebras of Discrete Event Model", Proceedings of the IEEE, Vol. 77, Jan. 1989, pp. 24-38.
14. C.J Luh, B. Zeigler, "Abstracting event-based control models for high autonomy systems", IEEE Transactions on Systems, Man and Cybernetics, 23, pp. 42-54, 1993.
15. S. Muroga, Logic Design and Switching Theory, John Wiley and Sons, New York, 1979.
16. A. Naamane, N. Giambiasi, M. Djadja, "Discrete event models for mechatronic systems", 30th ISATA conference, Florence Italy, June 1997.
17. A. Pnueli "The temporal sémantic of concurrent programs", Computer Science 70 - Springer-Verlag, 1979.
18. H. Praehofer. System Theoretic Foundations for combined Discrete-Continuous System Simulation. PhD Dissertation, J. Kepler University of Linz, Austria, 1991.
19. H. Praehofer., "System Theoretic Formalisms for combined Discrete-Continuous System Simulation", International Journal of General Systems, Vol. 19, 1991, pp. 219-240.
20. H. Praehofer, P. Bichler and B.P. Zeigler. Synthesis of Endomorphic Models for Event Based Intelligent Control. In Proc. of AI, Simulation and Planning in High-Autonomy Systems. pp. 120-126, Tucson, AZ, IEEE/CS Press, Sept. 1993.
21. Q. Wang, F. Cellier, "Time windows: automated abstraction of continuous time models into discrete event models in high autonomy systems", International Journal of General Systems, 19, pp. 241-262, 1991.
22. M. Wonham, A control theory for discrete event systems, Springer-Verlag, NATO series-1988.
23. B. Zeigler. Theory of Modeling and Simulation. John Wiley, New York, 1976.
24. B. Zeigler. Multifaceted Modeling and Discrete Event Simulation. Academic Press, London, 1984.
25. B. Zeigler. "DEVS representation of dynamical systems", Proceedings of the IEEE, Vol. 77, 1989, pp. 72-80.
26. B. Zeigler. Object-Oriented Simulation with Hierarchical, Modular Models, Published by Academic Press Inc., 1990.
27. nd Edition, Academic Press Inc., 2000.