{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:04:21Z","timestamp":1725483861269},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441205"},{"type":"electronic","value":"9783540461357"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46135-3_34","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T05:59:47Z","timestamp":1179208787000},"page":"508-524","source":"Crossref","is-referenced-by-count":2,"title":["Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State"],"prefix":"10.1007","author":[{"given":"Brian C.","family":"Williams","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel D.","family":"Ingham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"unstructured":"Young, T., et al.: Report of the Mars Program Independent Assessment Team. NASA Tech. Rep. (March 2000)","key":"34_CR1"},{"key":"34_CR2","first-page":"971","volume-title":"Proceedings of AAAI-96","author":"B. C. Williams","year":"1996","unstructured":"Williams, B. C., Nayak, P.: A Model-Based Approach to Reactive Self-configuring Systems. In: Proceedings of AAAI-96, Vol. 2. AAAI Press, Menlo Park, CA, USA (1996) 971\u2013978"},{"key":"34_CR3","first-page":"1178","volume-title":"Proceedings of IJCAI-97","author":"B. C. Williams","year":"1997","unstructured":"Williams, B. C., Nayak, P.: A Reactive Planner for a Model-Based Executive. In: Proceedings of IJCAI-97, Vol. 2. Morgan Kaufmann, San Francisco, CA, USA (1997) 1178\u20131185"},{"unstructured":"Ingham, M., Ragno, R., Williams, B. C.: A Reactive Model-Based Programming Language for Robotic Space Explorers. In: Proceedings of IS AIR AS-01. Montreal, Canada (2001)","key":"34_CR4"},{"unstructured":"Chung, S., Van Eepoel, J., Williams, B.C.: Improving Model-Based Mode Estimation Through Offline Compilation. In: Proceedings of ISAIRAS-01. Montreal, Canada (2001)","key":"34_CR5"},{"key":"34_CR6","first-page":"487","volume-title":"Proceedings of IJCAI-01","author":"P. Kim","year":"2001","unstructured":"Kim, P., Williams, B. C., Abramson, M.: Executing Reactive Model-Based Programs Through Graph-Based Temporal Planning. In: Proceedings of IJCAI-01, Vol. 1. Morgan Kaufmann, San Francisco, CA, USA (2001) 487\u2013493"},{"key":"34_CR7","volume-title":"Proceedings of the IEEE Aerospace Conference","author":"D. Bernard","year":"1999","unstructured":"Bernard, D., et al.: Design of the Remote Agent Experiment for Spacecraft Autonomy. In: Proceedings of the IEEE Aerospace Conference. Snowmass at Aspen, CO, USA (1999)"},{"unstructured":"Ingham, M., et al.: Autonomous Sequencing and Model-Based Fault Protection for Space Interferometry. In: Proceedings of ISAIRAS-01. Montreal, Canada (2001)","key":"34_CR8"},{"unstructured":"Goodrich, C., Kurien, J., Continuous Measurements and Quantitative Constraints-Challenge Problems for Discrete Modeling Techniques. In: Proceedings of ISAIRAS-01. Montreal, Canada (2001)","key":"34_CR9"},{"issue":"2","key":"34_CR10","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Synchronous Programming Language ESTEREL: Design, Semantics, Implementation. Science of Computer Programming, Vol. 19, No. 2. (1992) 87\u2013152","journal-title":"Science of Computer Programming"},{"issue":"3","key":"34_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A Visual Formulation for Complex Systems. Science of Computer Programming, Vol. 8, No. 3. (1987) 231\u2013274","journal-title":"Science of Computer Programming"},{"key":"34_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-61604-7_48","volume-title":"Proceedings of the International Conference on Concurrency Theory (CONCUR 1996)","author":"V. Gupta","year":"1996","unstructured":"Gupta, V., Jagadeesan, R., Saraswat, V.: Models of Concurrent Constraint Programming. In: Proceedings of the International Conference on Concurrency Theory (CONCUR 1996), Lecture Notes in Computer Science, Vol. 1119. Springer-Verlag, Berlin Heidelberg (1996) 66\u201383"},{"key":"34_CR13","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R. Davis","year":"1984","unstructured":"Davis, R.: Diagnostic Reasoning Based on Structure and Behavior. Artificial Intelligence, Vol. 24. (1984) 347\u2013410","journal-title":"Artificial Intelligence"},{"key":"34_CR14","first-page":"579","volume-title":"Proceedings of IJCAI-01","author":"B.C. Williams","year":"2001","unstructured":"Williams, B.C., Chung, S., Gupta, V.: Mode Estimation of Model-Based Programs: Monitoring Systems with Complex Behavior. In: Proceedings of IJCAI-01, Vol. 1. Morgan Kaufmann, San Francisco, CA, USA (2001) 579\u2013590"},{"unstructured":"Williams, B.C., Ragno, R. J.: Conflict-Directed A* and its Role in Model-Based Embedded Systems. To appear: Journal of Discrete Applied Mathematics","key":"34_CR15"},{"doi-asserted-by":"crossref","unstructured":"Di Pierro, A., Wiklicky, H.: An Operational Semantics for Probabilistic Concurrent Constraint Programming. In: Proceedings of the International Conference on Computer Languages (ICCL 98). IEEE Computer Society Digital Library (1998) 174\u2013183","key":"34_CR16","DOI":"10.1109\/ICCL.1998.674168"},{"key":"34_CR17","first-page":"59","volume-title":"Plan Execution: Problems and Issues. Papers from the 1996 Fall Symposium","author":"E. Gat","year":"1996","unstructured":"Gat, E.: ESL: A Language for Supporting Robust Plan Execution in Embedded Autonomous Agents. In: Plan Execution: Problems and Issues. Papers from the 1996 Fall Symposium. AAAI Press, Menlo Park, CA, USA (1996) 59\u201364"},{"key":"34_CR18","volume-title":"Animate Agent Project Working Note AAP-6","author":"R. J. Firby","year":"1995","unstructured":"Firby, R. J.: The RAP Language Manual. In: Animate Agent Project Working Note AAP-6, University of Chicago. Chicago, IL, USA (March 1995)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46135-3_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T17:19:11Z","timestamp":1550337551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46135-3_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441205","9783540461357"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-46135-3_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}