Constructive models of discrete and continuous physical phenomena

IEEE Access

Volumn 2, Issue , 2014, Pages 797-821

  Lee, Edward A ^a,b  

^a IEEE   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Cyber physical systems; Modeling; Simulation

Indexed keywords

DELTA FUNCTIONS; EMBEDDED SYSTEMS; MODELS; SEMANTICS; UNCERTAINTY ANALYSIS;

COMPUTATIONAL COSTS; CONSTRUCTIVE SEMANTICS; CYBER PHYSICAL SYSTEMS (CPSS); DIRAC DELTA FUNCTION; GENERALIZED FUNCTIONS; MODEL AND SIMULATION; RIGID BODY COLLISION; SIMULATION;

COMPUTER SIMULATION;

EID: 84923318833     PISSN: None     EISSN: 21693536     Source Type: Journal    
DOI: 10.1109/ACCESS.2014.2345759     Document Type: Article

References (57)

1. R. Alur et al., "The algorithmic analysis of hybrid systems," Theoretical Comput. Sci., vol. 138, no. 1, pp. 3-34, 1995.
2. R. Alur and T. A. Henzinger, "Logics and models of real time: A survey," in Proc. REX Workshop Mook, Jun. 1991, pp. 74-106.
3. C. André, "SyncCharts: A visual representation of reactive behaviors," Univ. Sophia-Antipolis, Sophia-Antipolis, France, Tech. Rep. RR 96-56, Apr. 1996.
4. J. R. Armstrong and F. G. Gray, VHDL Design Representation and Synthesis, 2nd ed. Englewood Cliffs, NJ, USA: Prentice-Hall, 2000.
5. F. P. Beer and E. R. Johnston, Jr., Vector Equations for Engineers: Dynamics, 6th ed. New York, NY, USA: McGraw-Hill, 1996.
6. A. Benveniste and G. Berry, "The synchronous approach to reactive and real-time systems," Proc. IEEE, vol. 79, no. 9, pp. 1270-1282, Sep. 1991.
7. A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, "Non-standard semantics of hybrid systems modelers," J. Comput. Syst. Sci., vol. 78, no. 3, pp. 877-910, 2012.
8. A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, "Index theory for hybrid DAE systems," in Proc. Synchron. Program. (Synchron), Schloss Dagstuhl, Germany, 2013.
9. G. Berry. (1999). The Constructive Semantics of Pure Esterel, 3rd ed. [Online], Available: http://www-sop.inria.fr/meije/esterel/doc/main-papers.html
10. S. Bliudze and S. Furic, "An operational semantics for hybrid systems involving behavioral abstraction," in Proc. 10th Int. Modelica Conf., Lund, Sweden, Mar. 2014, pp. 693-706.
11. G. E. P. Box and N. R. Draper, Empirical Model-Building and Response Surfaces (Probability and Statistics). New York, NY, USA: Wiley, 1987.
12. J. Cardoso, E. A. Lee, J. Liu, and H. Zheng, "Continuous-time models," in System Design, Modeling, and Simulation Using Ptolemy II, C. Ptolemaeus, Ed. Berkeley, CA, USA: Ptolemy, 2014.
13. A. Cataldo, E. A. Lee, X. Liu, E. Matsikoudis, and H. Zheng, "A constructive fixed-point theorem and the feedback semantics of timed systems," in Proc. Workshop Discrete Event Syst. (WODES), Ann Arbor, MI, USA, 2006.
14. A. Chatterjee and A. Ruina, "A new algebraic rigid body collision law based on impulse space considerations," J. Appl. Mech., vol. 65, no. 4, pp. 939-951, 1998.
15. B. A. Davey and H. A. Priestly, Introduction to Lattices and Order, 2nd ed. Cambridge, U.K.: Cambridge Univ. Press, 2002.
16. S. A. Edwards and E. A. Lee, "The semantics and execution of a synchronous block-diagram language," Sci. Comput. Program., vol. 48, no. 1, pp. 21-42, 2003.
17. K. Erleben, J. Sporring, K. Henriksen, and H. Dohlmann, Physics-Based Animation. Hingham, MA, USA: Charles River Media, 2005.
18. T. H. Feng, E. A. Lee, X. Liu, S. Tripakis, H. Zheng, and Y. Zhou, "Modal models," in System Design, Modeling, and Simulation Using Ptolemy II, C. Ptolemaeus, Ed. Berkeley, CA, USA: Ptolemy, 2014.
19. C. Glockner, "Scalar force potentials in rigid multibody systems," in Multi-body Dynamics With Unilateral Contacts (CISM Courses and Lectures), vol. 421, F. Pfeiffer and C. Glockner, Eds. New York, NY, USA: Springer-Verlag, 2000.
20. S. W. Golomb, "Mathematical models: Uses and limitations," IEEE Trans. Rel., vol. R-20, no. 3, pp. 130-131, Aug. 1971.
21. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, "The synchronous data flow programming language LUSTRE," Proc. IEEE, vol. 79, no. 9, pp. 1305-1319, Sep. 1991.
22. D. Harel, "Statecharts: A visual formalism for complex systems," Sci. Comput. Program., vol. 8, no. 3, pp. 231-274, Jun. 1987.
23. Y. Iwasaki, A. Farquhar, V. Saraswat, D. Bobrow, and V. Gupta, "Modeling time in hybrid systems: How fast is 'instantaneous'?" in Proc. Int. Workshop Qual. Reasoning, Amsterdam, The Netherlands, 1995, pp. 1773-1780.
24. A. Kapur, "Interval and point-based approaches to hybrid systems verification," Ph.D. dissertation, Dept. Comput. Sci., Stanford Univ., Stanford, CA, USA, 1997.
25. E. A. Lee, "Modeling concurrent real-time processes using discrete events," Ann. Softw. Eng., vol. 7, pp. 25-45, Oct. 1999.
26. E. A. Lee, S. Neuendorffer, and M. J. Wirthlin, "Actor-oriented design of embedded hardware and software systems," J. Circuits, Syst., Comput., vol. 12, no. 3, pp. 231-260, Jun. 2003.
27. E. A. Lee and A. Sangiovanni-Vincentelli, "A framework for comparing models of computation," IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 17, no. 12, pp. 1217-1229, Dec. 1998.
28. E. A. Lee and S. A. Seshia, Introduction to Embedded Systems - A Cyber-Physical Systems Approach. Berkeley, CA, USA: LeeSeshia, 2011.
29. E. A. Lee and S. Tripakis, "Modal models in Ptolemy," in Proc. 3rd Int. Workshop Equation-Based Object-Oriented Model. Lang. Tools (EOOLT), vol. 47. Oslo, Norway, 2010, pp. 11-21.
30. E. A. Lee and P. Varaiya, Structure and Interpretation of Signals and Systems, 2nd ed. Berkeley, CA, USA: LeeVaraiya, 2011.
31. E. A. Lee and H. Zheng, "Operational semantics of hybrid systems," in Proc. 8th Int. Workshop Hybrid Syst., Comput. Control (HSCC), Zurich, Switzerland, Mar. 2005, pp. 25-53.
32. E. A. Lee and H. Zheng, "Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems," in Proc. EMSOFT, Salzburg, Austria, 2007, pp. 114-123.
33. T. Lindstrøm, "An invitation to nonstandard analysis," in Nonstandard Analysis and Its Applications, N. Cutland, Ed. Cambridge, U.K.: Cambridge Univ. Press, 1988, pp. 1-105.
34. J. Liu and E. A. Lee, "On the causality of mixed-signal and hybrid models," in Proc. 6th Int. Workshop Hybrid Syst., Comput. Control (HSCC), Prague, Czech Republic, 2003.
35. O. Maler, Z. Manna, and A. Pnueli, "From timed to hybrid systems," in Real-Time: Theory and Practice. New York, NY, USA: Springer-Verlag, 1992, pp. 447-484.
36. S. Malik, "Analysis of cyclic combinational circuits," IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 13, no. 7, pp. 950-956, Jul. 1994.
37. L. I. Mandelshtam and I. E. Tamm, "The uncertainty relation between energy and time in nonrelativistic quantum mechanics," J. Phys., vol. 9, no. 4, pp. 249-254, 1945.
38. Z. Manna and A. Pnueli, "Verifying hybrid systems," in Hybrid Systems (Lecture Notes in Computer Science), vol. 736. Berlin, Germany: Springer-Verlag, 1993, pp. 4-35.
39. M. Mendler, T. R. Shiple, and G. Berry, "Constructive Boolean circuits and the exactness of timed ternary simulation," Formal Methods in System Design, vol. 40, no. 3, pp. 283-329, 2012.
40. P. J. Mosterman and G. Biswas, "Modeling discontinuous behavior with hybrid bond graphs," in Proc. 9th Qual. Reasoning Workshop, Amsterdam, The Netherlands, 1995, pp. 139-147.
41. P. J. Mosterman and G. Biswas, "A theory of discontinuities in physical system models," J. Franklin Inst., vol. 335, no. 3, pp. 401-439, 1998.
42. P. J. Mosterman, G. Simko, and J. Zande, "A hyperdense semantic domain for discontinuous behavior in physical system models," in Proc. Multi-Paradigm Model. (MPM), 2013.
43. L. W. Nagel and D. O. Pederson, "SPICE (simulation program with integrated circuit emphasis)," Dept. EECS, Univ. California, Berkeley, CA, USA, Tech. Rep. UCB/ERL M382, Apr. 1973.
44. J. D. Norton, "Causation as folk science," in Causation, Physics, and the Constitution of Reality, H. Price and R. Corry, Eds. Oxford, U.K.: Clarendon, 2007, pp. 11-44.
45. P. Nuzzo et al., "A contract-based methodology for aircraft electric power system design," IEEE Access, vol. 2, pp. 1-25, Jan. 2014.
46. M. Otter, H. Elmqvist, and J. D. López, "Collision handling for the Modelica multibody library," in Proc. 4th Int. Modelica Conf., Hamburg, Germany, 2005, pp. 45-53.
47. M. Otter, M. Malmheden, H. Elmqvist, S. E. Mattsson, and C. Johnsson, "A new formalism for modeling of reactive and hybrid systems," in Proc. 7th Int. Modelica Conf., Como, Italy, 2009.
48. C. C. Pantelides, "The consistent initialization of differential-algebraic systems," SIAM J. Sci. Statist. Comput., vol. 9, no. 2, pp. 213-231, 1988.
49. H. M. Paynter, Analysis and Design of Engineering Systems. Cambridge, MA, USA: MIT Press, 1961.
50. H. Price and R. Corry, Eds., Causation, Physics, and the Constitution of Reality. Oxford, U.K.: Clarendon, 2007.
51. C. Ptolemaeus, Ed., System Design, Modeling, and Simulation Using Ptolemy II. Berkeley, CA, USA: Ptolemy, 2014.
52. W. Schamai, U. Pohlmann, P. Fritzson, C. J. Paredis, P. Helle, and C. Strobel, "Execution of UML state machines using Modelica," in Proc. 3rd Int. Workshop Equation-Based Object-Oriented Model. Lang. Tools (EOOLT), vol. 47. Oslo, Norway, 2010, pp. 1-10.
53. T. R. Shiple, G. Berry, and H. Touati, "Constructive analysis of cyclic circuits," in Proc. Eur. Conf. Design Test (DATE), Mar. 1996, pp. 328-333.
54. D. E. Stewart, "Rigid-body dynamics with friction and impact," SIAM Rev., vol. 42, no. 1, pp. 3-39, 2000.
55. W. J. Stronge, "Rigid body collisions with friction," Proc. Roy. Soc. London, vol. 431, no. 1881, pp. 169-181, 1990.
56. J. Sztipanovits, D. M. Wilkes, G. Karsai, C. Biegl, and L. E. Lynd, Jr., "The multigraph and structural adaptivity," IEEE Trans. Signal Process., vol. 41, no. 8, pp. 2695-2716, Aug. 1993.
57. M. M. Tiller, Introduction to Physical Modeling With Modelica. Boston, MA, USA: Kluwer, 2001.