Model-Based Autonomous Systems in the New Millenium

A new generation of sensor rich, massively distributed, autonomous systems is being developed that has the potential for unprecedented performance, such as networks of smart buildings, reconfigurable factories, spacecraft constellations and remote earth ecosystem monitoring. To achieve high performance these immobile robots will need to use their sensors to accurately model themselves and their environment on a grand scale. They will use these models to reconfigure themselves dramatically if they are to survive decades of autonomous operations. To be economically viable they will need to be programmable purely through high level compositional models. Self modeling, self configuration, deliberated reactions and compositional, model-based programming are the four key elements of a model-based autonomous systems architecture that is taking us into the New Millenium.

[1]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[2]  Brian C. Williams,et al.  Decompositional Modeling through Caricatural Reasoning , 1994, AAAI.

[3]  Tom M. Mitchell,et al.  A Personal Learning Apprentice , 1992, AAAI.

[4]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[5]  Nicola Muscettola,et al.  HSTS: Integrating Planning and Scheduling , 1993 .

[6]  Richard B. Segal.  Softbots as Testbeds for Machine Learning , 1992 .

[7]  Michael Dixon,et al.  Responsive office environments , 1993, CACM.

[8]  R. James Firby,et al.  The RAP language manual , 1995 .

[9]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[10]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[11]  Bart Selman,et al.  An Experiment in the Design of Software Agents , 1994, AAAI.

[12]  Kenneth Arisman.  An Experiment in Design , 1936 .

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

[14]  Douglas E. Bernard,et al.  An implemented architecture integrating onboardplanning , scheduling , execution , diagnosis , monitoring and control for autonomous spacecraftBarney , 1996 .

[15]  Pattie Maes,et al.  Learning Interface Agents , 1993, AAAI.

[16]  D E CAMERON.  The Theory of Diagnosis , 1951, Proceedings of the annual meeting of the American Psychopathological Association.

[17]  Peter Øhrstrøm,et al.  Temporal Logic , 1994, Lecture Notes in Computer Science.