Model-based computing: Developing flexible machine control software

Artificial Intelligence

Volumn 114, Issue 1-2, 1999, Pages 157-202

  Fromherz, Markus P J ^a   Saraswat, Vijay A ^b   Bobrow, Daniel G ^a  

^a PALO ALTO RESEARCH CENTER   (United States)

^b AT AND T LABS RESEARCH   (United States)

Author keywords

Constraint programming; Control; Model based reasoning; Modeling; Scheduling

Indexed keywords

EID: 0003767273     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(99)00066-1     Document Type: Article

References (53)

1. AAAI, Proc. AAAI-90 Workshop on Model Based Reasoning, Boston, MA, 1990.
2. R. Al-Aomar, D. Cook, Modeling at the machine-control level using discrete event simulation (DES), in: Proc. 1998 Conference on Winter Simulation, 1998, pp. 927-934.
3. ARPA, DSSA Workshops, CMU SEI, twice yearly.
4. J. Banks, J. Carson, B. Nelson, Discrete-Event System Simulation, Prentice-Hall, Englewood Cliffs, NJ, 1995.
5. C. Bloch, Source-to-source tranformations of logic programs, Report CS84-22, Weizmann Institute of Science, Rehovot, Israel, 1984.
6. D.G. Bobrow, B. Falkenhainer, A. Farquhar, R. Fikes, K.D. Forbus, T. Gruber, Y. Iwasaki, B. Kuipers, A compositional modeling language, in: Y. Iwasaki, A. Farquhar (Eds.), Proc. 10th Internat. Workshop on Qualitative Reasoning (QR-96), TR WS-96-01, AAAI Press, Menlo Park, CA, 1996, pp. 12-21.
7. D.G. Bobrow, V.A. Saraswat, V. Gupta, Automatic construction of digital controllers/device drivers for electro-mechanical systems using component models, US Patent No. 5,831,853, 1998.
8. G. Booch, Object-Oriented Analysis and Design with Applications, Benjamin/Cummings, 1994.
9. B. Chandrasekaran, R. Milne (Eds.), Special section on reasoning about structure, behavior and function, Sigart Newsletter 93 (1985) 4-55.
10. R. Davis, Diagnostic reasoning based on structure and behavior, Artificial Intelligence 24 (1-3) (1984) 347-410.
11. S. Etalle, M. Gabbrielli, Partial evaluation of concurrent constraint languages, in: Proc. Symposium on Partial Evaluation, ACM Computing Surveys, 1998.
12. S. Etalle, M. Gabbrielli, M.C. Meo, Transformation of CCP programs, in: Proc. CONCUR-98, Lecture Notes in Computer Science, Vol. 1466, Springer, Berlin, 1998.
13. B. Falkenhainer, K.D. Forbus, Compositional modeling: Finding the right model for the job, Artificial Intelligence 51 (1-3) (1991) 95-143.
14. K.D. Forbus, Qualitative process theory, Artificial Intelligence 24 (1984) 85-168.
15. K.D. Forbus, Qualitative physics: Past, present, and future, in: D.S. Weld, J. de Kleer (Eds.), Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, San Mateo, CA, 1990, Chapter 1, pp. 11-39.
16. E.C. Freuder, A sufficient condition for backtrack-free search, J. ACM 29 (1) (1982) 24-32.
17. M.P.J. Fromherz, Towards declarative debugging of concurrent constraint programs, in: P.A. Fritzson (Ed.), Proc. First Internat. Workshop on Automated and Algorithmic Debugging (AADEBUG-93), Lecture Notes in Computer Science, Vol. 749, Springer, Berlin, 1993, pp. 88-100.
18. M.P.J. Fromherz, Method for automatically deriving print engine capabilities for incremental scheduling from compositional print engine models, US Patent No. 5,771,339, 1998.
19. M.P.J. Fromherz, B. Carlson, Optimal incremental and anytime scheduling, in: P. Lim, J. Jourdan (Eds.), Proc. Workshop on Constraint Languages/Systems and their Use in Problem Modelling at ILPS-94, ECRC, TR 94-38, 1993, pp. 45-59.
20. M.P.J. Fromherz, J.H. Conley, Issues in reactive constraint solving, in: Proc. Workshop on Concurrent Constraint Programming for Time Critical Applications - COTIC-97, CP-97, 1997.
21. M.P.J. Fromherz, V Gupta, V.A. Saraswat, CC - A generic framework for domain specific languages, in: Proc. POPL Workshop on Domain Specific Languages, 1997.
22. M. Gabbrielli, G. Levi, Unfolding and fixpoint semantics of concurrent constraint logic programs, in: H. Kirchner, W. Wechler (Eds.), Second Internat. Conference on Algebraic and Logic Programming, Nancy, France, Lecture Notes in Computer Science, Vol. 463, Springer, Berlin, 1990, pp. 204-216.
23. E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns - Elements of Reusable Object-Oriented Software, Addison-Wesley, Reading, MA, 1994.
24. L. Getoor, G. Ottosson, M.P.J. Fromherz, B. Carlson, Effective redundant constraints for online scheduling, in: Proc. AAAI-97, Providence, RI, MIT Press, Cambridge, MA, 1997, pp. 302-307.
25. C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezze, A unified high-level Petri net formalism for time critical systems, IEEE Trans. Software Engineering 17 (2) (1991) 160-172.
26. R. Giacobazzi, S.K. Debray, G. Levi, Generalized semantics and abstract interpretation for constraint logic programs, J. Logic Programming 25 (3) (1995) 191-248.
27. V. Gupta, R. Jagadeesan, V.A. Saraswat, Computing with continuous change, Sci. Comput. Programming 30 (1-2) (1998) 3-50.
28. V. Gupta, P. Struss, Modeling a copier paper path: A case study in modeling transportation processes, in: Proc. 9th Internat. Workshop on Qualitative Reasoning, 1995.
29. T.H. Hickey, D.A. Smith, Toward the partial evaluation of CLP languages, in: Partial Evaluation and Semantics-Based Program Manipulation, New Haven, CT (Sigplan Notices 26 (9) (1991)), ACM, 1991, pp. 43-51.
30. P. Jeavons, D. Cohen, M. Gyssens, A test for tractability, in: Proc. Constraint Programming 1996 (CP-96), Lecture Notes in Computer Science, Vol. 1118, Springer, Berlin, 1996, pp. 267-281.
31. P. Jeavons, M. Cooper, Tractable constraints on ordered domains, Artificial Intelligence 79 (2) (1995) 327-399.
32. R. Kapadia, M.P.J. Fromherz, Design optimization with uncertain application knowledge, in: Proc. IEA/AIE-97, Marietta, GA, 1997.
33. H.J. Komorowski, A specification of an abstract Prolog machine and its application to partial evaluation, Ph.D. Thesis, Linköping University, Sweden, 1981 (Linköping Studies in Science and Technology Dissertations 69).
34. B. Kuipers, Qualitative simulation, in: D.S. Weld, J. de Kleer (Eds.), Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, San Mateo, CA, 1990, Chapter 2, pp. 236-260.
35. C.M. Low, Y. Iwasaki, Device modeling environment: An interactive environment for modeling device behavior, Intelligent Systems Engineering 1 (2) (1993) 115-145.
36. A.K. Mackworth, Consistency in networks of relations, Artificial Intelligence 8 (1988) 99-118.
37. J. Peterson (Ed.), Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ, 1981.
38. P. Prosser, I. Buchanan, Intelligent scheduling: Past, present, and future, Intelligent Systems Engineering 3 (2) (1994) 67-78.
39. D. Sahlin, An automatic partial evaluator for full Prolog, Ph.D. Thesis, The Royal Institute of Technology and Swedish Institute of Computer Science (TRITA-TCS-9101, SICS Dissertation Series 04), Stockholm, Sweden, 1991.
40. T. Sakao, Y. Umeda, T. Tomiyama, Y. Shimomura, Model-based automatic generation of sequence control programs from design information, in: Proc. 10th Internat. Workshop on Qualitative Reasoning, 1996, pp. 206-215.
41. V.A. Saraswat, Concurrent Constraint Programming Languages, Logic Programming Series, MIT Press, Cambridge, MA, 1993.
42. V.A. Saraswat, D.G. Bobrow, M.P.J. Fromherz, T.G. Lindholm, P.C. Berlandier, J.H. Conley, Print sequence scheduling system for duplex printing apparatus, US Patent No. 5,504,568, 1996.
43. V.A. Saraswat, R. Jagadeesan, V. Gupta, Programming in timed concurrent constraint languages, in: B. Mayoh, E. Tyugu, J. Penjam (Eds.), Constraint Programming, NATO Advanced Science Institute Series, Series F: Computer and System Sciences, Springer, Berlin, 1993.
44. E.Y. Shapiro, Algorithmic Program Debugging, ACM Distinguished Dissertation Series, MIT Press, Cambridge, MA, 1982.
45. D.A. Smith, Partial evaluation of pattern matching in constraint logic programming languages, in: Partial Evaluation and Semantics-Based Program Manipulation, New Haven, CT (Sigplan Notices 26 (9) (1991)), ACM, 1991, pp. 62-71.
46. B.S. Vaidyanathan, D.M. Miller, Y.H. Park, Application of discrete event in production scheduling, in: Proc. 1998 Conference on Winter Simulation, 1998, pp. 965-972.
47. P. Van Hentenryck, Scheduling and packing in the constraint language cc(FD), in: M. Zweben, M.S. Fox (Eds.), Intelligent Scheduling, Morgan Kaufmann, San Francisco, CA, 1994, Chapter 5, pp. 137-167.
48. P. Van Hentenryck, T. Le Provost, Incremental search in constraint logic programming, New Generation Computing 9 (3/4) (1991) 257-275.
49. F.M. Varejao, M.P.J. Fromherz, A.C. Bicharra Garcia, C.S. de Souza, An integrated framework for the specification and design of reprographic machines, in: Proc. 13th Internat. Conference on Applications of Artificial Intelligence in Engineering (AIENG-98), Computational Mechanics Publications, Galway, Ireland, 1998.
50. R. Venken, A Prolog meta-interpreter for partial evaluation and its application to source to source transformation and query-optimisation, in: T. O'Shea (Ed.), ECAI-84, Pisa, Italy, Advances in Artificial Intelligence, North-Holland, Amsterdam, 1984, pp. 91-100.
51. D.S. Weld, J. de Kleer, Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, San Mateo, CA, 1990.
52. B.C. Williams, P.P. Nayak, Immobile robots: AI in the new millenium, AI Magazine 17 (3) (1996) 16-35.
53. M. Zweben, M.S. Fox (Eds.), Intelligent Scheduling, Morgan Kaufmann, San Francisco, CA, 1994.