Stanislav Funiak, Lars
J. Blackmore and Brian C. Williams August 2004. "Gaussian Particle
Filtering for Concurrent Hybrid Models with Autonomous Transitions,"
submitted to Journal of Artificial Intelligence Research. [Paper
PDF]
M. W. Hofbaur and B. C. Williams. "Hybrid Estimation of Complex
Systems." Accepted for publication in IEEE Transactions on Systems,
Man, and Cybernetics - Part B: Cybernetics, 2004.
Brian C. Williams, Michel
Ingham, Seung Chung, Paul Elliott, and Michael Hofbaur. "Model-based
Programming of Fault-Aware Systems." AI Magazine, vol. 24,
no. 4, Winter 2004, pp. 61-75. [Paper PDF]
Brian C. Williams, Michel
Ingham, Seung H. Chung, and Paul H. Elliott. January 2003. “Model-based
Programming of Intelligent Embedded Systems and Robotic Space Explorers,"
invited paperin Proceedings of the IEEE: Special Issue
on Modeling and Design of Embedded Software, vol. 9, no. 1, pp. 212-237.
[View abstract][Paper
PDF]
Brian
C. Williams, and Robert Ragno. January 2003. “Conflict-directed
A* and its Role in Model-based Embedded Systems," to appear in the
Special Issue on Theory and Applications of Satisfiability Testing, accepted
in Journal of Discrete Applied Math. [View
abstract]
Nicola
Muscettola, P. Pandurang Nayak, Barney Pell, and Brian C. Williams. August
1998. "Remote Agent: To Boldly Go Where No AI System Has Gone Before."
Artificial Intelligence 103(1-2):5-48. [View abstract][Paper (338k)]
Barney
Pell, Douglas E. Bernard, Steven A. Chien, Erann Gat, Nicola Muscettola,
P. Pandurang Nayak, Michael D. Wagner, and Brian C. Williams. March 1998.
"An Autonomous Spacecraft Agent Prototype." Autonomous Robots
5(1).
Brian
C. Williams and P. Pandurang Nayak. Fall 1996. "Immobile Robots:
Artificial Intelligence in the New Millenium." Cover article of AI
Magazine. 17(3):16-35. [View abstract][Paper PS (769k)][Paper PDF (269k)]
Brian
C. Williams and Jonathan Cagan. 1996. "Activity Analysis: Simplifying
Optimal Design Problems Through Qualitative Partitioning." In the
International Journal of Engineering Optimization., 27:109-137. (also
in Proceedings of the ASME Conference on Design Theory and Methodology,
1995).
Brian
C. Williams et al. 1992. "Narrow Views, Old Tasks and New Beginnings."
Computational Intelligence. 8:210-215.
Brian
C. Williams. 1991. "A Theory of Interactions: Unifying Qualitative
and Quantitative Algebraic Reasoning." Artificial Intelligence.
51:39-94.
Brian
C. Williams and Johan de Kleer. 1991. "Qualitative Reasoning about
Physical Systems: A Return to Roots." Artificial Intelligence.
51:1-10.
Johan
de Kleer and Brian C. Williams. 1987. "Diagnosing Multiple Faults."
Artificial Intelligence. 32:100-117. Also in Readings in Non-Monotonic
Reasoning, Ginsberg ed., Morgan Kaufman, 372-388, 1987; and in Readings
in Model-based Diagnosis, Hamscher et al. ed., Morgan Kaufman, 100-117,
1992. [Paper (2.3M)]
Brian C. Williams. 1985.
"The Qualitatative Analysis of MOS Circuits." Artificial
Intelligence. 24:281-346.
I-hsiang Shu, Robert Effinger, and Brian Williams, "Enabling Fast Flexible Planning Through Incremental Temporal Reasoning with Conflict Extraction," in Proceedings of the 15th International Conference on Automated Planning and Scheduling, Monterey, CA, June 2005. [Paper pdf]
T. Mahtab, G. Sullivan, and B. C. Williams. "Automated Verification
of Model-based Programs Under Uncertainty." To appear in Proceedings
of the 4th International Conference on Intelligent Systems Design and
Application, August 2004. [Paper
pdf]
M. Sachenbacher and B. Williams. "On-demand Bound Computation for
Best-first Constraint Optimization." Submitted to the Tenth International
Conference on Principles and Practice of Constraint Programming (CP'04),
Toronto, Canada, 2004. [Paper pdf]
M. Sachenbacher and B. Williams. "Diagnosis as Semiring-based Constraint
Optimization." To appear in Proceeedings of the 16th European
Conference on Artificial Intelligence (ECAI'04), Valencia, Spain,
2004. [ECAI Paper pdf]
L. Fesq, M. Ingham, M. Pekala, J. Van Eepoel, D. Watson, and B. Williams.
"Model-Based Autonomy for the Next Generation of Robotic Spacecraft,"
in Proceedings of the 53rd International Astronautical Congress,
Houston, TX, October 2002. [Paper
pdf]
Williams, B.C. and Ingham, M.D., "Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State", 8th International Conference on Principles and Practice of Constraint Programming (CP-02) , Ithaca, NY, September 2002. [Paper PDF]
M. Hofbaur and B.C. Williams. "Mode Estimation of Probabilistic
Hybrid Systems," in International Conference on Hybrid Systems,
Computation and Control, 2002. [Paper
pdf]
Brian C. Williams, Michael
Hofbaur and Tom Jones. "Mode Estimation of Probabilistic Hybrid Systems."
AI Memo, 2002. [Paper PDF
(179)]
Phil Kim, Brian C. Williams
and Mark Abramson. 2001. "Executing Reactive, Model-based Programs
through Graph-based Temporal Planning." Proceedings of the International
Joint Conference on Artificial Intelligence, Seattle, Wa. [View
abstract][Paper PDF (321k)][Paper PS (5,509k)]
Brian
C. Williams, Seung Chung, Vineet Gupta. 2001. "Mode Estimation of
Model-based Programs: Monitoring Systems with Complex Behavior."
Proceedings of the International Joint Conference on Artificial Intelligence,
Seattle, Wa. [View abstract][Paper PDF (134k)][Paper PS (283k)]
Chung,
S., J. Van Eepoel and B.C. Williams, “Improving Model-based Mode
Estimation through Offline Compilation.” Int.Symp.
on Artificial Intelligence, Robotics and Automation in Space, St-Hubert,
Canada, June 2001. [Abstract
PDF (41k)][Paper PDF (151k)]
Ingham, M., R. Ragno and
B.C. Williams, “A Reactive Model-based Programming
Language for Robotic Space Explorers.” Int.Symp. on Artificial Intelligence, Robotics and Automation in Space,
St-Hubert, Canada, June 2001. [Paper
PDF (160k)]
Williams, B.C., P. Kim, M.
Hofbaur, J. How, J. Kennell, J. Loy, R. Ragno, J. Stedl and A. Walcott,
“Model-based Reactive Programming of Cooperative Vehicles for Mars
Exploration.” Int.Symp. on Artificial Intelligence, Robotics and Automation in Space,
St-Hubert, Canada, June 2001. [Abstract
PDF (60k)][Paper PDF (340k)]
Chien, S., R. Sherwood, M.
Burl, R. Knight, G. Rabideau, B. Engelhardt, A. Davies, P. Zetocha, R.
Wainright, P. Klupar, P. Cappelaere, D. Surka, B.C. Williams, R. Greeley,
V. Baker and J. Doan, “The Techsat-21 Autonomous Sciencecraft Constellation.”
Int.Symp. on Artificial Intelligence, Robotics and Automation in Space,
St-Hubert, Canada, June 2001.
Bradshaw, J., Y. Gawdiak,
H. Thomas and B.C. Williams, "R2D2 in a Softball: The Portable Satellite
Assistant." International Conference on Intelligent User Interfaces,
2000.
Williams, B.C. and B. Millar.
"Decompositional, Model-based Learning and its Analogy to Model-based
Diagnosis." 1998. In Proceedings of the National Conference on
Artificial Intelligence, Milwaukee, Wisconsin. [Paper
(176k)]
Douglas E. Bernard, Gregory
A. Dorais, Chuck Fry, Edward B. Gamble Jr., Bob Kanefsky, James Kurien,
William Millar, Nicola Muscettola, P. Pandurang Nayak, Barney Pell, Kanna
Rajan, Nicolas Rouquette, Benjamin Smith, Brian C. Williams. 1998. "Design
of the Remote Agent Experiment for Spacecraft Autonomy." Proceedings
of IEEE Aerospace Conference, Snomass, CO. [View abstract][Paper PS (1.9M)][Paper PDF(246k)]
Barney
Pell, Ed Gamble, Erann Gat, Ron Keesing, James Kurien, Bill Millar, P.
Pandurang Nayak, Christian Plaunt, and Brian Williams. 1998. "A Hybrid
Procedural/Deductive Executive For Autonomous Spacecraft." In Proceedings
of the Second International Conference on Autonomous Agents, Minneapolis,
MI. [View abstract][Paper (167k)]
James
Kurien, Pandu Nayak, Brian Williams. August 1998. "Model-based Autonomy
for Robust Mars Operations." In Proceedings of the First International
Conference of the Mars Society. [View abstract][Paper PS (562k)][Paper PDF (221k)]
Brian
C. Williams and P. Pandurang Nayak. 1997. "A Reactive Planner for
a Model-based Executive." In Proceedings of the International
Joint Conference on Artificial Intelligence. [View abstract][Paper (194k)]
P.
Pandurang Nayak and Brian C. Williams. 1997. "Fast Context Switching
in Real-time Propositional Reasoning." Best paper prize in Proceedings
of the National Conference on Artificial Intelligence. [View abstract][Paper (166K)]
Barney
Pell, Douglas E. Bernard, Steven A. Chien, Erann Gat, Nicola Muscettola,
P. Pandurang Nayak, Michael D. Wagner, and Brian C. Williams. 1997. "An
Autonomous Spacecraft Agent Prototype." In Proceedings of the
First International Conference on Autonomous Agents, Marina del Rey,
CA. [View abstract][Paper (134k)]
Brian
C. Williams. 1996. "Model-based Autonomous Systems in the New Millenium."
In Proceedings of the International Conference on Artificial Intelligence
Planning Systems. [View abstract][Paper (229k)]
Brian
C. Williams and P. Pandurang Nayak. 1996. "A Model-based Approach
to Reactive Self-Configuring Systems." In Proceedings of the National
Conference on Artificial Intelligence. [View abstract][Paper (242k)]
Barney
Pell, Douglas E. Bernard, Steven A. Chien, Erann Gat, Nicola Muscettola,
P. Pandurang Nayak, Michael D. Wagner, and Brian C. Williams. 1996. "A
Remote Agent Prototype for Spacecraft Autonomy." In Proceedings
of the SPIE Conference on Optical Science, Engineering, and Instrumentation. [View abstract][Paper (223k)]
B.
C. Williams and Jonathan Cagan. 1994. "Activity Analysis: The Qualitative
Analysis of Stationary Points for Optimal Reasoning." In Proceedings
of the National Conference on Artificial Intelligence. [View abstract][Paper (211k)]
B.
C. Williams and Olivier Raiman. 1994. "Decompositional Modeling through
Caricatural Reasoning." In Proceedings of the National Conference
on Artificial Intelligence. [View abstract][Paper (134k)]
John
Cagan and Brian C. Williams. 1993. "A First Order Necessary Condition
for Robust Optimality." In Proceedings of the ASME Conference
on Advances in Design Automation, Albuquerque, NM, pp. 539-549.
Brian
C. Williams. 1990. "Interaction-based Invention: Designing Novel
Devices From First Principles," In Proceedings of the National
Conference on Artificial Intelligence, Boston, MA, pp. 349-356; also
in Recent Advances in Qualitative Physics, Faltings and Struss
eds., MIT Press, Cambridge, MA, 1992, pp. 413-434; also in Lecture
Notes in AI 462: International Workshop on Expert Systems in Engineering
Principles and Applications, Springer-Verlag, 1990, pp. 119-134.
Johan
de Kleer and Brian C. Williams. 1989. "Diagnosis with Behavioral
Modes." In Proceedings of the International Joint Conference on
Artificial Intelligence , Detroit, MI, pp. 1324-1330; also in Readings
in Model-based Diagnosis , Hamscher et al. eds., Morgan Kaufman, 1992,
pp. 124-130.
Brian
C. Williams. 1988. "MINIMA: A Symbolic Approach to Qualitative Algebraic
Reasoning." Best Paper Award. In Proceedings of the National Conference
on Artificial Intelligence, Saint Paul, MN, 264-270; also in Readings
in Qualitative Reasoning about Physical Systems, Weld and de Kleer
eds., Morgan Kaufman, 1990, pp. 312-317.
Johan
de Kleer and Brian C. Williams. 1986. "Back to Backtracking: Controlling
the ATMS." In Proceedings of the National Conference on Artificial
Intelligence, Philadelphia, PA, pp. 910-917.
Johan
de Kleer and Brian C. Williams. 1986. "Reasoning about Multiple Faults."
In Proceedings of the National Conference on Artificial Intelligence,
Philadelphia, PA, pp. 132-139.
Brian
C. Williams. 1986. "Doing Time: Putting Qualitative Reasoning on
Firmer Ground." In Proceedings of the National Conference on Artificial
Intelligence , Philadelphia, PA, pp. 105-113; also in Readings
in Qualitative Reasoning about Physical Systems, Weld and de Kleer
eds., Morgan Kaufman, 1990, pp. 353-360.
Brian
C. Williams. 1984. "The Use of Continuity in Qualitative Physics."
In Proceedings of the National Conference on Artificial Intelligence,
Austin, TX, pp. 350-354.
M. Sachenbacher and B.
Williams. "Diagnosis as Semiring-based Constraint Optimization."
To appear in Proceedings of the 15th International Workshop on Principles
of Diagnosis (DX'04), Carcassonne, France, 2004. [DX04
Paper pdf]
S. Chung and B. C. Williams. “A Decomposed Symbolic Approach to
Reactive Planning.” In Proceedings of the Third International
Workshop on Self-Adaptive Software, Washington D.C., 2003. [Paper
pdf]
M. Ingham and B. C. Williams. “Timed Model-based Programming:
Executable Specifications for Robust Mission-Critical Sequences.”
In Proceedings of the Third International Workshop on Self-Adaptive
Software, Washington D.C., 2003. [Paper
pdf]
S. Funiak and B. C. Williams. "Multi-modal Particle Filter for
Hybrid Systems with Autonomous Mode Transitions." In Proceedings
of SafeProcess 2003 (also appears in DX-2003). [Paper
pdf]
M. W. Hofbaur and B. C. Williams. "Hybrid Diagnosis with Unknown
Behavioral Modes." Proceedings of the 13th International Workshop
on Principles of Diagnosis (DX02), 2002. [Paper
pdf]
S. Chung, J. Van Eepoel, and B. C. Williams. “Improving Model-based
Mode Estimation through Offline Compilation.” In Proceedings
of the Sixth International Symposium on Artificial Intelligence, Robotics
and Automation in Space: A New Space Odyssey, Montreal, Canada, June
2001. [Paper pdf]
Ingham, M., B.C. Williams,
T. Lockhart, A. Oyake, M. Clarke, and A. Aljabri, "Autonomous Sequencing
and Model-based Fault Protection for Space Interferometry." InternationalSymposium
on Artificial Intelligence, Robotics and Automation in Space, Montreal,
Canada, June 2001. [Abstract PDF (56k)][Paper PDF (170k)]
Brian C. Williams and Vineet Gupta. "Unifying Model-based and Reactive
Programming within a Model-based Executive." In Proceedings of
the International Workshop on Principles of Diagnosis (DX99) , Loch
Awe, Scotland, 1999. [Paper PS (192k)][Paper PDF (288k)]
Brian C. Williams and
B. Millar. 1996. "Automated Decomposition of Model-based Learning
Problems." In Proceedings of the International Workshop on Qualitative
Reasoning about Physical Systems. [View abstract][Paper (186k)]
Brian C. Williams and
Jonathan Cagan. 1995. "Using Activity Analysis to Identify Relevant
Constraints in Optimal Reasoning Problems." In Proceedings of
the Symposium on Abstraction, Reformulation and Approximation., [View abstract][Paper (225k)]
B. C. Williams. 1996.
"Overview of Decompositional, Model-based Learning." In Proceedings
of the AAAI Spring Symposium on Computational Issues in Learning Models
of Dynamical Systems. [View abstract][Paper (186k)]
Brian C. Williams. 1992.
"Interaction-based Invention: When Decomposability Becomes the Exceptional
Case." In Working Papers of the 3rd Workshop on Research Directions
for Artificial Intelligence in Design, Los Angeles, CA, pp. 71-75.
Vijay Saraswat, Johan
de Kleer and Brian C. Williams. 1991. "ATMS-based Constraint Programming."
In ILPS Workshop on Defeasible Reasoning and Constraint Solving, San
Diego, CA.
Brian C. Williams. 1991.
"Critical Abstraction: Generating Simplest Models for Causal Explanation."
In Working Papers of the Fifth International Workshop on Qualitative
Reasoning about Physical Systems, Austin, TX, pp. 77-92.
Johan de Kleer and Brian
C. Williams. 1990. "Focusing the Diagnosis Engine." In Working
Papers of the 1st International Workshop on Principles of Diagnosis, Stanford,
CA.
Brian C. Williams. 1989.
"Invention from First Principles: An Overview." In Preprints
of Modeling Creativity and Knowledge-based Creative Design, International
Round-Table Conference, Heron Island, Queensland; also in Artificial Intelligence
at MIT: Expanding Frontiers, vol. 1, Winston and Shellard eds., MIT Press,
Cambridge, MA, 1990, pp. 430- 463.
Brian C. Williams. 1987.
"Beyond Qualitative Reasoning." In Working Papers of the
1st AAAI Workshop on Qualitative Physics, Urbana, IL.