🚀 go-pugleaf

Volume: 19, Issue: 6, Fri Jan  4 17:33:36 EST 1991

+----------------+
| TODAY'S TOPICS |
+----------------+

(1) RESPONSE: Book Review
(2) PROGRAM: AI, Simulation and Planning Conference
(3) Collision Detection and Response

* Moderator: Paul Fishwick, Univ. of Florida
* Send topical mail to: simulation@bikini.cis.ufl.edu OR
  post to comp.simulation via USENET
* Archives available via FTP to bikini.cis.ufl.edu (128.227.224.1).
  Login as 'ftp', use your last name as the password, change
  directory to pub/simdigest. Do 'type binary' before any file xfers.
* Simulation Tools available by doing above and changing the
  directory to pub/simdigest/tools. 



-----------------------------------------------------------------------------

Date: Mon, 24 Dec 90 00:21 MST
From: ZEIGLER%EVAX2@Arizona.edu
Subject: response to book revview
To: fishwick@fish.cis.ufl.edu
X-Envelope-To: fishwick@fish.cis.ufl.edu

Re: The Review of "Modelling and Simulation Methodology: Knowledge Systems 
Paradigms" by Patrick Reilly 
 
(subtitled: On References and Self-references)
 
I am pleased that although Reilly is critical of a number of things about the 
book, he nevertheless suggests that it belongs in a library of simulation and 
methodology books and that it provides a limited snapshot of the state of the 
art in 1987-88. As the output of a working conference held in 
that period, on a fast advancing field, this is about all one can 
reasonably expect. It is regrettable that Reilly was misled by the title, 
without its subtitle, into believing that it was more than this. One can also
regret the high price set by the publisher. Presumably though, if the book is 
as unmarked as Reilly indicates, it can be returned for full refund.  
 
It seems that Reilly is somewhat put off by the inter- and self-references of 
the editors. (Incidently, one wonders why he was not likewise put off by other 
articles such as the one by Goldberg-- which he did find useful-- which has 9 
self-references, and 8 to the pioneering work of Holland).  Speaking for 
myself, I can say that one main reason that I put in citations to previous 
work, my own or others, is when the referenced works are needed to support the 
flow of ideas (generally space precludes reproducing such background in 
detail). It also happens that the editors (Elzas, Oren and myself) were 
co-operating closely at the time, sharing each others ideas-- with 
attribution. What may appear as "backslapping" or self-agrandizement to some, 
might help others to locate the background needed to make the writing 
understandable. The fact that Oren makes 66 citations in total should also put 
the self-references in context.  
 
Finally, I am appreciative that Reilly took the time to write the review. From 
my own, no doubt biased, perspective, I would emphasize another point: the 
book is one of a continuing series of efforts towards a more methodological  
approach to simulation. The field has a wide and diverse  application 
community. Like software construction, it needs a rigorous engineering 
foundation.  The book brings together, and organizes, some 28 articles 
relevant to this-- as yet unrealized-- goal. Researchers will, one may hope, 
be stimulated by some of its nascent ideas. Others must await a more 
definitive treatise once all the results are in.
 
B.P. Zeigler
 

------------------------------

Date: Fri, 28 Dec 90 15:34:51 -0500
From: "Paul Fishwick" <fishwick@fish.cis.ufl.edu>
To: simulation@ufl.edu



 ------------------------------------------------------------------------

                             ADVANCE PROGRAM
                        The Second Conference on
        AI, Simulation and Planning in High Autonomy Systems
   THEME: INTEGRATING QUALITATIVE AND QUANTITATIVE SYSTEM KNOWLEDGE
      
               U N I V E R S I T Y   O F   F L O R I D A
            (in cooperation with the University of Arizona)

                              April 1-2, 1991
                    Holiday Inn, Cocoa Beach, Florida


CONFERENCE CO-CHAIRS:

Paul A. Fishwick       Jerzy Rozenblit             Bernard P. Zeigler
University of Florida  University of Arizona       University of Arizona
Dept. of CIS           Dept. of ECE                Dept. of ECE 
Bldg. CSE, Room 301    Tucson, AZ 85721            Tucson, AZ 85721 
Gainesville, FL 32611  rozenblit%evax2@arizona.edu zeigler%evax2@arizona.edu
fishwick@ufl.edu

PROGRAM COMMITTEE:

Varol Akman, Bilkent University, Turkey
Kenneth Anderson, Siemens Corporation
Howard Beck, University of Florida
David Castillo, McDonnell Douglas
Francois Cellier, University of Arizona
Silvano Colombano, NASA Ames Research Center
Marc Courvoisier, Universite Paul Sabatier, France
Li-Min Fu, University of Florida
Frank Grange, Martin Marietta
Werner Horn, University of Vienna, Austria
Yumi Iwasaki, Stanford University
Witold Jacak, Technical University of Wroclaw, Poland
Tag Gon Kim, University of Kansas
Theo Lutzeler, Siemens Corporation
Sanjai Narain, Bellcore
Franz Pichler, University of Linz, Austria
Ethan Scarl, Boeing Computer Services
Suleyman Sevinc, University of Sydney, Australia
Jon Sticklen, Michigan State University
Oryal Tanir, Bell Canada
Ben Wise, McDonnell Douglas

LOCAL ARRANGEMENTS:

Joanne East, Department of Conferences and Seminars, 
University of Florida, Gainesville, Florida (904)-392-1701

CONFERENCE DESCRIPTION

This annual conference is concerned with integrated methods in simulation
and planning that serve to help automate basic decision making processes
in computer systems. Current and future decision making tools will rely
heavily on the ability to reason with sophisticated models that are designed, 
planned and simulated in real time. This year's conference will be held at 
the beginning of the Florida AI Research Conference (FLAIRS) at the same 
location.

There is a strong need to integrate the qualitative system structures
often found in expert systems, reasoning systems, logic and social science 
with the quantitative knowledge found in physical science and engineering. 
Qualitative structures help define high-level (i.e. decision making) control 
knowledge while quantitative structures define unambiguous operations for 
well known physical and engineering systems. The interplay between qualitative
and quantitative modeling is critical in the area of computer simulation 
modeling where a variety of models are created to solve different problems 
and provide different levels of response. Future simulation models will 
require this multi-facetted approach involving model knowledge bases 
containing different levels of system abstraction. This conference will 
serve to bring together researchers interested in using simulation models 
that have well-integrated qualitative and quantitative components.


CONFERENCE AT A GLANCE:

Monday, April 1 

 8:30 -  9:30 Keynote 1: B. Chandrasekaran, Ohio State University
10:00 - 12:00 T1: Autonomous Agent Modeling
              T2: Process Abstraction
 1:30 -  3:00 T1: Constraint Based Modeling & Simulation
              T2: Qualitative Analysis of Continuous Systems
 3:30 -  5:00 T1: Fault Modeling & Diagnosis I
              T2: Planning & Intelligent Control I

Tuesday, April 2

 8:30 -  9:30 Keynote 2: Panos Antsaklis, University of Notre Dame
10:00 - 12:00 T1: Model Engineering
              T2: Applications of Qualitative/Quantitative Integration
 1:30 -  2:30 PANEL: When & Where are Qualitative Models Practical?
 2:30 -  3:30 T1: Multiple Model Integration I
              T2: Fault Modeling & Diagnosis II
 4:00 -  5:30 T1: Multiple Model Integration II
              T2: Planning & Intelligent Control II        

             

TECHNICAL PROGRAM:


 -----------------------------------------------------------------------
 MONDAY, APRIL 1
 -----------------------------------------------------------------------

 8:15 -  8:30  OPENING (CHAIRS)

 8:30 -  9:30  KEYNOTE SPEECH

"Commonsense Simulation of the Physical World"
 B. Chandrasekaran, Ohio State University

 9:30 - 10:00  BREAK

10:00 - 12:00  TRACK 1: AUTONOMOUS AGENT MODELING
               
"Autonomous Learning Elements: Their Design and Application"
 Robert Reynolds, Wayne State University

"Planning by Autonomous Agents with Many Concurrent Goals
 in an Elaborate Simulated World"
 Glenn Abrett, BBN Systems & Technologies

"Scripting Highly Autonomous Simulation Behavior Using Case
 Based Reasoning"
 Jed Marti and Niels Catsimpoolas, Rand Corporation

"Actions as Evidence: Multiple Epistemic Agents Acting
 Under Uncertainty"
 Thomas Whalen and Hamid R. Berenji, Georgia State University

"An Object-Oriented Simulation of Autonomous Agents in
 a Complex Physical Environment"
 Douglas Craig     
  
10:00 - 12:00  TRACK 2: PROCESS ABSTRACTION

"Qualitative State Spaces: A Formalization of the Naive Physics
 Approach to Knowledge-Based Reasoning"
 Francois Cellier and Nicolas Roddier, University of Arizona

"Abstraction Morphisms for Task Planning and Execution"
 C. Luh and Bernard P. Zeigler, University of Arizona

"Dynamic Selection of Models under Time Constraints"
 Geoffrey Rutledge, Stanford University

"DEBORA: A Decision Engine Based on Rational Aggregation"
 Jean-Luc Koning and Didier Dubois, Institut de Recherche 
  en Informatique de Toulouse, France

"An Introduction to Fuzzy Simulation"
 Paul Fishwick, University of Florida


12:00 -  1:30  LUNCH

 1:30 -  3:00  TRACK 1: CONSTRAINT BASED MODELING & SIMULATION

"Integrating Multiple Representations for Incremental, Causal Simulation"
 Reid G. Simmons, Carnegie Mellon University

"ALCMEN: a Language for Qualitative/Quantitative knowledge
 representation in Expert Supervisory Process Control"
 Joseph Aguilar Martin, Philippe Desroches and Veronique Thomas-Baudin,
 Laboratoire d'Automatique et d'Analyse des Systems du C.N.R.S., France

 1:30 -  3:00  TRACK 2: QUALITATIVE ANALYSIS OF CONTINUOUS SYSTEMS

"Reasoning about Global Behavior of Ordinary Differential
 Equations by Combining Qualitative and Quantitative Analysis"
 Toyoaki Nishida and Shuji Doshita, Kyoto University, Japan

"Extracting Qualitative Descriptions From Quantitative Models"
 Janice Glasgow, Todd Kelley and Randy Ellis
 Queen's University, Canada

 3:00 -  3:30  BREAK

 3:30 -  5:00  TRACK 1: FAULT MODELING & DIAGNOSIS I

"Model-Based Troubleshooting of Complex Technical Systems
 Using Integrated Qualitative Techniques"
 Franz Lackinger and Irina Obreja, Technical University of Vienna, Austria

"Systems Formulation of Diagnosis from First Principles"
 S. Chi and Bernard P. Zeigler, University of Arizona

"Diagnosibility and Sensor Reduction"
 Ethan Scarl, Boeing Computer Services

 3:30 -  5:00  TRACK 2: PLANNING & INTELLIGENT CONTROL I

"Simulation-based planning of robot tasks in flexible manufacturing"
 Jerzy W. Rozenblit (*) and Witold Jacak (**)
 (*) University of Arizona
 (**) Technical University of Wroclaw, Poland

"Process Failures Diagnosis in F.M. Real-time Control: An
 Approach Combining Rule Based Systems and Petri Nets"
 Michel Combacau and Marc Courvoisier, 
 Laboratoire d'Automatique et d'Analyse des Systems du C.N.R.S., France

"Planning with Events and States"
 Dorota Kieronska and Svetha Venkatesh, Curtin University of Technology,
 Western Australia


 6:00 -  7:30  Reception


 -----------------------------------------------------------------------
 TUESDAY, APRIL 2
 -----------------------------------------------------------------------
 

 8:30 -  9:30  KEYNOTE SPEECH 

"Autonomous Intelligent Control Systems"
 Panos Antsaklis, University of Notre Dame

 9:30 - 10:00  BREAK

10:00 - 12:00  TRACK 1: MODEL ENGINEERING

"A Model-Based Approach for Organizing Quantitative Computations"
 Jon Sticklen, Ahmed Kamel and W.E. Bond, Michigan State University

"Modelling Tools for a Common Lisp Object System Environment"
 J.M. Farrow and S. Sevinc, University of Sydney, Australia

"The Use of Multiple Models in Evaluating Complex Engineering Designs"
 Srinivas Narayanan, FMC Corporation               

"Qualitative-Quantitative Simulation" 
 Daniel Berleant, University of Texas at Austin

"Using Discrete Event Qualitative Simulation as a Knowledge Acquisition Tool"
 Vincent Kovarik, Jr., Software Productivity Solutions


10:00 - 12:00  TRACK 2: APPLICATIONS OF QUALITATIVE/QUANTITATIVE INTEGRATION

"Qualitative Simulation Using Declarative Models: An  Application 
 to Distillation Columns"
 Julian Morris,  Beaumont S. Feray and M. T. Tham, 
 University of Newcastle Upon Tyne, United Kingdom

"A Qualitative Circuit Simulator"
 Mark Lee and Andrew Ormsby, University College of Wales,
 United Kingdom

"EMM-Networking Model for FMS Modeling, Simulation and Control"
 Soundar Kumara and Niu Duan, Pennsylvania State University

"Representing Temporal, Spatial, and Causal Knowledge for   
 Monitoring and Control in an Intelligent Simulation Training System"
 Leslie Interrante, University of Alabama

"Simulation Model for a Multicomponent System"
 Lung Liang and Mario R. Garzia, AT&T Bell Laboratories

12:00 -  1:30  LUNCH

 1:30 -  2:30  PANEL : WHEN & WHERE ARE QUALITATIVE METHODS PRACTICAL?
               
 2:30 -  3:30  TRACK 1: MULTIPLE MODEL INTEGRATION I

"Integrating Qualitative and Quantitative Methods through
 Visual Focussing"
 N. Hari Narayanan and B. Chandrasekaran, Ohio State University

"Using Qualitative Knowledge for Quantitative Simulation
 of the Human Spatial Orientation System"
 Nicolas Groleau, Rajiv Bhatnagar and Daniel M. Merfeld,
 Massachusetts Institute of Technology

 2:30 -  3:30  TRACK 2: FAULT MODELING & DIAGNOSIS II

"Fault Diagnosis Based on Continuous Simulation Models"
 Stefan Feyock and Randall P. Meyer, College of William and Mary

"Sensor Selection Techniques in Device Monitoring"
 Richard Doyle and Usama M. Fayyad
 California Institute of Technology

 3:30 -  4:00  BREAK

 4:00 -  5:30  TRACK 1: MULTIPLE MODEL INTEGRATION II

"Extending Numerical Simulation with Qualitative Reasoning"
 Vittorio Maniezzo and Andrea Bonarini, 
 Politecnico Di Milano, Italy                  

"Temporal Information from Order of Magnitude Reasoning"
 Antoine Missier and Louise Trave'-Massuyes,
 Laboratoire d'Automatique et d'Analyse des Systems du C.N.R.S., France
          
"Using Qualitative Methods to Manage Quantitative Simulation"
 Paul A. Fishwick (*) and Bernard P. Zeigler (**)
 (*) University of Florida
 (**) University of Arizona

 4:00 -  5:30  TRACK 2: PLANNING & INTELLIGENT CONTROL II

"Planning with Artificial Systems"
 Luca Maria Gambardella, Istituto Dalle Molle di Studi sull'Intelligenza
 Artficiale, Switzerland

"Embedding Simulation Modeling in Development of High Autonomy Systems"
 Tag Gon Kim, University of Kansas

"Integrated Modeling for Planning, Simulation and
 Diagnosis Within Space Station Freedom Operations"
 W. S. Davis, J. R. Carnes, C. A. Biegl and G. Karsai,
 Boeing Computer Services

 --------------------------------------------------------------------------

CONFERENCE REGISTRATION

Name__________________________________________________
Address_______________________________________________
______________________________________________________
City_________________________ State_____ ZipCode______
PHONE________________________
FAX__________________________
EMAIL___________________________________

Please send me a printed copy of the FINAL PROGRAM: _________
                                                    (check)
Professional Fee
Before March 18th: $275, After March 18th: $295 Amount________
(includes proceedings, 1 free drink coupon)

Student Fee
Before March 18th: $50, After March 18th: $60   Amount________
(includes proceedings, 1 free drink coupon)

Additional Fees (if applicable)
Guest Pass at Reception: $15                    Amount________
Extra Copy of Proceedings: $30                  Amount________


GENERAL:

The Proceedings are published, sold and advertised by the IEEE Computer 
Society Press. There are no refunds for cancellations after March 18th.
All travel information is contained within the printed FINAL PROGRAM -
please ask for one by checking above.

Mail or Contact:   ASPHAS Conference/DOCE
                   University of Florida
                   2207 NW 13th St.
                   Gainesville, FL 32609
                   PHONE: (904) 392-1701
                   FAX: (904) 392-6950



HOTEL REGISTRATION

April 1-2, 1991 AI, Simulation and Planning Conference
Holiday Inn, 1300 N. Atlantic Ave., Cocoa Beach, Florida, 32931 USA
PHONE: (407) 783-2271, FAX: (407) 784-8878

Name__________________________________________________
Address_______________________________________________
______________________________________________________
City_________________________ State_____ ZipCode______
Arrival Date_______________ Departure Date ___________

Room Rate: $58/night plus tax. Reservations must be guaranteed by a
major credit card or advance deposit on one night's room rental.

CREDIT CARD (Circle One): 
  MC, VISA, AMEX, DINER'S, CARTE BLANCHE, JCD, or DISCOVER

Credit Card Number___________________________________ Exp. Date________
Signature____________________________________________

Mail to: The Holiday Inn
         1300 N. Atlantic Ave.
         Cocoa Beach, FL 32931
         PHONE: (407) 783-2271
         FAX: (407) 784-8878

RESERVATIONS MUST BE CONFIRMED BEFORE MARCH 15TH



------------------------------

Newsgroups: comp.theory.dynamic-sys,comp.simulation
Path: puchm
From: puchm@cutmcvax.cs.curtin.edu.au (RichardPuchmeyer)
Subject: collision detection and response
Keywords: collisione,dynamic,simulation,graphics
Sender: usenet@uniwa.uwa.OZ.AU (USENET News System)
Organization: Curtin University of Technology, Computing Science
Date:  4 Jan 91 15:49:19 GMT
Apparently-To: comp-simulation@munnari.OZ.AU


Hi there,

    I am looking for further references with regards to the topic of:

        "Collision Detection and Response for Computer
        Animation", Matthew Moore and Jane Wilhelms.

    Which appeared in :
    
        ACM Computer Graphics, Vol: 22, No: 4, Aug 1988

    I am particularly interested in :
        Some more joint restraints.
            eg. pin joints, screw joints, sliding joints
            The authors address some of these but I am looking
            for one equation (in 3 coordinates) for each joint,
            if at all possible.
        How joint objects behave when they are not colliding.
            ie. does the fact that they are joined make a
            difference to non-impulsive motion.  eg. a falling
            chain which is not attached to a fixed object.

    I will probably think of some more questions later, but these
    will do for now. 8^).

    Thanks in advance,
        Richard.

    PS. as I am cross posting this to several groups could you
    please let me know if this posting is inappropriate for the
    respective newsgroup.
 --
/-------------------------------------------+----------------------------------\
| Some of us are poets, some of us are not. | puchm@cutmcvax.cs.curtin.edu.au  |
+ ------------------------------------------+----------------------------------+
| I know nothing, so can hold no opinions for myself or others.....            |
\-------------------------------------------+----------------------------------/



------------------------------




END OF SIMULATION DIGEST
************************