Reasoning about hybrid systems with symbolic simulation

  • Sanjai Narain
Hybrid Systems
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 199)


This paper presented DMOD, a formalization of the popular discrete-event modeling and simulation technique. The paper showed how DMOD could be used to model and simulate a simple hybrid system. In particular, discrete-events, continuous time, and continuous state are all conveniently modeled. The paper also outlined a technique called symbolic simulation and showed how one could perform limited, yet useful forms of reasoning with this technique. Thus, symbolic DMOD represents a significant step beyond the discrete-event technique. The main limitation of DMOD is that one cannot reason in any straightforward way when symbolic histories are infinite. These arise in oscillating systems e.g. a room thermostat which switches heat on and off infinitely often e.g.[ACH+]. However, the building blocks for doing such reasoning are present in symbolic simulation and Prolog, and we expect to develop appropriate techniques in the near future.


Hybrid System Discrete Event Initial Event Hybrid Automaton Constraint Logic Programming 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ACH+]
    Alur, R., Courcoubetis, C., Henzinger, T., Ho, P.-H.: Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems, R. Grossman, A. Nerode, A. Ravn, H. Rischel (eds.), Lecture Notes in Computer Science 736 (1993) 209–229.Google Scholar
  2. [CA1]
    Chadha, R., Alt, D.: Analysis of ripple effect in fiber optics rings: a symbolic simulation study. Submitted for publication (1993)Google Scholar
  3. [Eva]
    Evans, J.B.: Structures of discrete-event simulation. An introduction to the engagement strategy. Ellis Horwood, New York (1988)Google Scholar
  4. [Hal]
    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
  5. [JLI]
    Jaffar, J., Lassez, J.-L.: Constraint logic programming. Proceedings of ACM Symposium on Principles of Programming Languages, Munich, Germany (1987).Google Scholar
  6. [Kow]
    Kowalski, R.: Logic for problem solving. Elsevier North Holland, New York (1979).Google Scholar
  7. [LW1]
    Lin, Y.-J., Wuu, G.: A constrained approach for temporal intervals in the analysis of timed transitions. Proceedings of Protocol Specification, Testing and Verification Conference, Stockholm, Sweden (1991)Google Scholar
  8. [NCC1]
    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
  9. [Nar1]
    Narain, S.: Symbolic Discrete-Event Simulation. Proceedings of Discrete-Event Systems Workshop, Institute of Mathematics and its Applications, University of Minnesota, Minneapolis, Minnesota (1993).Google Scholar
  10. [Ost]
    Ostroff, J.: Constraint logic programming for reasoning about discrete-event systems. Journal of Logic Programming 11 (1991)Google Scholar
  11. [Seb]
    Sebuktekin, I.: A protocol modeling and validation exercise using DMOD and symbolic simulation. Submitted for publication (1993)Google Scholar
  12. [SLN]
    Sekar, R., Lin, Y.-J., Narain, S.: On modeling and reasoning about hybrid systems. Proceedings of Protocol Specification, Testing and Verification Conference (1992).Google Scholar
  13. [Sur]
    Suri, R.: Infinitesimal perturbation analysis for general discrete-event dynamic systems. Journal of the ACM, July, (1987).Google Scholar
  14. [Var1]
    Varaiya, P: Smart cars on smart roads: Problems of control. IEEE Transactions on Automatic Control, 38(2) (1993).Google Scholar
  15. [Zei]
    Zeigler, B.: Multifacetted modeling and discrete-event simulation. Academic Press, New York (1984).Google Scholar

Copyright information

© Springer-Verlag London Limited 1994

Authors and Affiliations

  • Sanjai Narain
    • 1
  1. 1.Bellcore, 2E-260MorristownUSA

Personalised recommendations