{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T13:10:07Z","timestamp":1751116207229,"version":"3.41.0"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,12,8]],"date-time":"2017-12-08T00:00:00Z","timestamp":1512691200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,12,8]],"date-time":"2017-12-08T00:00:00Z","timestamp":1512691200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1035655"],"award-info":[{"award-number":["CNS-1035655"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10270-017-0646-1","type":"journal-article","created":{"date-parts":[[2017,12,8]],"date-time":"2017-12-08T20:54:06Z","timestamp":1512766446000},"page":"1637-1653","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A model-based design approach for simulation and virtual prototyping of automotive control systems using port-Hamiltonian systems"],"prefix":"10.1007","volume":"18","author":[{"given":"Siyuan","family":"Dai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenkai","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xenofon","family":"Koutsoukos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,12,8]]},"reference":[{"issue":"1","key":"646_CR1","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/9.273341","volume":"39","author":"C Byrnes","year":"1994","unstructured":"Byrnes, C., Lin, W.: Losslessness, feedback equivalence, and the global stabilization of discrete-time nonlinear systems. IEEE Trans. Autom. Control 39(1), 83\u201398 (1994)","journal-title":"IEEE Trans. Autom. Control"},{"key":"646_CR2","unstructured":"CarSim: Mechanical: Simulation. Michigan, Ann Arbor (2013)"},{"issue":"2","key":"646_CR3","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1016\/j.automatica.2006.08.014","volume":"43","author":"J Cervera","year":"2007","unstructured":"Cervera, J., van der Schaft, A., Ba\u00f1os, A.: Interconnection of port-Hamiltonian systems and composition of Dirac structures. Automatica 43(2), 212\u2013225 (2007)","journal-title":"Automatica"},{"key":"646_CR4","doi-asserted-by":"crossref","unstructured":"Costa-Castello, R., Fossas, E.: On preserving passivity in sampled-data linear systems. In: Proceedings of the 2006 American Control Conference, Minneapolis, USA, pp. 4373\u20134378 (2006)","DOI":"10.1109\/ACC.2006.1657407"},{"key":"646_CR5","unstructured":"Dai, S.: Compositional modeling and design of cyber-physical systems using port-Hamiltonian systems. Doctoral dissertation, Vanderbilt University. Retrieved from http:\/\/etd.library.vanderbilt.edu\/available\/etd-08042016-123306\/unrestricted\/Dai.pdf (2016)"},{"key":"646_CR6","doi-asserted-by":"crossref","unstructured":"Dai, S., Koutsoukos, X.: Model-based automotive control design using port-Hamiltonian systems. In: International Conference on Complex Systems Engineering (ICCSE 2015), University of Connecticut, November 9\u201310 (2015)","DOI":"10.1109\/ComplexSys.2015.7385987"},{"key":"646_CR7","doi-asserted-by":"crossref","unstructured":"Dai, S., Koutsoukos, X.: Safety analysis of automotive control systems using multi-modal port-Hamiltonian systems. In: 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2016), Vienna, Austria, April 12\u201314 (2016)","DOI":"10.1145\/2883817.2883845"},{"issue":"1","key":"646_CR8","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/JPROC.2011.2160929","volume":"100","author":"P Derler","year":"2012","unstructured":"Derler, P., et al.: Modeling cyber-physical systems. Proc. IEEE 100(1), 13\u201328 (2012)","journal-title":"Proc. IEEE"},{"key":"646_CR9","doi-asserted-by":"crossref","unstructured":"Dirksz, D., Scherpen, J.: Port-Hamiltonian and power-based integral type control of a manipulator system. In: 18th IFAC World Congress, Italy, Milan (2011)","DOI":"10.3182\/20110828-6-IT-1002.01030"},{"key":"646_CR10","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.simpat.2008.02.007","volume":"17","author":"A Donaire","year":"2009","unstructured":"Donaire, A., Junco, S.: Derivation of input-state-output port-Hamiltonian systems from bond graphs. Simul. Model. Pract. Theory 17, 137\u2013151 (2009)","journal-title":"Simul. Model. Pract. Theory"},{"key":"646_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03196-0","volume-title":"Modeling and Control of Complex Physical Systems: The Port-Hamiltonian Approach","author":"V Duindam","year":"2009","unstructured":"Duindam, V., Macchelli, A., Stramigioli, S., Bruyninckx, H.: Modeling and Control of Complex Physical Systems: The Port-Hamiltonian Approach. Springer, Berlin (2009)"},{"key":"646_CR12","doi-asserted-by":"publisher","unstructured":"Eyisi, E., Zhang, Z., Koutsoukos, X., Porter, J., Karsai, G., Sztipanovits, J.: Model-based control design and integration of cyber-physical system: an adaptive cruise control case study. J. Control Sci. Eng. 2013, 678016 (2013). https:\/\/doi.org\/10.1155\/2013\/678016","DOI":"10.1155\/2013\/678016"},{"key":"646_CR13","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S0167-6911(00)00091-8","volume":"42","author":"K Fujimoto","year":"2001","unstructured":"Fujimoto, K., Sugie, T.: Canonical transformation and stabilization of generalized Hamiltonian systems. Syst. Control Lett. 42, 217\u2013227 (2001)","journal-title":"Syst. Control Lett."},{"key":"646_CR14","doi-asserted-by":"crossref","unstructured":"Fujimoto, K., Sugie, T.: Freedom in coordinate transformation for exact linearization and its application to transient behavior improvement. In: Proceedings of the 35th IEEE Conference on Decision and Control, pp. 84\u201389 (1996)","DOI":"10.1109\/CDC.1996.574260"},{"key":"646_CR15","unstructured":"Generic Modeling Environment. http:\/\/repo.isis.vanderbilt.edu\/downloads?tool=GME"},{"key":"646_CR16","first-page":"351","volume-title":"Nonlinear and Hybrid Systems in Automotive Control","author":"G Golo","year":"2003","unstructured":"Golo, G., van der Schaft, A., Beedveld, P., Mascheke, B.: Hamiltonian formulation of bond graphs. In: Johansson, R., Rantzer, A. (eds.) Nonlinear and Hybrid Systems in Automotive Control, pp. 351\u2013372. Springer, London (2003)"},{"key":"646_CR17","first-page":"212","volume":"7","author":"R Hooke","year":"1969","unstructured":"Hooke, R., Jeeves, T.: Direct search solution of numerical and statistical problems. J. Assoc. Comput. Mach. 7, 212\u2013229 (1969)","journal-title":"J. Assoc. Comput. Mach."},{"key":"646_CR18","unstructured":"Jiyang, K.K., Kum, K., Kang, J., Sung, W.: A floating-point to fixed-point C converter for fixed-point digital signal processors. In: Second SUIF Compiler Workshop (1997)"},{"key":"646_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/JPROC.2002.805824","volume":"91","author":"G Karsai","year":"2003","unstructured":"Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated development of embedded software. Proc. IEEE 91, 1 (2003)","journal-title":"Proc. IEEE"},{"key":"646_CR20","volume-title":"Nonlinear Systems","author":"HK Khalil","year":"2002","unstructured":"Khalil, H.K.: Nonlinear Systems, 3rd edn. Prentice Hall, Upper Saddle River (2002). ISBN 0-13-067389-7","edition":"3"},{"key":"646_CR21","unstructured":"Kirschke-Biller, F.: AUTOSAR\u2014a global standard. In: 4th AUTOSAR Open Conference, Paris, France (June 11, 2012)"},{"key":"646_CR22","doi-asserted-by":"crossref","unstructured":"Lee, L.: Cyber-physical systems: design challenges. In: International Symposium on Object, Component, and Service-Oriented Real-Time Distributed Computing (ISORC), Orlando. FL, USA (2008)","DOI":"10.1109\/ISORC.2008.25"},{"key":"646_CR23","unstructured":"MATLAB, Version 7.10.0 (R2010a). The Mathworks Inc., Natick (2010)"},{"key":"646_CR24","doi-asserted-by":"crossref","unstructured":"Oishi, Y.: Passivity degradation under the discretization with the zero-order hold and the ideal sampler. In: 49th IEEE Conference on Decision and Control, December 15\u201317, Atlanta, GA, USA (2010)","DOI":"10.1109\/CDC.2010.5717886"},{"key":"646_CR25","doi-asserted-by":"publisher","first-page":"432","DOI":"10.3166\/ejc.10.432-450","volume":"10","author":"R Ortega","year":"2004","unstructured":"Ortega, R., Garcia-Canseco, E.: Interconnection and damping assignment passivity-based control: a survey. Eur. J. Control 10, 432\u2013450 (2004)","journal-title":"Eur. J. Control"},{"key":"646_CR26","doi-asserted-by":"crossref","unstructured":"Ortega, R., Jiang, Z.P., Hill, D.J.: Passivity-based control of nonlinear systems: a tutorial. In: Proceedings of the American Control Conference, Albuquerque, NM (1997)","DOI":"10.1109\/ACC.1997.611933"},{"key":"646_CR27","unstructured":"Porter, J., Hemingway, G., Nine, H., et al.: The ESMoL language and tools for high-confidence distributed control systems design\u2014part 1: language, framework, and analysis. Technical report ISIS-10-109, Vanderbilt University (2010)"},{"key":"646_CR28","doi-asserted-by":"crossref","unstructured":"Porter, J., Karsai, G., Sztipanovits, J.: Towards a time-triggered schedule calculation tool to support model-based embedded software design. In: Proceedings of the Seventh ACM International Conference on Embedded Software, Grenoble, France, October 12\u201316, pp. 167\u2013176 (2009)","DOI":"10.1145\/1629335.1629358"},{"key":"646_CR29","volume-title":"Vehicle Dynamics and Control","author":"R Rajamani","year":"2006","unstructured":"Rajamani, R.: Vehicle Dynamics and Control. Springer, Berlin (2006). ISBN:978-0-387-26396-0"},{"key":"646_CR30","doi-asserted-by":"crossref","unstructured":"Sakai, S., Stramigioli, S.: Port-Hamiltonian approaches to motion generation for mechanical systems. In: IEEE International Conference on Robotics and Automation, Rome, Italy (2007)","DOI":"10.1109\/ROBOT.2007.363607"},{"key":"646_CR31","volume-title":"Towards a Theory of Cyber-Physical Systems Modeling","author":"G Simko","year":"2013","unstructured":"Simko, G., Levendovsky, T., Maroti, M., Sztipanovits, J.: Towards a Theory of Cyber-Physical Systems Modeling. CyPhy, Philadelphia (2013)"},{"issue":"4","key":"646_CR32","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1109\/TRO.2004.842330","volume":"21","author":"S Stramigioli","year":"2005","unstructured":"Stramigioli, S., Secchi, C., van der Schaft, A.J., Fantuzzi, C.: Sampled data systems passivity and discrete port-Hamiltonian systems. IEEE Trans. Robot. 21(4), 574\u2013587 (2005)","journal-title":"IEEE Trans. Robot."},{"key":"646_CR33","doi-asserted-by":"crossref","unstructured":"Sztipanovits, J.: Composition of cyber-physical systems. In: Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Washington, DC, USA (2007)","DOI":"10.1109\/ECBS.2007.25"},{"issue":"1","key":"646_CR34","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/JPROC.2011.2161529","volume":"100","author":"J Sztipanovits","year":"2012","unstructured":"Sztipanovits, J., et al.: Toward a science of cyber-physical system integration. Proc. IEEE 100(1), 29\u201344 (2012)","journal-title":"Proc. IEEE"},{"key":"646_CR35","unstructured":"TTEthernet. http:\/\/www.tttech.com\/en\/products\/ttethernet\/"},{"key":"646_CR36","doi-asserted-by":"crossref","unstructured":"van\u00a0der Schaft, A.J., Maschke, B.M.J.: Mathematical modeling of constrained Hamiltonian systems. In: Proceedings of the Third IFAC Symposium on Nonlinear Control Systems (1995)","DOI":"10.1016\/S1474-6670(17)46900-X"},{"key":"646_CR37","unstructured":"van\u00a0der Schaft, A.: Port-Hamiltonian systems: an introductory survey. In: Proceedings of the International Congress of Mathematicians (2006)"},{"key":"646_CR38","unstructured":"van der Schaft, A.: Port-Hamiltonian systems: network modeling and control of nonlinear physical systems. In: Advanced Dynamics and Control of Structures, pp. 127\u2013167, Springer, Vienna (2004). ISBN: 978-3-7091-2774-2"},{"key":"646_CR39","unstructured":"Wu, P., McCourt, M., Antsaklis, P.J.: Experimentally determining passivity indices: theory and simulation. Technical report of the ISIS Group (2013)"},{"key":"646_CR40","doi-asserted-by":"crossref","unstructured":"Yu, H., Antsaklis, P.J.: A passivity measure of systems in cascade based on passivity indices. In: 49th IEEE Conference on Decision and Control (2010)","DOI":"10.1109\/CDC.2010.5717648"},{"key":"646_CR41","doi-asserted-by":"crossref","unstructured":"Zhang, Z., Eyisi, E., Koutsoukos, X., Porter, J., Karsai, G., Sztipanovits, J.: Co-simulation framework for design of time-triggered cyber physical systems. In: Proceedings of the ACM\/IEEE 4th International Conference on Cyber-Physical Systems, Philadelphia, PA, USA (2013)","DOI":"10.1145\/2502524.2502541"},{"issue":"4","key":"646_CR42","doi-asserted-by":"publisher","first-page":"941","DOI":"10.1109\/TAC.2008.920237","volume":"53","author":"J Zhao","year":"2008","unstructured":"Zhao, J., Hill, D.J.: Dissipativity theory for switched systems. IEEE Trans. Autom. Control 53(4), 941\u2013953 (2008)","journal-title":"IEEE Trans. Autom. Control"},{"key":"646_CR43","doi-asserted-by":"crossref","unstructured":"Zhu, F., Yu, H., McCourt, M.J., Antsaklis, P.J.: Passivity and stability of switched systems under quantization. In: Conference on Hybrid Systems Computation and Control, April 17\u201319, Beijing, China (2012)","DOI":"10.1145\/2185632.2185668"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0646-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-017-0646-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0646-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T12:47:16Z","timestamp":1751114836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-017-0646-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,8]]},"references-count":43,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["646"],"URL":"https:\/\/doi.org\/10.1007\/s10270-017-0646-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2017,12,8]]},"assertion":[{"value":"1 March 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 January 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 November 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 December 2017","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}