The Community for Technology Leaders
Proceedings The Second Annual Conference on AI, Simulation and Planning in High Autonomy Systems (1991)
Cocoa Beach, FL, USA
April 1, 1991 to April 2, 1991
ISBN: 0-8186-2162-1
TABLE OF CONTENTS

Towards autonomous intelligent control systems (PDF)

P.J. Antsaklis , Dept. of Electr. Eng., Notre Dame Univ., IN, USA
pp. 2-3

Version space controlled genetic algorithms (VGA) (PDF)

R.G. Reynolds , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
pp. 6-14

Planning by autonomous agents with many concurrent goals in an elaborate simulated world (PDF)

G. Abrett , Div. of Syst. & Technol., Bolt Beranek & Newman Inc., Cambridge, MA, USA
pp. 15-19

Actions as evidence: multiple epistemic agents acting under uncertainty (PDF)

T. Whalen , Dept. of Decision Sci., Georgia State Univ., Atlanta, GA, USA
pp. 21-30

Qualitative state spaces: a formalization of the naive physics approach to knowledge-based reasoning (PDF)

F.E. Cellier , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
N. Roddier , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 40-49

Abstraction morphisms for task planning and execution (PDF)

C.-J. Luh , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
B.P. Zeigler , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 50-59

Dynamic selection of models under time constraints (PDF)

G.W. Rutledge , Med. Comput. Sci., Stanford Univ., CA, USA
pp. 60-67

DEBORA: a decision engine based on rational aggregation (PDF)

D. Dubois , IRIT, Univ. Paul Sabatier, Toulouse, France
pp. 68-77

ALCMEN: a language for qualitative/quantitative knowledge representation in expert supervisory process control (PDF)

J.A. Martin , LAAS-CNRS, Toulouse, France
P. Desroches , LAAS-CNRS, Toulouse, France
V. Thomas-Baudin , LAAS-CNRS, Toulouse, France
pp. 80-87

Integrating multiple representations for incremental, causal simulation (PDF)

R.G. Simmons , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 88-96

Reasoning about global behavior of ordinary differential equations by combining qualitative and quantitative analysis (PDF)

T. Nishida , Dept. of Inf. Sci., Kyoto Univ., Japan
S. Doshita , Dept. of Inf. Sci., Kyoto Univ., Japan
pp. 98-107

Extracting qualitative descriptions from quantitative models (PDF)

T.G. Kelley , Dept. of Comput. & Inf. Sci., Queen's Univ., Kingston, Ont., Canada
J.I. Glasgow , Dept. of Comput. & Inf. Sci., Queen's Univ., Kingston, Ont., Canada
R.E. Ellis , Dept. of Comput. & Inf. Sci., Queen's Univ., Kingston, Ont., Canada
pp. 108-119

Symbolic discrete event system specification (PDF)

B.P. Zeigler , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
Sungdo Chi , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 130-141

Diagnosability and sensor reduction (PDF)

E. Scarl , Adv. Technol. Center, Boeing Comput. Services, Seattle, WA, USA
pp. 142-146

Fault diagnosis based on continuous simulation models (PDF)

S. Feyock , Dept. of Comput. Sci., College of William & Mary, Williamsburg, VA, USA
R.P. Meyers , Dept. of Comput. Sci., College of William & Mary, Williamsburg, VA, USA
pp. 148-153

Sensor selection techniques in device monitoring (PDF)

R.J. Doyle , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
U.M. Fayyad , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
pp. 154-163

Simulation-based planning of robot tasks in flexible manufacturing (PDF)

J.W. Rozenblit , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 166-173

Process failures diagnosis in FMS real-time control: an approach combining rule-based systems and Petri nets (PDF)

M. Combacau , Unit. Paul Sabatier, Toulouse, France
M. Courvoisier , Unit. Paul Sabatier, Toulouse, France
pp. 174-180

Planning with events and states (PDF)

D.H. Kieronska , Sch. of Comput. Sci., Curtin Univ. of Technol., Perth, WA, Australia
S. Venkatesh , Sch. of Comput. Sci., Curtin Univ. of Technol., Perth, WA, Australia
pp. 181-186

Embedding simulation modeling in development of high autonomy systems (PDF)

T.G. Kim , Dept. of Electr. & Comput. Eng., Kansas Univ., Lawrence, KS, USA
M. Chung , Dept. of Electr. & Comput. Eng., Kansas Univ., Lawrence, KS, USA
pp. 195-202

Integrated modeling for planning, simulation and diagnosis (PDF)

J.R. Carnes , Artificial Intelligence Center, Boeing Comput. Services, Huntsville, AL, USA
W.S. Davis , Artificial Intelligence Center, Boeing Comput. Services, Huntsville, AL, USA
pp. 203-208

A model-based approach for organizing quantitative computations (PDF)

J. Sticklen , AI/KBS Lab., Michigan State Univ., East lansing, MI, USA
A. Kamel , AI/KBS Lab., Michigan State Univ., East lansing, MI, USA
pp. 210-218

Modelling tools for a common LISP object system environment (PDF)

J.M. Farrow , Sydney Univ., NSW, Australia
S. Sevinc , Sydney Univ., NSW, Australia
pp. 219-224

The use of multiple models in evaluating complex engineering designs (PDF)

S. Narayanan , Corp. Technol. Center, FMC Corp., Santa Clara, CA, USA
pp. 225-232

Combining qualitative and quantitative simulation: in brief (PDF)

D. Berleant , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 233-240

Using discrete event qualitative simulation as a knowledge acquisition tool (PDF)

V.J. Kovarik , Software Productivity Solutions Inc., Indialantic, FL, USA
pp. 241-246

A qualitative circuit simulator (PDF)

M.H. Lee , Dept. of Comput. Sci., Univ. Coll. of Wales, Aberystwyth, UK
A.R.T. Ormsby , Dept. of Comput. Sci., Univ. Coll. of Wales, Aberystwyth, UK
pp. 248-252

EMM-networking model for FMS modeling, simulation and control (PDF)

N. Duan , Dept. of Ind. & Manag. Syst. Eng., Pennsylvania State Univ., University Park, PA, USA
S.R.T. Kumara , Dept. of Ind. & Manag. Syst. Eng., Pennsylvania State Univ., University Park, PA, USA
D.J. Medeiros , Dept. of Ind. & Manag. Syst. Eng., Pennsylvania State Univ., University Park, PA, USA
pp. 253-262

Integration of qualitative and quantitative methods in visual reasoning (PDF)

N.H. Narayanan , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
B. Chandrasekaran , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 272-278

Using qualitative knowledge for quantitative simulation of the human spatial orientation system (PDF)

N. Groleau , Man-Vehicle Lab., MIT, Cambridge, MA, USA
R. Bharnagar , Man-Vehicle Lab., MIT, Cambridge, MA, USA
D.M. Merfeld , Man-Vehicle Lab., MIT, Cambridge, MA, USA
pp. 279-288

Integrating constraint-based and numerical simulation (PDF)

A. Bonarini , Dipartimento di Elettronica, Politecnico di Milano, Italy
V. Maniezzo , Dipartimento di Elettronica, Politecnico di Milano, Italy
pp. 290-297

Temporal information in qualitative simulation (PDF)

A. Missier , Lab. d'Autom. et d'Anal. des Syst. du CNRS, Toulouse, France
L. Trave-Massuyes , Lab. d'Autom. et d'Anal. des Syst. du CNRS, Toulouse, France
pp. 298-305

Creating qualitative and combined models with discrete events (PDF)

P.A. Fishwick , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
pp. 306-315
93 ms
(Ver 3.3 (11022016))