Advertisement

Symbolic Discrete-Event Simulation

  • Sanjai Narain
  • Ritu Chadha
Part of the The IMA Volumes in Mathematics and its Applications book series (IMA, volume 73)

Abstract

The event-scheduling view of the discrete-event simulation technique is widely used to model and simulate dynamic systems. This paper presents DMOD, a formalization of this technique. DMOD offers two major advantages. First, it retains the powerful intutions behind this technique, yet makes it easier to specify them. Second, it permits reasoning about its models. This is done by means of symbolic simulation, i.e. simulation in which input parameters can be constrained variables. DMOD can be used to model hybrid systems including those with non-linearities. It has been implemented in Prolog and applied to analysis of a variety of industrial systems.

Keywords

Hybrid System Initial Event Constraint Logic Programming Event Queue Infinitesimal Perturbation Analysis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Alur et al. 1994]
    Alur, R., Courcoubetis, C., Henzinger, T., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Proceedings of 11th International Conference on Analysis and Optimization of Systems. Guy Cohen & Jean-Pierre Quadrat (eds.), Lecture Notes in Control and Information Sciences 199 (1994)Google Scholar
  2. [Branicky et al. 1994]
    Branicky, M., Borkar, V., Mitter, S.: A Unified Framework for Hybrid Control. Proceedings of 11th International Conference on Analysis and Optimization of Systems. Guy Cohen & Jean-Pierre Quadrat (eds.), Lecture Notes in Control and Information Sciences 199 (1994)Google Scholar
  3. [Cameron & Lin 1991]
    Cameron, J., Lin & Y.-J.: A real-time transition model for analyzing behavior compatibility of telecommunications services. Proceedings of SIGSOFT-91 - Software for critical systems, New Orleans (1991)Google Scholar
  4. [Evans 1988]
    Evans, J.B.: Structures of discrete-event simulation. An introduction to the engagement strategy. Ellis Horwood, New York (1988)MATHGoogle Scholar
  5. [Fishwick 1994]
    Halbwachs, N.: Delay analysis in synchronous programs. Proceedings of Fifth Conference on Computer-Aided Verification, Lecture Notes in Computer Science 697, Springer Verlag (1993)Google Scholar
  6. [Halbwachs 1993]
    Halbwachs, N.: Delay analysis in synchronous programs. Proceedings of Fifth Conference on Computer-Aided Verification, Lecture Notes in Computer Science 697, Springer Verlag (1993)Google Scholar
  7. [Jaffar & Lassez 1987]
    Jaffar, J., Lassez, J.-L.: Constraint logic programming. Proceedings of ACM Symposium on Principles of Programming Languages, Munich, Germany (1987).Google Scholar
  8. [Kowalski 1979]
    Kowalski, R.: Logic for problem solving. Elsevier North Holland, New York (1979).MATHGoogle Scholar
  9. [Kowalski & Sergot 1986]
    Kowalski, R., Sergot, M.: A Logic-Based Calculus of Events. New Generation Computing, vol. 4 (1986).Google Scholar
  10. [Lin & Wuu 1991]
    Lin, Y.-J., Wuu, G.: A constrained approach for temporal intervals in the analysis of timed transitions. Proceedings of Protocol Specification, Testing find Verification Conference, Stockholm, Sweden (1991)Google Scholar
  11. [Misra 1986]
    Misra, J.: Distributed Discrete-Event Simulation. ACM Computing Surveys, March (1986)Google Scholar
  12. [Nance 1981]
    Nance, R.E.: The time and state relationships in simulation modeling. Communications of the ACM, April (1981)Google Scholar
  13. [Narain 1994]
    Narain, S. Reasoning about hybrid systems with symbolic simulation. Invited paper, Proceedings of 11th International Conference on Analysis and Optimization of Systems. Guy Cohen & Jean-Pierre Quadrat (eds.), Lecture Notes in Control and Information Sciences 199 (1994)Google Scholar
  14. [Narain et al. 1993]
    Narain, S., Cockings, O., Chadha, R.: A formal model of SONET’s alarm surveillance procedures and their simulation. Proceedings of FORTE: Formal Description Techniques, Boston, Massachusetts (1993).Google Scholar
  15. [Nerode & Kohn 1991]
    Nerode, A., Kohn, M.: Models for hybrid systems: automata, topologies, stability. Technical Report, Cornell University, Ithaca, New York (1991)Google Scholar
  16. [Ostroff 1991]
    Ostroff, J.: Constraint logic programming for reasoning about discrete- event systems. Journal of Logic Programming 11 (1991)Google Scholar
  17. [Radiya & Sargent 1994]
    Radiya, A., Sargent, R.: A logic-based foundation of discrete- event modeling and simulation. ACM Transactions on Modeling and Computer Simulation, January (1994)Google Scholar
  18. [Rothenberg et al. 1994]
    Rothenberg J., Stucker, J., Mattock, M., Schank, J.: Knowledge-Based Modeling for Strategic Mobility Analysis. RAND publication MR-295- JS (forthcoming).Google Scholar
  19. [Schank et al. 1994]
    Schank, J., Stucker, J., Rothenberg J., Mattock, M.: New Capabilities for Strategic Mobility Analysis: Executive Summary. RAND publication MR-294-JS (forthcoming).Google Scholar
  20. [Schruben 1983]
    Schruben, L. Simulation modeling with event graphs. Communications of the ACM, November (1983)Google Scholar
  21. [Sebuktekin 1994]
    Sebuktekin, I.: A protocol modeling and validation exercise using DMOD and symbolic simulation. Submitted for publication (1993).Google Scholar
  22. [Sekar et al. 1992]
    Sekar, R., Lin, Y.-J., Narain, S.: On modeling find reasoning about hybrid systems. Proceedings of Protocol Specification, Testing and Verification Conference (1992).Google Scholar
  23. [Shanahan 1989]
    Shanahan, M.: Representing continuous change in the event calculus. Technical report, Department of Computing, Imperial College, London (1989)Google Scholar
  24. [Suri 1987]
    Suri, R.: Infinitesimal perturbation analysis for general discrete-event dynamic systems. Journal of the ACM, July, (1987).Google Scholar
  25. [Varaiya 1993]
    Varaiya, P: Smart cars on smart roads: Problems of control. IEEE Transactions on Automatic Control, 38 (2) (1993).MathSciNetCrossRefGoogle Scholar
  26. [Zeigler 1984]
    Zeigler, B.: Multifacetted modeling and discrete-event simulation. Academic Press, New York (1984).Google Scholar

Copyright information

© Springer-Verlag New York, Inc 1995

Authors and Affiliations

  • Sanjai Narain
    • 1
  • Ritu Chadha
    • 1
  1. 1.BellcoreMorristownUSA

Personalised recommendations