The Community for Technology Leaders
1990 Simulation and Planning in High Autonomy Systems (1990)
Tucson, AZ, USA
March 26, 1990 to March 27, 1990
ISBN: 0-8186-2043-9
TABLE OF CONTENTS

High autonomy systems: concepts and models (PDF)

B.P. Zeigler , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 2-7

A 'propagative' approach to sensitivity analysis (PDF)

J. Rothenberg , Rand Corp., Santa Monica, CA, USA
N.Z. Shapiro , Rand Corp., Santa Monica, CA, USA
C. Hefley , Rand Corp., Santa Monica, CA, USA
pp. 10-16

A new technique for proving real-time properties (PDF)

S. Narain , Rand Corp., Santa Monica, CA, USA
pp. 17-24

Modeling belief and action in a multi-agent system (PDF)

D.G. Novick , Dept. of Comput. Sci. & Eng., Oregon Graduate Inst. of Sci. & Technol., Beaverton, OR, USA
pp. 34-41

Constraint-directed intelligent control in multi-agent problem solving (PDF)

M. Evans , Dept. of Comput. Sci., Manitoba Univ., Winnipeg, Man., Canada
J. Anderson , Dept. of Comput. Sci., Manitoba Univ., Winnipeg, Man., Canada
pp. 42-50

Distributive watch using situation recognition (PDF)

H. Shimakawa , Mitsubishi Electr. Corp., Hyogo, Japan
pp. 51-57

Automatic determination of language versions in distributed systems (PDF)

K.C. Wong , Dept. of Math. Sci., Akron Univ., OH, USA
pp. 65-69

Non-chronological scheduling (PDF)

B.R. Fox , McDonnell Douglas Space Syst. Co., Houston, TX, USA
pp. 72-77

A hierarchical and modular structure for FMS control and monitoring (PDF)

M. Combacau , LAAS-CNRS 7, Univ. Paul Sabatier, Toulouse, France
pp. 80-88

Simulation of event-based control of continuous systems (PDF)

H. Praehofer , Dept. of Syst. Theor. & Inf. Eng., Linz Univ., Austria
pp. 89-96

A predicate-transition net model for single agent planning (PDF)

T. Murata , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
P.C. Nelson , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
J. Yim , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 98-107

Extracting logical theories from DEVS models (PDF)

S. Sevinc , Basser Dept. of Comput. Sci., Sydney Univ., NSW, Australia
N.Y. Foo , Basser Dept. of Comput. Sci., Sydney Univ., NSW, Australia
pp. 108-116

Qualitative physics: towards the automation of systems problem solving (PDF)

P.A. Fishwick , Dept. of Comput. & Inf. Sci., Florida Univ., FL, USA
pp. 118-134

Case studies of design methodologies: a survey (PDF)

J. Yang , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
J.W. Rozenblit , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 136-141

Concurrent engineering-why and what? (PDF)

S.N. Dwivedi , Dept. of Mech. & Aerosp. Eng., West Virginia Univ., Morgantown, WV, USA
R. Sharan , Dept. of Mech. & Aerosp. Eng., West Virginia Univ., Morgantown, WV, USA
R. Prasad , Dept. of Mech. & Aerosp. Eng., West Virginia Univ., Morgantown, WV, USA
R. Garg , Dept. of Mech. & Aerosp. Eng., West Virginia Univ., Morgantown, WV, USA
pp. 142-148

Some topics on a model for the design process (PDF)

A.J. Wnuk , Siemens AG, Munich, West Germany
pp. 149-159

Robot task and movement planning (PDF)

W. Jacak , Inst. of Tech. Cybern., Tech. Univ. of Wroclaw, Poland
pp. 168-173

Applications of hybrid learning to automated system design (PDF)

L.A. Tamburino , WRDC/AAAT, Wright-Patterson AFB, Dayton, OH, USA
pp. 176-183

Reinforcement learning with classifier systems (PDF)

R.E. Smith , Dept. of Eng. Mech., Alabama Univ., Tuscaloosa, AL, USA
D.E. Goldberg , Dept. of Eng. Mech., Alabama Univ., Tuscaloosa, AL, USA
pp. 184-192

Conjoint computing: integrating numeric, symbolic and neural computing (PDF)

D.R. Ballard , Recticular Syst. Inc., San Diego, CA, USA
pp. 194-201

Time windows: an approach to automated abstraction of continuous-time models into discrete-event models (PDF)

Q. Wang , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
F.E. Cellier , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 204-211

Model base management for multifaceted systems (PDF)

B.P. Zeigler , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
C.-J. Luh , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 25-31
87 ms
(Ver 3.3 (11022016))