Influence-based model decomposition for reasoning about spatially distributed physical systems

Many important science and engineering applications, such as regulating the temperature distribution over a semi conductor wafer and controlling the noise from a photocopy machine, require interpreting distributed data and designing decentralized controllers for spatially distributed systems. Developing effective computational techniques for representing and reasoning about these systems, which are usually modeled with partial differential equations (PDEs) , is one of the major challenge problems for qualitative and spatial reasoning research.

[1]  Avi Pfeffer,et al.  Structured Representation of Complex Stochastic Systems , 1998, AAAI/IAAI.

[2]  Monika Lundell,et al.  A Qualitative Model of Physical Fields , 1996, AAAI/IAAI, Vol. 2.

[3]  Gary L. Miller,et al.  Automatic Mesh Partitioning , 1992 .

[4]  Xiaojian Liu,et al.  Genetic approach to optimal topology/controller design of adaptive structures , 1998 .

[5]  Chris Bailey-Kellogg,et al.  Spatial Aggregation: Language and Applications , 1996, AAAI/IAAI, Vol. 1.

[6]  Patrick C P Cheung,et al.  Hybrid Problems in Smart Matter Control , 1999 .

[7]  Raphael T. Haftka,et al.  Selection of actuator locations for static shape control of large space structures by heuristic integer programing , 1985 .

[8]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[9]  Tad Hogg,et al.  Market Organizations for Controlling Smart Matter , 1997 .

[10]  William H. Press,et al.  Numerical recipes in C. The art of scientific computing , 1987 .

[11]  Balakrishnan Chandrasekaran,et al.  Diagrammatic Representation and Reasoning: Some Distinctions , 1997 .

[12]  Benjamin Kuipers,et al.  Navigation and Mapping in Large Scale Space , 1988, AI Mag..

[13]  Benjamin Kuipers,et al.  Qualitative Simulation , 1986, Artificial Intelligence.

[14]  Jonathan P. How,et al.  Local control design methodologies for a hierarchic control architecture , 1991 .

[15]  O. Widlund Domain Decomposition Algorithms , 1993 .

[16]  Bill Millar,et al.  Automated Decomposition of Model-based Learning Problems , 1996 .

[17]  N. Hari Narayanan,et al.  Diagrammatic Reasoning: Cognitive and Computational Perspectives , 1995 .

[18]  Bruce Randall Donald,et al.  Programmable Force Fields for Distributed Manipulation, with Applications to MEMS Actuator Arrays and Vibratory Parts Feeders , 1999, Int. J. Robotics Res..

[19]  Henk B. Verbruggen,et al.  Artificial Intelligence in Industrial Decision Making, Control, and Automation , 1995 .

[20]  Chris Bailey-Kellogg,et al.  Influence-Based Model Decomposition , 1999, AAAI/IAAI.

[21]  Daniel P. Huttenlocher,et al.  Image segmentation using local variation , 1998, Proceedings. 1998 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (Cat. No.98CB36231).

[22]  J. E. Glynn,et al.  Numerical Recipes: The Art of Scientific Computing , 1989 .

[23]  Benjamin Kuipers,et al.  Model Decomposition and Simulation: A Component Based Qualitative Simulation Algorithm , 1997, AAAI/IAAI.

[24]  Horst D. Simon,et al.  Partitioning of unstructured problems for parallel processing , 1991 .

[25]  William H. Press,et al.  Numerical Recipes: The Art of Scientific Computing , 1987 .

[26]  Feng Zhao,et al.  An {\it bf O(N)} Algorithm for Three-Dimensional N-body Simulations , 1987 .

[27]  N. Hari Narayanan,et al.  Towards a Theory of Commonsense Visual Reasoning , 1990, FSTTCS.

[28]  Michael Athans,et al.  Survey of decentralized control methods for large scale systems , 1978 .

[29]  Bernard Meltzer,et al.  Analogical Representations of Naive Physics , 1989, Artif. Intell..

[30]  Gerald J. Sussman,et al.  Intelligence in scientific computing , 1989, CACM.

[31]  Feng Zhao,et al.  Imagistic reasoning , 1995, CSUR.

[32]  Hiroshi Furuya,et al.  Combining genetic and deterministic algorithms for locating actuators on space structures , 1996 .

[33]  Feng Zhao,et al.  Spatial Aggregation: Theory and Applications , 1996, J. Artif. Intell. Res..

[34]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[35]  Satya N. Atluri,et al.  Computational heat transfer , 1986 .

[36]  Brian Falkenhainer,et al.  Compositional Modeling: Finding the Right Model for the Job , 1991, Artif. Intell..

[37]  Feng Zhao An O(N) Algorithm for Three-dimensional N-body Simulations , 2022 .

[38]  William L. Briggs,et al.  A multigrid tutorial , 1987 .

[39]  Anthony G. Cohn,et al.  Qualitative Simulation Based on a Logical Formalism of Space and Time , 1992, AAAI.

[40]  Feng Zhao,et al.  Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces , 1991, IJCAI.

[41]  Leo Joskowicz,et al.  Computational Kinematics , 1991, Artif. Intell..

[42]  Benjamin Kuipers,et al.  A Hierarchy of Qualitative Representations for Space , 1998, Spatial Cognition.

[43]  Brian V. Funt,et al.  Problem-Solving with Diagrammatic Representations , 1980, Artif. Intell..

[44]  Gun-Shing Chen,et al.  OPTIMAL PLACEMENT OF ACTIVE/PASSIVE MEMBERS IN TRUSS STRUCTURES USING SIMULATED ANNEALING , 1991 .

[45]  Raman Rajagopalan A Model for Integrated Qualitative Spatial and Dynamic Reasoning about Physical Systems , 1994, AAAI.

[46]  Jitendra Malik,et al.  Normalized cuts and image segmentation , 1997, Proceedings of IEEE Computer Society Conference on Computer Vision and Pattern Recognition.

[47]  Chris Bailey-Kellogg,et al.  Qualitative Analysis of Distributed Physical Systems with Applications to Control Synthesis , 1998, AAAI/IAAI.

[48]  Brian W. Kernighan,et al.  An efficient heuristic procedure for partitioning graphs , 1970, Bell Syst. Tech. J..

[49]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[50]  Feng Zhao,et al.  Intelligent Simulation in Designing Complex Dynamic Control Systems , 1995 .

[51]  Charalabos C. Doumanidis,et al.  In-process control in thermal rapid prototyping , 1997 .

[52]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[53]  Anoop K. Dhingra,et al.  OPTIMAL PLACEMENT OF ACTUATORS IN ACTIVELY CONTROLLED STRUCTURES , 1994 .

[54]  Bruce Hendrickson,et al.  A Multi-Level Algorithm For Partitioning Graphs , 1995, Proceedings of the IEEE/ACM SC95 Conference.

[55]  N. Metropolis,et al.  Equation of State Calculations by Fast Computing Machines , 1953, Resonance.

[56]  T. Chan,et al.  Domain decomposition algorithms , 1994, Acta Numerica.

[57]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[58]  Kenneth D. Forbus,et al.  Qualitative Spatial Reasoning: The Clock Project , 1991, Artif. Intell..

[59]  Kenneth D. Forbus Qualitative Process Theory , 1984, Artif. Intell..

[60]  Michael P. Wellman A Market-Oriented Programming Environment and its Application to Distributed Multicommodity Flow Problems , 1993, J. Artif. Intell. Res..

[61]  M Fuchs,et al.  Optimal actuator placement with minimum worst case distortion criterion , 1995 .