On the Causality of Mixed-Signal and Hybrid Models

  • Jie Liu
  • Edward A. Lee
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2623)

Abstract

This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cantor metric, which maps timed signals, continuous or discrete, into a metric space, we define causality as contractive properties of processes operating on these signals. Thus, the Banach fixed point theorem can be applies to establish conditions for the existence, uniqueness, and liveness of the behaviors for mixed-signal and hybrid systems. The results also provide theoretical foundations for the simulation technologies for such systems, including the time-marching strategy, evaluation of feedback loops, and the necessity of supporting rollback.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS). IEEE Computer Society Press (1996) 278–292Google Scholar
  2. 2.
    Bornot, S., Sifakis, J.: On the composition of hybrid systems. In: Hybrid Systems: Computation and Control, HSCC’98, Berkeley, CA, April, 1998. Volume 1386 of Lecture Notes in Computer Science. Springer (1998) 49–63Google Scholar
  3. 3.
    Lygeros, J., Johansson, K.H., Simic, S.N., Zhang, J., Sastry, S.: Dynamical properties of hybrid automata. IEEE Transactions on Automatic Control 48 (2003), to appear.Google Scholar
  4. 4.
    van der Schaft, A., Schumacher, J.: Complementarity modeling of hybrid systems. IEEE Transactions on Automatic Control 43 (1998) 483–490MATHCrossRefGoogle Scholar
  5. 5.
    Lemmon, M.: On the existence of solutions to controlled hybrid automata. In: Hybrid Systems: Computation and Control, HSCC’00, Pittsburgh, PA, USA, March, 2000. Volume 1790 of Lecture Notes in Computer Science. Springer (2000) 229-242CrossRefGoogle Scholar
  6. 6.
    Benveniste, A.: Compositional and uniform modeling of hybrid systems. IEEE Transactions on Automatic Control 43 (1998) 579–584MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    IEEE 1076.1 Working Group: VHDL 1076.1-1999: Analog and mixed-signal extensions to VHDL (1999)Google Scholar
  8. 8.
    Harman, T.L., Dabney, J.B.: Mastering Simulink 4. Prentice Hall (2001)Google Scholar
  9. 9.
    Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Transactions on CAD 17 (1998) 1217–1229Google Scholar
  10. 10.
    Lee, E.A.: Modeling concurrent real-time processes using discrete events. Annals of Software Engineering 7 (1999) 25–45CrossRefGoogle Scholar
  11. 11.
    Royden, H.: Real Analysis. 3rd edn. Prentice Hall, Englewood Cliffs, NJ (1988)MATHGoogle Scholar
  12. 12.
    Sastry, S.: Nonlinear Systems, Analysis, Stability and Control. Springer-Verlag (1999)Google Scholar
  13. 13.
    Zhang, J., Johansson, K.H., Lygeros, J., Sastry, S.: Dynamical systems revisited: Hybrid systems with Zeno executions. In Krogh, B., Lynch, N., eds.: Hybrid Systems: Computation and Control, LNCS 1790. Springer-Verlag (2000)CrossRefGoogle Scholar
  14. 14.
    Bryant, V.: Metric Spaces. Cambridge University Press (1985)Google Scholar
  15. 15.
    Johansson, K., Egerstedt, M., Lygeros, J., Sastry, S.: On the regularization of Zeno hybrid automata. Systems and Control Letters 38 (1999) 141–150MATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Liu, J., Lee, E.A.: Component-based hierarchical modeling of systems with continuous and discrete dynamics,. In: IEEE Symposium on Computer-Aided Control System Design (CACSD’00), Anchorage, Alaska, USA. (2000) 95–100Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Jie Liu
    • 1
  • Edward A. Lee
    • 2
  1. 1.Palo Alto Research CenterPalo Alto
  2. 2.Department of EECSUniversity of CaliforniaBerkeley

Personalised recommendations