Efficient modeling of linear circuits to perform qualitative reasoning tasks

AI Communications

Volumn 13, Issue 2, 2000, Pages 125-134

  Flores, Juan J ^a,b   Cerda, Jaime ^a  

^a UNIVERSIDAD MICHOACANA DE SAN NICOLÁS DE HIDALGO   (Mexico)

^b NONE   (Mexico)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; CONSTRAINT THEORY; DATA STRUCTURES; DECISION THEORY; ELECTRIC NETWORK ANALYSIS; ELECTRIC NETWORK SYNTHESIS; INTEGRATED CIRCUIT LAYOUT; LINEAR INTEGRATED CIRCUITS; PARALLEL ALGORITHMS;

QUALITATIVE REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0033666621     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (23)

1. P.M. Anderson, Computer Methods in Power System Analysis, Iowa State University Press, 1973.
2. J.A. Bondy and U.S.R. Murty, Graph Theory with Applications, American Elsevier, New York, 1976.
3. W.E. Boyce and R.C. DiPrima, Elementary Differential Equations, second edition, John Wiley, New York, 1969.
4. R. Davis, Diagnostic reasoning based on structure and behavior, Artificial Intelligence 24 (1984), 347-410.
5. J. de Kleer, How circuits work, Artificial Intelligence 24 (1984), 205-280.
6. C. Desoer and E.S. Kuh, Basic Circuit Theory, McGraw-Hill, 1969.
7. J.J. Flores and A.M. Farley, Qualitative phasor analysis, in: Proc. 10th Int. Workshop on Qualitative Reasoning About Physical Systems, Fallen Leaf Lake, CA, 1996.
8. J.J. Flores, Reasoning about linear circuits in sinusoidal steady state, PhD thesis, University of Oregon, August, 1997.
9. J.J. Flores, Complex fans: A representation for vectors in polar form with interval attributes, ACM Transactions on Mathematical Software 25 (1999), 129-156.
10. J.J. Flores, Reasoning about circuts: A model-based approach, AICOM, Special Issue on Model/Based Reasoning, 1999.
11. K.D. Forbus, Modeling motion with qualitative process theory, in: Proc 2nd National Conf. on Artificial Intelligence (AAAI-82), 1982, pp. 205-208.
12. M.R. Genesereth, The use of design descriptions in automated diagnosis, Artificial Intelligence 24 (1984), 411-436.
13. J.J. Grainger and W.D. Stevenson, Power System Analysis, McGraw-Hill, New York, 1994.
14. W.C. Hamscher, Modeling digital circuits for troubleshooting, Artificial Intelligence 51 (1991), 223-271.
15. R.B. Kerr, Electrical Network Science, Prentice-Hall, Englewood Cliffs, NJ, 1977.
16. B.J. Kuipers, The limits of a qualitative simulation, in: Proc. 9th Int. Joint Conf. on Artificial Intelligence (IJCAI-85), Morgan Kaufmann, San Mateo, CA, 1985, pp. 128-136.
17. J. Mauss, Local analysis of linear networks by aggregation of characteristic lines, in: Proc. 9th International Workshop on Principles of Diagnosis (Dx98), Cape Cod, Massachusetts, USA, 1998.
18. D.W.C. Shen, Generalized star and mesh transformations, Philosophical Magazine and Journal of Science 38(7) (1947), 267-2757(2).
19. R. Stallman and G.J. Sussman, Forward reasoning and dependency-directed backtracking in a system for computer-aided analysis, Artificial Intelligence 9 (1977), 135-196.
20. G.J. Sussman and G.L. Steele, CONSTRAINTS: a language for expressing almost-hierarchical descriptions, Artificial Intelligence 14 (1980), 1-39.
21. W. Shepherd and P. Zand, Energy Flow and Power Factor in Nonsinusoidal Circuits, Cambridge University Press, Cambridge, MA, 1979.
22. A.K. Walton, Network Analysis and Practice, Cambridge University Press, Cambridge, MA, 1987.
23. B.C. Williams, Qualitative analysis of MOS circuits, Artificial Intelligence 24 (1984), 281-346.