{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:19:32Z","timestamp":1760548772098},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1007\/s10270-009-0116-5","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T02:24:51Z","timestamp":1236133491000},"page":"551-566","source":"Crossref","is-referenced-by-count":14,"title":["Model-based design: a report from the trenches of the DARPA Urban Challenge"],"prefix":"10.1007","volume":"8","author":[{"given":"Jonathan","family":"Sprinkle","sequence":"first","affiliation":[]},{"given":"J. Mikael","family":"Eklund","sequence":"additional","affiliation":[]},{"given":"Humberto","family":"Gonzalez","sequence":"additional","affiliation":[]},{"given":"Esten Ingar","family":"Gr\u00f8tli","sequence":"additional","affiliation":[]},{"given":"Ben","family":"Upcroft","sequence":"additional","affiliation":[]},{"given":"Alex","family":"Makarenko","sequence":"additional","affiliation":[]},{"given":"Will","family":"Uther","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Moser","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Fitch","sequence":"additional","affiliation":[]},{"given":"Hugh","family":"Durrant-Whyte","sequence":"additional","affiliation":[]},{"given":"S. Shankar","family":"Sastry","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,3,5]]},"reference":[{"key":"116_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-0348-8407-5","volume-title":"Nonlinear Model Predictive Control. Progress in Systems and Control Theory, vol. 26","author":"F. Allg\u00f6wer","year":"2000","unstructured":"Allg\u00f6wer F., Zheng A.: Nonlinear Model Predictive Control. Progress in Systems and Control Theory, vol. 26. Birkh\u00e4user Verlag, Basel (2000)"},{"issue":"12","key":"116_CR2","doi-asserted-by":"crossref","first-page":"1158","DOI":"10.2514\/1.33453","volume":"4","author":"C. Basarke","year":"2007","unstructured":"Basarke C., Berger C., Rumpe B.: Software and systems engineering process and tools for the development of autonomous driving intelligence. J. Aerosp. Comput. Inf. Commun. 4(12), 1158\u20131174 (2007)","journal-title":"J. Aerosp. Comput. Inf. Commun."},{"key":"116_CR3","unstructured":"Brooks, C., Lee, E.A., Liu, X., Neuendorffer, S., Zhao, Y., Zheng, H.: Heterogeneous concurrent modeling and design in java (Volume 1: Introduction to Ptolemy II). Technical Report UCB\/EECS-2008-28, EECS Department, University of California, Berkeley (2008)"},{"issue":"1","key":"116_CR4","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s11334-006-0015-7","volume":"3","author":"A. Dubey","year":"2007","unstructured":"Dubey A., Nordstrom S., Keskinpala T., Neema S., Bapty T., Karsai G.: Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. Innov. Syst. Softw. Eng. 3(1), 33\u201352 (2007)","journal-title":"Innov. Syst. Softw. Eng."},{"issue":"9","key":"116_CR5","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1016\/j.jprocont.2007.02.001","volume":"17","author":"J.M. Eklund","year":"2007","unstructured":"Eklund J.M., Korenberg M., McLellan P.: Nonlinear system identification and control of chemical processes using fast orthogonal search. J. Process Control 17(9), 742\u2013754 (2007)","journal-title":"J. Process Control"},{"key":"116_CR6","unstructured":"Gerkey, B., Vaughan, R.T., Howard, A.: The player\/stage project: Tools for multi-robot and distributed sensor systems. In: Proceedings of the 11th International Conference on Advanced Robotics, pp 317\u2013323. ICAR 2003"},{"issue":"12","key":"116_CR7","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.2514\/1.35050","volume":"4","author":"J. Herpin","year":"2007","unstructured":"Herpin J., Fekih A., Golconda S., Lakhotia A.: Steering control of the autonomous vehicle: Cajunbot. J. Aerosp. Comput. Inf. Commun. 4(12), 1134\u20131142 (2007)","journal-title":"J. Aerosp. Comput. Inf. Commun."},{"issue":"12","key":"116_CR8","doi-asserted-by":"crossref","first-page":"2105","DOI":"10.1016\/j.automatica.2006.07.008","volume":"42","author":"T. Keviczky","year":"2006","unstructured":"Keviczky T., Borrelli F., Balas G.J.: Decentralized receding horizon control for large scale dynamically decoupled systems. Automatica 42(12), 2105\u20132115 (2006)","journal-title":"Automatica"},{"key":"116_CR9","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/BF00204124","volume":"60","author":"M.J. Korenberg","year":"1989","unstructured":"Korenberg M.J.: A robust orthogonal algorithm for system identification and time-series analysis. Biol. Cybern. 60, 267\u2013276 (1989)","journal-title":"Biol. Cybern."},{"key":"116_CR10","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Zheng, H.: Operational semantics of hybrid systems. In: Proceedings of Hybrid Systems: Computation and Control (HSCC), LNCS, vol. 3414, pp. 25\u201353. Springer, Berlin, 2005 (Invited Paper)","DOI":"10.1007\/978-3-540-31954-2_2"},{"issue":"8","key":"116_CR11","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1109\/2.707615","volume":"31","author":"E. Long","year":"1998","unstructured":"Long E., Misra A., Sztipanovits J.: Increasing productivity at Saturn. Computer 31(8), 35\u201343 (1998)","journal-title":"Computer"},{"key":"116_CR12","unstructured":"Nebot, E.: Navigation system design. Lecture Notes, May 2005. Center of Excellence for Autonomous Systems, University of Sydney, Australia"},{"key":"116_CR13","unstructured":"Neema, S., Karsai, G.: Embedded control systems language for distributed processing. Technical Report ISIS-04-505, Vanderbilt University, Institute for Software Integrated Systems, 2004"},{"issue":"12","key":"116_CR14","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MC.2006.447","volume":"39","author":"G. Seetharaman","year":"2006","unstructured":"Seetharaman G., Lakhotia A., Blasch E.: Unmanned vehicles come of age: the DARPA Grand Challenge. Computer 39(12), 26\u201329 (2006)","journal-title":"Computer"},{"key":"116_CR15","doi-asserted-by":"crossref","unstructured":"Sharp, D.: Avionics product line software architecture flow policies. In: Proceedings of the 18th Digital Avionics Systems Conference, vol. 2, pp. 9.C.4-1\u20139.C.4-8, 1999","DOI":"10.1109\/DASC.1999.822052"},{"key":"116_CR16","doi-asserted-by":"crossref","unstructured":"Sharp, D.: Hybrid and embedded software technologies for production large-scale systems. In HSCC \u201902: Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, pp. 1\u20132. Springer, London (2002)","DOI":"10.1007\/3-540-45873-5_1"},{"issue":"2","key":"116_CR17","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s11334-005-0017-x","volume":"1","author":"J. Sprinkle","year":"2005","unstructured":"Sprinkle J., Ames A.D., Eklund J.M., Mitchell I., Sastry S.S.: Online safety calculations for glideslope recapture. Innov. Syst. Softw. Eng. 1(2), 157\u2013175 (2005)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"116_CR18","unstructured":"Sprinkle, J., Eklund, J.M., Kim, H.J., Sastry, S.: Encoding aerial pursuit\/evasion games with fixed wing aircraft into a nonlinear model predictive tracking controller. In: Conference on Decision and Control, 2004"},{"issue":"12","key":"116_CR19","doi-asserted-by":"crossref","first-page":"1086","DOI":"10.2514\/1.32839","volume":"4","author":"B. Upcroft","year":"2007","unstructured":"Upcroft B., Makarenko A., Moser M., Alempijevic A., Donikian A., Uther W., Fitch R.: Empirical evaluation of an autonomous vehicle in an urban environment. J. Aerosp. Comput. Inf. Commun. 4(12), 1086\u20131107 (2007)","journal-title":"J. Aerosp. Comput. Inf. Commun."},{"issue":"4","key":"116_CR20","doi-asserted-by":"crossref","first-page":"680","DOI":"10.1109\/TCST.2007.899172","volume":"15","author":"S. Waydo","year":"2007","unstructured":"Waydo S., Hauser J., Bailey R., Klavins E., Murray R: UAV as a reliable wingman: a flight demonstration. IEEE Trans. Control Syst. Technol. 15(4), 680\u2013688 (2007)","journal-title":"IEEE Trans. Control Syst. Technol."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0116-5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,7]],"date-time":"2019-04-07T11:40:28Z","timestamp":1554637228000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-009-0116-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,5]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,9]]}},"alternative-id":["116"],"URL":"https:\/\/doi.org\/10.1007\/s10270-009-0116-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3,5]]}}}