{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T18:11:39Z","timestamp":1743099099447,"version":"3.40.3"},"publisher-location":"Heidelberg","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319011585"},{"type":"electronic","value":"9783319011592"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-01159-2_2","type":"book-chapter","created":{"date-parts":[[2013,6,29]],"date-time":"2013-06-29T11:16:29Z","timestamp":1372504589000},"page":"23-42","source":"Crossref","is-referenced-by-count":3,"title":["CPS Modeling Integration Hub and Design Space Exploration with Application to Microrobotics"],"prefix":"10.1007","author":[{"given":"Yuchen","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John S.","family":"Baras","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Austin, M.A., Baras, J.S., Kositsyna, N.I.: Combined Research and Curriculum Development in Information-Centric Systems Engineering. In: Proc. of the 12th Annual Intern. Council on Systems Engineering (INCOSE) Symposium (2002)","DOI":"10.1002\/j.2334-5837.2002.tb02526.x"},{"key":"2_CR2","unstructured":"Yang, S., Baras, J.S.: Factor Join Trees in Systems Exploration. In: Proceedings of the 23rd International Conference on Software and Systems Engineering and their Applications (ICSSEA 2011), Paris, France (2011)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Wang, B., Baras, J.S.: Integrated Modeling and Simulation Framework for Wireless Sensor Networks. In: Proceedings of the 21st IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE 2012- CoMetS track), Toulouse, France, pp. 268\u2013273 (2012)","DOI":"10.1109\/WETICE.2012.28"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Yang, S., Zhou, Y., Baras, J.S.: Compositional Analysis of Dynamic Bayesian Networks and Applications to Complex Dynamic System Decomposition. In: Proc. of the Conf. on Systems Engineering Research, CSER 2013 (2013)","DOI":"10.1016\/j.procs.2013.01.018"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Yang, S., Wang, B., Baras, J.S.: Interactive Tree Decomposition Tool for Reducing System Analysis Complexity. In: Proc. of the Conf. on Systems Engineering Research, CSER 2013 (2013)","DOI":"10.1016\/j.procs.2013.01.015"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Spyropoulos, D., Baras, J.S.: Extending Design Capabilities of SysML with Trade-off Analysis: Electrical Microgrid Case Study. In: Proc. of the Conference on Systems Engineering Research, CSER 2013 (2013)","DOI":"10.1016\/j.procs.2013.01.012"},{"key":"2_CR7","unstructured":"International Council on Systems Engineering (INCOSE): Systems Engineering Vision 2020. Version 2.03, TP-2004-004-02 (2007)"},{"key":"2_CR8","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML. The MK\/OMG Press (2009)"},{"key":"2_CR9","unstructured":"Baras, J.S.: Lecture Notes for MSSE class, ENSE 621 (2002)"},{"key":"2_CR10","volume-title":"Systems Engineering Handbook","author":"C. Haskins","year":"2011","unstructured":"Haskins, C., Forsberg, K., Krueger, M., Walden, D., Hamelin, D.: Systems Engineering Handbook. INCOSE, San Diego (2011)"},{"key":"2_CR11","unstructured":"The eMoflon team: An Introduction to Metamodelling and Graph Transformations with eMoflon, V 1.4. TU Darmsadt (2011)"},{"key":"2_CR12","unstructured":"Anjorin, A., Lauder, M., Patzina, S., Schurr, A.: eMoflon: Leveraging EMF and Professional CASE Tools. In: INFORMATIK 2011, Bonn (2011)"},{"key":"2_CR13","unstructured":"No Magic, Inc.: Open API-User Guide. Version 17.0.1 (2011)"},{"key":"2_CR14","unstructured":"Meyer, J., Ball, M., Baras, J.S., Chowdhury, A., Lin, E., Nau, D., Rajamani, R., Trichur, V.: Process Planning in Microwave Module Production. In: Proc. SIGMAN: AI and Manufacturing: State of the Art and State of Practice (1998)"},{"key":"2_CR15","unstructured":"Fan, M.K.H., Tits, A.L., Zhou, J., Wang, L.-S., Koninckx, J.: CONSOLE-User\u2019s Manual. Technical report, Un. of Maryland, Vers. 1.1 (1990)"},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/37.16753","volume":"9","author":"M.K.H. Fan","year":"1989","unstructured":"Fan, M.K.H., Wang, L.-S., Koninckx, J., Tits, A.L.: Software Package for Optimization-Based Design with User-Supplied Simulators. IEEE Control Systems Magazine\u00a09(1), 66\u201371 (1989)","journal-title":"IEEE Control Systems Magazine"},{"issue":"4","key":"2_CR17","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/37.777786","volume":"19","author":"M.B. Tischler","year":"1999","unstructured":"Tischler, M.B., Colbourne, J.D., Morel, M.R., Biezad, D.J.: A Multidisciplinary Flight Control Development Environment and its Application to a Helicopter. IEEE Control Systems Magazine\u00a019(4), 22\u201333 (1999)","journal-title":"IEEE Control Systems Magazine"},{"key":"2_CR18","unstructured":"Potter, P.J.: Parametrically Optimal Control for the UH-60A (Black Hawk) Rotorcraft in Forward Flight. MS Thesis, Un. of Maryland (1995)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Nagy, Z., Ergeneman, O., Abbott, J., Hutter, M., Hirt, A., Nelson, B.: Modeling assembled-mems microrobots for wireless magnetic control. In: Proc. of IEEE Intern. Conf. on Robotics and Automation, ICRA 2008, pp. 874\u2013879. IEEE (2008)","DOI":"10.1109\/ROBOT.2008.4543315"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Mohebbi, M.H., Terry, M.L., B\u00f6hringer, K.F., Kovacs, G.T.A., Suh, J.W.: Omnidirectional walking microrobot realized by thermal microactuator arrays. In: Proc. of 2001 ASME Intern. Mech. Engin. Congress and Exposition, pp. 1\u20137 (2001)","DOI":"10.1115\/IMECE2001\/MEMS-23824"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/JMEMS.2005.863697","volume":"15","author":"B. Donald","year":"2006","unstructured":"Donald, B., Levey, C., McGray, C., Paprotny, I., Rus, D.: An untethered, electrostatic, globally controllable mems micro-robot. Journal of Microelectromechanical Systems\u00a015, 1\u201315 (2006)","journal-title":"Journal of Microelectromechanical Systems"},{"key":"2_CR22","unstructured":"Bergbreiter, S., Pister, K.: Cotsbots: an off-the-shelf platform for distributed robotics. In: Proceedings IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2003), vol.\u00a02, pp. 1632\u20131637. IEEE (2003)"},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1109\/JMEMS.2010.2041897","volume":"19","author":"E. Erdem","year":"2010","unstructured":"Erdem, E., Chen, Y.M., Mohebbi, M., Suh, J., Kovacs, G., Darling, R., \u00d6andhringer, K.B.: Thermally actuated omnidirectional walking microrobot. Journal of Microelectromechanical Systems\u00a019, 433\u2013442 (2010)","journal-title":"Journal of Microelectromechanical Systems"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/JMEMS.2011.2174414","volume":"21","author":"W. Churaman","year":"2012","unstructured":"Churaman, W., Currano, L., Morris, C., Rajkowski, J., Bergbreiter, S.: The first launch of an autonomous thrust-driven microrobot using nanoporous energetic silicon. Journal of Microelectromechanical Systems\u00a021, 198\u2013205 (2012)","journal-title":"Journal of Microelectromechanical Systems"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1109\/TRO.2011.2172702","volume":"28","author":"J. Hiller","year":"2012","unstructured":"Hiller, J., Lipson, H.: Automatic design and manufacture of soft robots. IEEE Transactions on Robotics\u00a028, 457\u2013466 (2012)","journal-title":"IEEE Transactions on Robotics"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Fritzson, P.: Introduction to Modeling and Simulation of Technical and Physical Systems. Wiley-IEEE Press (2011)","DOI":"10.1002\/9781118094259"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Vogtmann, D.E., Gupta, S.K., Bergbreiter, S.: Multi-material compliant mechanisms for mobile millirobots. In: Proceedings 2011 IEEE International Conference on Robotics and Automation (ICRA), pp. 3169\u20133174 (2011)","DOI":"10.1109\/ICRA.2011.5980543"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Bellouard, Y.: Microrobotics: Methods and Applications. CRC Press (2010)","DOI":"10.1201\/b15819"},{"key":"2_CR29","unstructured":"Otter, M., Elmqvist, H., D\u00ed L\u00f3pez, J.: Collision Handling for the Modelica MultiBody Library. In: Proc. of the 4th Intern. Modelica Conf., pp. 45\u201353 (2005)"},{"issue":"9","key":"2_CR30","doi-asserted-by":"publisher","first-page":"95028","DOI":"10.1088\/0960-1317\/21\/9\/095028","volume":"21","author":"M. Shin","year":"2011","unstructured":"Shin, M., Gerratt, A.P., Metallo, C., Brindle, A., Kierstead, B.P., White, R.D.: Characterization of a micromachined parylene-based thermal c-shape actuator. Journal of Micromechanics and Microengineering\u00a021(9), 095028 (2011)","journal-title":"Journal of Micromechanics and Microengineering"},{"key":"2_CR31","unstructured":"Schamai, W.: Modelica Modeling Language (ModelicaML): A UML Profile for Modelica. Tech. Rep. 2009:5, Link\u00f6ping University, Department of Computer and Information Science (2009)"},{"key":"2_CR32","unstructured":"Dymola libraries flexbody | claytex, \n                      http:\/\/www.claytex.com\/products\/dymola\/model-libraries\/flexbody-library"},{"key":"2_CR33","unstructured":"CATIA systems engineering, \n                      http:\/\/www.3ds.com\/products\/catia\/solutions\/catia-systems-engineering"},{"key":"2_CR34","unstructured":"SysML-Modelica Transformation (SyM), \n                      http:\/\/www.omg.org\/spec\/SyM\/1.0"}],"container-title":["Lecture Notes in Control and Information Sciences","Control of Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-01159-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T17:41:42Z","timestamp":1674495702000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-01159-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319011585","9783319011592"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-01159-2_2","relation":{},"ISSN":["0170-8643","1610-7411"],"issn-type":[{"type":"print","value":"0170-8643"},{"type":"electronic","value":"1610-7411"}],"subject":[],"published":{"date-parts":[[2013]]}}}