{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:37:39Z","timestamp":1761323859303,"version":"3.41.0"},"reference-count":46,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["MURI FA9550-06-0312"],"award-info":[{"award-number":["MURI FA9550-06-0312"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-1035655 and CCF-0820088"],"award-info":[{"award-number":["CNS-1035655 and CCF-0820088"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","award":["ARO W911NF-10-1-005"],"award-info":[{"award-number":["ARO W911NF-10-1-005"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CNS-1035655 and CCF-0820088"],"award-info":[{"award-number":["CNS-1035655 and CCF-0820088"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2012,12]]},"abstract":"<jats:p>The integration of physical systems through computing and networking has become pervasive, a trend now known as cyber-physical systems (CPS). Functionality in CPS emerges from the interaction of networked computational and physical objects. System design and integration are particularly challenging because fundamentally different physical and computational design concerns intersect. The impact of these interactions is the loss of compositionality which creates tremendous challenges. The key idea in this article is to use passivity for decoupling the control design of networked systems from uncertainties such as time delays and packet loss, thus providing a fundamental simplification strategy that limits the complexity of interactions. The main contribution is the application of the approach to an experimental case study of a networked multi-robot system. We present a networked control architecture that ensures the overall system remains stable in spite of implementation uncertainties such as network delays and data dropouts, focusing on the technical details required for the implementation. We describe a prototype domain-specific modeling language and automated code generation tools for the design of networked control systems on top of passivity that facilitate effective system configuration, deployment, and testing. Finally, we present experimental evaluation results that show decoupling of interlayer interactions.<\/jats:p>","DOI":"10.1145\/2362336.2362342","type":"journal-article","created":{"date-parts":[[2013,1,11]],"date-time":"2013-01-11T15:42:48Z","timestamp":1357918968000},"page":"1-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A passivity approach for model-based compositional design of networked control systems"],"prefix":"10.1145","volume":"11","author":[{"given":"Xenofon","family":"Koutsoukos","sequence":"first","affiliation":[{"name":"Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN"}]},{"given":"Nicholas","family":"Kottenstette","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN"}]},{"given":"Joseph","family":"Hall","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN"}]},{"given":"Emeka","family":"Eyisi","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN"}]},{"given":"Heath","family":"Leblanc","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN"}]},{"given":"Joseph","family":"Porter","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN"}]},{"given":"Janos","family":"Sztipanovits","sequence":"additional","affiliation":[{"name":"Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN"}]}],"member":"320","published-online":{"date-parts":[[2013,1]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_2_1_1_1","DOI":"10.1177\/027836499201100204"},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_1","DOI":"10.1109\/JPROC.2006.887291"},{"doi-asserted-by":"publisher","key":"e_1_2_1_3_1","DOI":"10.1109\/TAC.2007.902733"},{"volume-title":"Architecture analysis and design language (AADL). Tech. rep. AS5506","author":"AS-2 Embedded Computing Systems Committee","unstructured":"AS-2 Embedded Computing Systems Committee . 2004. Architecture analysis and design language (AADL). Tech. rep. AS5506 , Society of Automotive Engineers . AS-2 Embedded Computing Systems Committee. 2004. Architecture analysis and design language (AADL). Tech. rep. AS5506, Society of Automotive Engineers.","key":"e_1_2_1_4_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_5_1","DOI":"10.1016\/j.automatica.2008.05.018"},{"doi-asserted-by":"publisher","key":"e_1_2_1_6_1","DOI":"10.1109\/JPROC.2006.887290"},{"doi-asserted-by":"publisher","key":"e_1_2_1_7_1","DOI":"10.1109\/MC.2003.1193228"},{"unstructured":"Bao J. and Lee P. L. 2007. Process Control : The Passive Systems Approach. Springer-Verlag.  Bao J. and Lee P. L. 2007. Process Control : The Passive Systems Approach. Springer-Verlag.","key":"e_1_2_1_8_1"},{"volume-title":"Proceedings of the 47th IEEE Conference on Decision and Control. 4608--4613","author":"Bhave A.","unstructured":"Bhave , A. and Krogh , B . 2008. Performance bounds on state-feedback controllers with network delay . In Proceedings of the 47th IEEE Conference on Decision and Control. 4608--4613 . Bhave, A. and Krogh, B. 2008. Performance bounds on state-feedback controllers with network delay. In Proceedings of the 47th IEEE Conference on Decision and Control. 4608--4613.","key":"e_1_2_1_9_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_10_1","DOI":"10.1109\/9.867021"},{"doi-asserted-by":"publisher","key":"e_1_2_1_11_1","DOI":"10.1109\/TCST.2007.903397"},{"key":"e_1_2_1_12_1","volume-title":"Robot Control: From Everyday Physics to Human-Like Movements, 107--134.","author":"Chopra N.","year":"2006","unstructured":"Chopra , N. and Spong , M . 2006 . Passivity-based control of multi-agent systems. In Advances in Robot Control: From Everyday Physics to Human-Like Movements, 107--134. Chopra, N. and Spong, M. 2006. Passivity-based control of multi-agent systems. In Advances in Robot Control: From Everyday Physics to Human-Like Movements, 107--134."},{"unstructured":"Corke P. I. 2002. Robotic toolbox for Matlab Release 7.1. Tech. rep. CSIRO.  Corke P. I. 2002. Robotic toolbox for Matlab Release 7.1. Tech. rep. CSIRO.","key":"e_1_2_1_13_1"},{"volume-title":"Introduction to Robotics: Mechanics and Control","author":"Craig J. J.","unstructured":"Craig , J. J. 1989. Introduction to Robotics: Mechanics and Control . Addison-Wesley . Craig, J. J. 1989. Introduction to Robotics: Mechanics and Control. Addison-Wesley.","key":"e_1_2_1_14_1"},{"unstructured":"Crustcrawler.com. 2009. Dynamixel AX-12 Manual. http:\/\/www.crustcrawler.com\/products\/bioloid\/docs\/AX-12.pdf.  Crustcrawler.com. 2009. Dynamixel AX-12 Manual. http:\/\/www.crustcrawler.com\/products\/bioloid\/docs\/AX-12.pdf.","key":"e_1_2_1_15_1"},{"volume-title":"Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB '09)","author":"Eyisi E.","unstructured":"Eyisi , E. , Porter , J. , Hall , J. , Kottenstette , N. , Koutsoukos , X. , and Sztipanovits , J . 2009. PaNeCS: A modeling language for passivity-based design of networked control systems . In Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB '09) . 27--41. Eyisi, E., Porter, J., Hall, J., Kottenstette, N., Koutsoukos, X., and Sztipanovits, J. 2009. PaNeCS: A modeling language for passivity-based design of networked control systems. In Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB '09). 27--41.","key":"e_1_2_1_16_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_17_1","DOI":"10.1109\/PROC.1986.13458"},{"doi-asserted-by":"publisher","key":"e_1_2_1_18_1","DOI":"10.1137\/060655110"},{"doi-asserted-by":"crossref","unstructured":"Haddad W. M. and Chellaboina V. S. 2008. Nonlinear Dynamical Systems and Control: A Lyapunov-Based Approach. Princeton University Press Princeton NJ.  Haddad W. M. and Chellaboina V. S. 2008. Nonlinear Dynamical Systems and Control: A Lyapunov-Based Approach. Princeton University Press Princeton NJ.","key":"e_1_2_1_19_1","DOI":"10.1515\/9781400841042"},{"doi-asserted-by":"publisher","key":"e_1_2_1_20_1","DOI":"10.1109\/JPROC.2006.887288"},{"doi-asserted-by":"publisher","key":"e_1_2_1_21_1","DOI":"10.1162\/pres.16.5.532"},{"doi-asserted-by":"publisher","key":"e_1_2_1_22_1","DOI":"10.1016\/j.automatica.2009.04.016"},{"doi-asserted-by":"crossref","unstructured":"Hudak J. and Feiler P. 2007. Developing AADL models for control systems: A practitioner's guide. Tech. rep. CMU\/SEI-2007-TR-014 CMU SEI.  Hudak J. and Feiler P. 2007. Developing AADL models for control systems: A practitioner's guide. Tech. rep. CMU\/SEI-2007-TR-014 CMU SEI.","key":"e_1_2_1_23_1","DOI":"10.21236\/ADA472931"},{"doi-asserted-by":"publisher","key":"e_1_2_1_24_1","DOI":"10.1016\/j.automatica.2007.02.018"},{"doi-asserted-by":"publisher","key":"e_1_2_1_25_1","DOI":"10.1109\/JPROC.2002.805824"},{"volume-title":"Proceedings of the American Control Conference. 409--416","author":"Kottenstette N.","unstructured":"Kottenstette , N. and Antsaklis , P . 2010. Relationships between positive real, passive dissipative, & positive systems . In Proceedings of the American Control Conference. 409--416 . Kottenstette, N. and Antsaklis, P. 2010. Relationships between positive real, passive dissipative, & positive systems. In Proceedings of the American Control Conference. 409--416.","key":"e_1_2_1_26_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_27_1","DOI":"10.1504\/IJSCC.2011.039868"},{"doi-asserted-by":"publisher","key":"e_1_2_1_28_1","DOI":"10.1109\/RTSS.2008.14"},{"volume-title":"Proceedings of the 7th International Conference on Control and Automation (ICCA'09)","author":"Kottenstette N.","unstructured":"Kottenstette , N. and Porter , J . 2009. Digital passive attitude and altitude control schemes for quadrotor aircraft . In Proceedings of the 7th International Conference on Control and Automation (ICCA'09) . Kottenstette, N. and Porter, J. 2009. Digital passive attitude and altitude control schemes for quadrotor aircraft. In Proceedings of the 7th International Conference on Control and Automation (ICCA'09).","key":"e_1_2_1_29_1"},{"volume-title":"Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics (ICINCO '10)","author":"LeBlanc H.","unstructured":"LeBlanc , H. , Eyisi , E. , Kottenstette , N. , Koutsoukos , X. , and Sztipanovits , J . 2010. A passivity-based approach to deployment in multi-agent networks . In Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics (ICINCO '10) . 53--62. LeBlanc, H., Eyisi, E., Kottenstette, N., Koutsoukos, X., and Sztipanovits, J. 2010. A passivity-based approach to deployment in multi-agent networks. In Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics (ICINCO '10). 53--62.","key":"e_1_2_1_30_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_31_1","DOI":"10.5555\/619069.621837"},{"volume-title":"Proceedings of the Workshop on Intelligent Signal Processing.","author":"Ledeczi A.","unstructured":"Ledeczi , A. , Maroti , M. , Bakay , A. , Karsai , G. , Garrett , J., IV, C. T. , Nordstrom , G. , Sprinkle , J. , and Volgyesi , P . 2001b. The generic modeling environment . In Proceedings of the Workshop on Intelligent Signal Processing. Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J., IV, C. T., Nordstrom, G., Sprinkle, J., and Volgyesi, P. 2001b. The generic modeling environment. In Proceedings of the Workshop on Intelligent Signal Processing.","key":"e_1_2_1_32_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_33_1","DOI":"10.1109\/3516.653048"},{"doi-asserted-by":"publisher","key":"e_1_2_1_34_1","DOI":"10.1109\/87.987076"},{"doi-asserted-by":"publisher","key":"e_1_2_1_35_1","DOI":"10.1109\/TAC.2004.834107"},{"doi-asserted-by":"publisher","key":"e_1_2_1_36_1","DOI":"10.1109\/TAC.2009.2014930"},{"doi-asserted-by":"publisher","key":"e_1_2_1_37_1","DOI":"10.1177\/0278364904045563"},{"unstructured":"Oppenheim A. Willsky A. and Nawab S. 1997. Signals and Systems. Prentice hall Upper Saddle River NJ.   Oppenheim A. Willsky A. and Nawab S. 1997. Signals and Systems. Prentice hall Upper Saddle River NJ.","key":"e_1_2_1_38_1"},{"volume-title":"Proceedings of the 27th IEEE Conference on Decision and Control. 1575--84","author":"Ortega R.","unstructured":"Ortega , R. and Spong , M . 1988. Adaptive motion control of rigid robots: A tutorial . In Proceedings of the 27th IEEE Conference on Decision and Control. 1575--84 . Ortega, R. and Spong, M. 1988. Adaptive motion control of rigid robots: A tutorial. In Proceedings of the 27th IEEE Conference on Decision and Control. 1575--84.","key":"e_1_2_1_39_1"},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the Workshops and Symposia at MoDELS. Lecture Notes in Computer Science","volume":"5421","author":"Porter J.","unstructured":"Porter , J. , Karsai , G. , Volgyesi , P. , Nine , H. , Humke , P. , Hemingway , G. , Thibodeaux , R. , and Sztipanovits , J . 2008. Towards model-based integration of tools and techniques for embedded control system design, verification, and implementation . In Proceedings of the Workshops and Symposia at MoDELS. Lecture Notes in Computer Science , vol. 5421 , Springer. Porter, J., Karsai, G., Volgyesi, P., Nine, H., Humke, P., Hemingway, G., Thibodeaux, R., and Sztipanovits, J. 2008. Towards model-based integration of tools and techniques for embedded control system design, verification, and implementation. In Proceedings of the Workshops and Symposia at MoDELS. Lecture Notes in Computer Science, vol. 5421, Springer."},{"doi-asserted-by":"publisher","key":"e_1_2_1_41_1","DOI":"10.1109\/TAC.2005.844177"},{"unstructured":"SIRSLab. 2009. Haptik library overview. http:\/\/sirslab.dii.unisi.it\/haptiklibrary\/overview.htm.  SIRSLab. 2009. Haptik library overview. http:\/\/sirslab.dii.unisi.it\/haptiklibrary\/overview.htm.","key":"e_1_2_1_42_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_43_1","DOI":"10.1109\/TAC.2008.2010998"},{"doi-asserted-by":"publisher","key":"e_1_2_1_44_1","DOI":"10.1109\/TRO.2004.842330"},{"volume-title":"L2-Gain and Passivity in Nonlinear Control","author":"van der Schaft A.","unstructured":"van der Schaft , A. 1999. L2-Gain and Passivity in Nonlinear Control . Springer-Verlag , Berlin, Germany . van der Schaft, A. 1999. L2-Gain and Passivity in Nonlinear Control. Springer-Verlag, Berlin, Germany.","key":"e_1_2_1_45_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_46_1","DOI":"10.1109\/87.998034"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362336.2362342","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2362336.2362342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:16Z","timestamp":1750277656000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362336.2362342"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":46,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["10.1145\/2362336.2362342"],"URL":"https:\/\/doi.org\/10.1145\/2362336.2362342","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2012,12]]},"assertion":[{"value":"2009-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-05-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}