Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!rex!uflorida!simulation From: simulation@uflorida.cis.ufl.edu (Moderator: Paul Fishwick) Newsgroups: comp.simulation Subject: SIMULATION DIGEST V19 N6 Message-ID: <26164@uflorida.cis.ufl.EDU> Date: 4 Jan 91 22:34:15 GMT Sender: fishwick@uflorida.cis.ufl.EDU Reply-To: simulation@uflorida.cis.ufl.edu Lines: 534 Approved: fishwick@uflorida.cis.ufl.edu 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" 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 ************************