{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:31:54Z","timestamp":1752460314228,"version":"3.41.2"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"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":["Constraints"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1023\/a:1009705224515","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T17:50:41Z","timestamp":1040579441000},"page":"83-86","source":"Crossref","is-referenced-by-count":9,"title":["Constraint-Based Design of Embedded Intelligent Systems"],"prefix":"10.1007","volume":"2","author":[{"given":"Alan K.","family":"Mackworth","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"132408_CR1","doi-asserted-by":"crossref","unstructured":"Barman, R. A., Kingdon, S. J., Little, J. J., Mackworth, A. K., Pai, D. K., Sahota, M., Wilkinson, H., & Zhang, Y. (1993). DYNAMO: Real-time experiments with multiple mobile robots. In Intelligent Vehicles.86 A.K. MACKWORTH Symposium, pages 261\u2013266, Tokyo.","DOI":"10.1109\/IVS.1993.697333"},{"key":"132408_CR2","unstructured":"Horswill, I. D. & Brooks, R. A. (1988). Situated vision in a dynamic world: Chasing objects. In AAAI-88, pages 796\u2013800, St. Paul, MN."},{"key":"132408_CR3","first-page":"1","volume-title":"Computer Vision: Systems, Theory, and Applications","author":"A. K. Mackworth","year":"1993","unstructured":"Mackworth, A. K. (1993). On seeing robots. In Basu, A. and Li, X., editors, Computer Vision: Systems, Theory, and Applications, pages 1\u201313. World Scientific Press, Singapore."},{"key":"132408_CR4","first-page":"249","volume-title":"Proc.Artificial Intelligence 94","author":"M. Sahota","year":"1994","unstructured":"Sahota, M. & Mackworth, A. K. (1994). Can situated robots play soccer? In Proc.Artificial Intelligence 94, pages 249\u2013254, Banff, Alberta."},{"key":"132408_CR5","doi-asserted-by":"crossref","unstructured":"Zhang, Y. & Mackworth, A. K. (1994a). Specification and verification of constraint-based dynamic systems. In Borning, A., editor, Principles and Practice of Constraint Programming, number 874 in Lecture Notes in Computer Science, pages 229\u2013242. Springer-Verlag.","DOI":"10.1007\/3-540-58601-6_104"},{"key":"132408_CR6","first-page":"255","volume-title":"Proc.Artificial Intelligence 94","author":"Y. Zhang","year":"1994","unstructured":"Zhang, Y. & Mackworth, A. K. (1994b). Will the robot do the right thing? In Proc.Artificial Intelligence 94, pages 255\u2013262, Banff, Alberta."},{"key":"132408_CR7","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0304-3975(94)00149-D","volume":"138","author":"Y. Zhang","year":"1995","unstructured":"Zhang, Y. & Mackworth, A. K. (1995a). Constraint Nets: A semantic model for hybrid dynamic systems. Theoretical Computer Science, 138:211\u2013239.","journal-title":"Theoretical Computer Science"},{"key":"132408_CR8","first-page":"49","volume-title":"Principles and Practice of Constraint Programming","author":"Y. Zhang","year":"1995","unstructured":"Zhang, Y. & Mackworth, A. K. (1995b). Constraint programming in constraint nets. In V. Saraswat and P. Van Hentenryck, editor, Principles and Practice of Constraint Programming, chapter 3, pages 49\u201368. The MIT Press, Cambridge, MA."},{"key":"132408_CR9","doi-asserted-by":"crossref","unstructured":"Zhang, Y. & Mackworth, A. K. (1995c). Synthesis of hybrid constraint-based controllers. In Antsaklis, P., Kohn, W., Nerode, A., and Sastry, S., editors, Hybrid Systems II, Lecture Notes in Computer Science 999, pages 552\u2013567. Springer Verlag.","DOI":"10.1007\/3-540-60472-3_28"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009705224515.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009705224515\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009705224515.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T03:39:20Z","timestamp":1752377960000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009705224515"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["132408"],"URL":"https:\/\/doi.org\/10.1023\/a:1009705224515","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}