On the causality of mixed-signal and hybrid models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2623, Issue , 2003, Pages 328-342

  Liu, Jie ^a   Lee, Edward A ^b  

^a PALO ALTO RESEARCH CENTER   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FIXED POINT ARITHMETIC; HYBRID SYSTEMS; TOPOLOGY;

BANACH FIXED-POINT THEOREM; DISCRETE MODELS; FEED-BACK LOOP; MATHEMATICAL TOOLS; METRIC SPACES; SIMULATION TECHNOLOGIES; THEORETICAL FOUNDATIONS; TIME MARCHING;

COMPUTATION THEORY;

EID: 35248846974     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36580-x_25     Document Type: Article

References (16)

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-292
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-63
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.
4. van der Schaft, A., Schumacher, J.: Complementarity modeling of hybrid systems. IEEE Transactions on Automatic Control 43 (1998) 483-490
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-242
6. Benveniste, A.: Compositional and uniform modeling of hybrid systems. IEEE Transactions on Automatic Control 43 (1998) 579-584
7. IEEE 1076.1 Working Group: VHDL 1076.1-1999: Analog and mixed-signal extensions to VHDL (1999)
8. Harman, T.L., Dabney, J.B.: Mastering Simulink 4. Prentice Hall (2001)
9. Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Transactions on CAD 17 (1998) 1217-1229
10. Lee, E.A.: Modeling concurrent real-time processes using discrete events. Annals of Software Engineering 7 (1999) 25-45
11. Royden, H.: Real Analysis. 3rd edn. Prentice Hall, Englewood Cliffs, NJ (1988)
12. Sastry, S.: Nonlinear Systems, Analysis, Stability and Control. Springer-Verlag (1999)
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)
14. Bryant, V.: Metric Spaces. Cambridge University Press (1985)
15. Johansson, K., Egerstedt, M., Lygeros, J., Sastry, S.: On the regularization of Zeno hybrid automata. Systems, and Control Letters 38 (1999) 141-150
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-100