A component-based approach to modeling and simulating mixed-signal and hybrid systems

ACM Transactions on Modeling and Computer Simulation

Volumn 12, Issue 4, 2002, Pages 343-368

  Liu, Jie ^a,b   Lee, Edward A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b PALO ALTO RESEARCH CENTER   (United States)

Author keywords

Actors oriented design; Component based modeling; Hierarchical heterogeneity; Hybrid systems; Mixed signal systems; Ptolemy II; Simulation

Indexed keywords

ACTORS-ORIENTED DESIGN; COMPONENT-BASED MODELING; HIERARCHIAL HETEROGENEITY; HYBRID SYSTEMS; MIXED-SIGNAL SYSTEMS; POTOLEMY II;

COMPUTER SIMULATION; FINITE AUTOMATA; HIERARCHICAL SYSTEMS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; OPERATIONS RESEARCH; ORDINARY DIFFERENTIAL EQUATIONS; SOFTWARE ENGINEERING;

SYSTEMS ANALYSIS;

EID: 1942537327     PISSN: 10493301     EISSN: None     Source Type: Journal    
DOI: 10.1145/643120.643125     Document Type: Review

References (30)

1. AGHA, G. A. 1986. ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, Mass.
2. ALEXANDER, P., KAMATH, R., AND BARTON, D. 2000. System specification in Rosetta. In Proceedings of IEEE Engineering of Computer-Based Systems Symposium. IEEE (Edinburgh, UK), 299-307.
3. ANTSAKLIS, P., KOHN, W., NERODE, A., AND SASTRY, S. 1995. Hybrid Systems II. In Lecture Notes in Computer Science, vol. 999, Springer-Verlag, Heidelberg.
4. BAJAJ, S., BRESLAU, L., ESTRIN, D., FALL, K., FLOYD, S., HALDAR, P., HANDLEY, M., HELMY, A., HEIDEMANN, J., HUANG, P., KUMAR, S., MCCANNE, S., REJAIE, R., SHARMA, P., VARADHAN, K., XU, Y., YU, H., AND ZAPPALA, D. 1999. Improving simulation for network research. Tech. Rep. 99-702b, University of Southern California. March.
5. BAKALAR, K. AND CHRISTEN, E. 1999. VHDL 1076.1: Analog and mixed signal extensions for VHDL. Tech. Rep., IEEE.
6. BARKER, D. 2000, Requirements modeling technology: A vision for better, faster, and cheaper systems. In Proceedings of the VHDL International Users Forum Fall Workshop (VIUF'00). IEEE (Orlando, FL), 3-6.
7. BRANICKY, M. S. 1995. Studies in hybrid systems: Modeling, analysis, and control. Ph.D. thesis, Laboratory of Information and Decision, MIT, Cambridge, Mass.
8. CALLIER, F. M. AND DESOER, C. A. 1991. Linear System Theory. Springer-Verlag, Germany.
9. CANDY, J. C. 1974. A use of limit cycle oscillations to obtain robust analog-to-digital converters. IEEE Trans. Commun. COM-2, 3, 298-305.
10. CHANG, W.-T., HA, S., AND LEE, E. A. 1997. Heterogeneous simulation-mixing discrete-event models with dataflow. J. VLSI Signal Process. 15, 1 (Jan.), 127-144.
11. CHO, D. AND HEDRICK, J. 1989. Automotive powertrain modeling for control. ASME J. Dynamic Syst. Meas. Control 111, 4 (Dec.), 568-576.
12. DAVIS, J., HYLANDS, C., KIENHUIS, B., LEE, E., LIU, J., LIU, X., MULIADI, L., NEUENDORFFER, S., TSAY, J., VOGEL, B., AND XIONG, Y. 2001. Ptolemy II: Heterogeneous concurrent modeling and design in Java. Tech. Rep. UCB/ERL M01/12, EECS, University of California, Berkeley.
13. EKER, J., JANNECK, J., LEE, E., LIU, J., LIU, X., LUDVIG, J., NEUENDORFFER, S., SACHS, S., AND XIONG, Y. 2003. Taming heterogeneity, the Ptolemy approach. Proceedings IEEE 91, 1 (Jan.).
14. ELMQVIST, H., CELLIER, F., AND OTTER, M. 1993. Object-oriented modeling of hybrid systems. In Proceedings of ESS'93, SCS European Simulation Symposium (Delft, The Netherlands), xxxi-xli.
15. GIRAULT, A., LEE, B., AND LEE, E. A. 1999. Hierarchical finite state machines with multiple con-currency models. IEEE Trans. Comput. Aid. Des. Integ. Circ. Syst. 18, 6 (June), 742-760.
16. GUPTA, V., JAGADEESAN, R., AND SARASWAT, V. 1998. Computing with continuous change. Sci. Comput. Program. 30, 1-2 (Jan.), 3-49.
17. HARMAN, T. AND DABNEY, J. 2001. Mastering Simulink 4. Prentice Hall, Englewood Cliffs, N.J.
18. HENZINGER, T. 1996. The theory of hybrid automata. In Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science (LICS 1996), IEEE Computer Society Press, New Brunswick, N.J., 278-292.
19. JHA, V. AND BAGRODIA, R. 2000. Simultaneous events and lookahead in simulation protocols. ACM Trans. Model. Comput. Simul. 10, 3 (July), 241-267.
20. LAMBERT, J. 1991, Numerical Methods for Ordinary Differential Systems: The Initial Value Problems. Wiley, New York.
21. LEE, E. A. 1999. Modeling concurrent real-time processes using discrete events. Ann. Softw. Eng. 7, 1-4, 25-45.
22. LEE, E. A. 2000. What's ahead for embedded software? IEEE Computer 33, 9 (Sept.), 18-26.
23. LEMKIN, M. A. 1997. Micro accelerometer design with digital feedback control. Ph.D. thesis, University of California, Berkeley.
24. LIU, J., JEFFERSON, S., AND LEE, E. 2001. Motivating hierarchical run-time models in measurement and control systems. In Proceedings of the 2001 American Control Conference (ACC01) (Arlington, VA), 3457-3462.
25. MATTSSON, S. AND ANDERSSON, M. 1993. Omola - an object-oriented modeling language. In Recent Advances in Computer-Aided Control Systems Engineering, M. Jamshidi and C. Herget, Eds., North-Holland, Amsterdam, 291-310.
26. MOSTERMAN, P. 1999. An overview of hybrid simulation phenomena and their support by simulation packages. In Hybrid Systems: Computation and Control (HSCC99), Lecture Notes in Computer Science, vol. 1569, F. W. Vaandrager and J. H. van Schuppen, Eds. Springer-Verlag, New York, 165-177.
27. MOSTERMAN, P. AND VANGHELUWE, H. 2000. Computer automated multi-paradigm modeling in control system design. In Proceedings of the 2000 IEEE International Symposium on Computer-Aided Control Systems Design (Anchorage, AK), 65-70.
28. SENTURIA, S. 1998. CAD challenges for microsensors, microactuators, and microsystems. Proceedings IEEE 86, 8 (Aug.), 1611-1626.
29. TILLER, M. 2001. Introduction to Physical Modeling with Modelica. Kluwer Academic, Reading, Mass.
30. TOMLIN, C. 1998. Hybrid control of air traffic management systems. Ph.D. thesis, University of California, Berkeley.