AI, Simulation & Planning In
High Autonomy Systems
March 6 8, 2000
Sheraton Tucson Hotel and Suites, Tucson, Arizona
Conference Sponsors
The Society for Computer Simulation International
College of Engineering & Mines, The University of Arizona
The University of Arizona Foundation
| General Co-Chairs
Hessam S. Sarjoughian University of Arizona Electrical & Computer Engineering P O Box 210104 Tucson Arizona 85721-0104 Phone: 520-626-4846 Fax: 520-621-8076 Email: hessam@ece.arizona.edu François E. Cellier
Webmaster
|
Program Co-Chairs
Michael M. Marefat University of Arizona Electrical & Computer Engineering P O Box 210104 Tucson Arizona 85721-0104 Phone: 520-621-4852 Fax: 520-621-8076 Email: marefat@ece.arizona.edu Jerzy W. Rozenblit
Conference Administrator
|
INTERNATIONAL PROGRAM COMMITTEE
| Fernando J. Barros
Universidade De Coimbra, Portugal Agostino Bruzzone
Sung-Do Chi
Steve Coy
Paul Fishwick
Norman Foo
Steven B. Hall
Mark Henderson
David R. C. Hill
John Holland
Mo Jamshidi
Cliff Joslyn
Tag Gon Kim
George J. Klir
Granino Korn
Christopher Landauer
|
Dell Lunceford
AMSO, USA Alexander M. Meystel
Anil Nerode
Tuncer Ören
Ernest Page
Franz Pichler
John Pollock
Herbert Praehofer
Larry Reeker
Shingo Takahashi
Adelinde M. Uhrmacher
Hamid Vakilzadian
Gabriel A. Wainer
Wayne A. Wymore
Lotfi A. Zadeh
|
MONDAY, MARCH 6, 2000
Registration 7:00 am 5:00 pm
Authors Breakfast 7:30 8:15 am
Introduction 8:30
8:40 am
Keynote: Wayne A. Wymore 8:40 9:40 am
Title: Simulation of Hybrid Systems
 |
Bio-Sketch: Wayne A. Wymore earned BS and MS degrees at Iowa State University, and the PhD at the University of Wisconsin, Madison, all in mathematics. He is Visiting Professor of Systems Engineering at De Montfort University, Leicester, UK, and Professor of Systems and Industrial Engineering (SIE), Emeritus, at the University of Arizona where he was founder and first chairman of the SIE Department and first Director of the Computing Center. He is charter member #25 of the International Council on Systems Engineering (INCOSE), elected to the first Board of Directors and subsequently reelected, founder and first President of the Southern Arizona Chapter of INCOSE and among the first seven Fellows designated by INCOSE. While managing the SIE Department, teaching and developing courses, researching into the system theoretic foundations of systems engineering and consulting (50 organizations in 13 countries in 21 fields of application), he authored A Mathematical Theory of systems engineering: The Elements, 1967, systems engineering Methodology for Interdisciplinary Teams, 1976, and Model-Based systems engineering, 1993, at an average rate of 11 years per book. System Functional Analysis and System Design, Phase 2 of Model-Based systems engineering is forthcoming soon from CRC press. |
Technical Sessions: 9:50 11:00 am
Session 1: Modeling & Simulation
Theory
Chair: B.P. Zeigler
Adaptive Designs for Multiresolution, Multiperspective
Modeling (MRMPM)
Paul Davis
RAND Corporation, USA
Towards a Modeling Formalism for Conflict Resolution
and for Sociocybernetics
Tuncer Ören
Marmara Research Center, Turkey
Simulation of Meaning Generation: Multiscale Coalitions
of Autonomous Agents
Alexander M. Meystel
Drexel University, USA
Coffee Break 11:00 11:20 am
Technical Sessions 11:20 12:30 pm
| Session 2 Ontologies (Parallel)
Chair: E. Gelenbe DEVSIF: A Relational Algebraic DEVS Intermediate Format
A Methodology for the Translation of Knowledge Between
Heterogeneous Planners
Ontology Engineering for Distributed Collaboration
in Manufacturing
|
Session 3 - Simulation Environments
(Parallel)
Chair: Z. Swiatnicki Model-Based Artificial Life Systems: Card Game Player
Example
Acquisition of Knowledge Based DEVS Models Using Extended
Event Graphs
Virtual Simulation Environments
|
Lunch 12:30 1:50 p.m.
Luncheon Speaker:Colonel John C. Deal, U.S. Army, Fort Huachuca. Arizona
Topic: Training, Operational Planning, Design and Development in the Virtual Domain (presentation only) [PPT File 3344 KB] [Winzip File 3083 KB]
 |
Bio-Sketch: Colonel John C. Deal graduated from the University of Alaska with a BA in Physics. He was commissioned as a Second Lieutenant in the United States Army Signal Corps and entered on active duty in 1973. His professional military training include the Signal Officer Basic and Advance Courses, Airborne, Ranger and Air Assault Courses, the Telecommunications Systems Staff Officer Course, and the Naval Command and Staff College. He served as a Senior Service College Fellow at the University of Pittsburgh in 1993/94 and as a Senior Fellow of the Secretary of Defense Strategic Studies Group in 1996/97. He holds a MSEE from the Naval Postgraduate School, a MA in National Security and Strategic Studies from the Naval War College, and a MA in International Relations from Salve Regina University. Colonel Deal is the Commander of the United States Army Information Systems Engineering Command. Prior to this assignment he served as the Executive Officer, Office of the Director of Information Systems for Command, Control, Communications, and Computers (ODISC4) and Army CIO, Headquarters, Department of the Army. |
Technical Sessions 2:00 3:30 pm
| Session 4 - Agents I (Parallel)
Chair: A. Uhrmacher Integrating Computable General Equilibrium Models &
MultiAgent Systems - Why & How
A Generic Distributed Simulation System For Intelligent
Agent Design and Evaluation
Resources Management System For Distributed Platforms
Based On Multi-Agent Systems
Dynamic Interest Management in the Distributed Simulation
of Agent-Based Systems
|
Session 5 - Neural Networks
(Parallel)
Chair: H. Szcerbicka The Time Adaptive Self-Organizing Map With Neighborhood
Functions for Bilevel Thresholding
Neural Networks Application For Medical Image Analysis
Comparison of Neural Network Learning Methods in Application
for Objects Recognition in Radar Systems
Dynamic Neuronal Ensembles: A Complementary Development
of Artificial Neural Networks
|
Coffee Break 3:30 3:50 pm
Technical Sessions 3:50 5:00 pm
Session 6 - Agents II
Chair: J. Anderson
Framework for Modeling/Simulation of Mobile Agent Systems
Jae-Hyun Kim, Tag Gon Kim
KAIST, South Korea
Variable Structure/Agents Model Representation
Adelinde Uhrmacher
University of Ulm, Germany
Evolutionary Learning in Agent-based Modeling
Shingo Takahashi
Chiba Institute of Technology, Japan
Special Presentation 5:00 5:30 pm
Speaker: Frederica Darema
Title: Symbiotic Measurement and Simulation Application Systems (presentation only) [PPT File 2,476KB] [Winzip File 770KB]
 |
Bio-Sketch: Dr. Darema is the Senior Science and Technology Advisor at EIA and CISE, and Director of the Next Generation Software Program at NSF. Dr. Darema's interests and technical contributions span the development of distributed applications, programming models (including the SPMD model, which she proposed in 1984) and systems software, and performance methods and tools for the design and support of distributed systems. Dr. Darema received her BS degree from the University of Athens - Greece, and MS and Ph.D. degrees in Theoretical Nuclear Physics from the Illinois Institute of Technology and the University of California at Davis, respectively. After Physics Research Associate positions at the University of Pittsburgh and Brookhaven National Laboratory, she became a Technical Staff Member in the Nuclear Sciences Department at Schlumberger-Doll Research. In 1982, she joined the IBM T. J. Watson Research Center as a Research Staff Member in the Computer Sciences Department where she established and was the manager of a research group on parallel applications. While at IBM she also served in the IBM Corporate Strategy Group examining and helping set corporate-wide strategies. Dr. Darema has been at NSF since 1994, and recently completed a two-year assignment at DARPA where she initiated a new thrust for research on methods and technology for performance engineered systems. |
Abstract: The talk will discuss a new paradigm for the role of application simulations, and will address the challenges and research opportunities leading to the creation and ennoblement of a new generation of dynamic/adaptive applications. The novel capabilities discussed here are application simulations that can dynamically accept and respond to "on-line" field-data and measurements, and/or can control such measurements. This synergistic and symbiotic feedback control-loop between simulations and measurements is a novel technical direction that can open new domains in the capabilities of simulations with high potential pay-off, and creating applications with new and enhanced capabilities. It has the potential to transform the way science and engineering are done, and induce a major beneficial impact in the way many functions in our society are conducted, such as manufacturing, commerce, transportation, hazard prediction/management, and medicine, to name a few.
Traditionally applications' simulations are conducted with static data inputs. In the new dynamic, data-driven application systems envisioned here, the simulations and the experiments (or field-data) become a symbiotic feedback system rather than the usual static, disjoint and serialized approaches. The presentation will examine the technical challenges and research areas that need to be fostered to enable such capabilities. What are the requirements in the applications' level for enabling this kind of dynamic feedback and control loop? What are the requirements in the applications' algorithms for the algorithms to be amenable to perturbations by the dynamic data inputs? What are the challenges and technology needed at the computer systems areas to support such environments? Such challenges clearly also present the need for a synergistic multidisciplinary research in applications, systems' and algorithms' areas, and the presentation will also touch upon management and programmatic aspects for accomplishing the objectives set here.
PANEL SESSION: 5:45 7:15 pm
Chair: Tuncer I. Ören
Panelists: F.E. Cellier, E. Gelenbe, J.W. Rozenblit, A.W. Wymore, B.P. Zeigler
Title: Modelling and Simulation: Challenges for Early 21st Century
TUESDAY, MARCH 7, 2000
Registration 7:00 am 5:00 pm
Authors Breakfast 7:30 8:15 am
Keynote: Alexander M. Meystel 8:30 9:30 am
Title: Learning-Planning-Control Continuum
 |
Bio-Sketch:
A. M.
Meystel is a Professor of Electrical and Computer Engineering at Drexel
University. Since 1995, he is also at the National Institute of Standards
and Technology (NIST), Gaithersburg, MD as a Senior scientist, then as
a Guest Researcher. He developed a theory of the multiresolutional (multigranular,
multiscale) intelligent systems architecture and implemented it as the
Planner-Navigator-Pilot for Autonomous Dune Buggy (1984-1987) and robotic
spray-casting machine (1987-1990). Now, he participates in the NIST-guided
work on a team of unmanned autonomous vehicles.
He is an author of more than 300 papers and 17 books including "Autonomous Mobile Robots: Vehicles with Cognitive Control", World Scientific, 1991. He was one of the initiators of the IEEE International Symposium on Intelligent Control, and served as a general and program chair at four out of 14 meetings. He is on the IEEE Technical Committee on Intelligent Control and is the moderator of the internet-based AICS-L list: a discussion group on Architectures for Intelligent Control Systems. |
Technical Sessions: 9:30 11:00 am
| Session 1 - DEVS Theory I (Parallel)
Chair: D. Hill DEVS Framework for Systems Development: Unified Specification
for Logical Analysis, Performance Evaluation & Virtual Prototyping
*
Generalised Discrete Event Abstractions of Dynamic
Systems
A Framework For Representing Numerical Multirate Integration
Methods
Time Cell-DEVS: Modeling and Simulation of Cell Spaces
|
Session 2 System
Design & Networks (Parallel) Chair:
S. Vahie
Towards Semiotic Agent-Based Models Of Socio-Technical
Organizations
Modeling of Communications Networks For the Virtual
Radiology Environment Project
VHDL-Based Analysis of Network-Centric Systems
|
Coffee Break 11:00 11:20 am
Technical Sessions: 11:20 12:30 pm
| Session 3 - Military Applications
(Parallel)
Chair: J. Anderson Rational Agents, Simulation and Military Operations
Maneuvering Agents Within A Synthetic Battlefield
Towards an Integrated C3I Framework For Human Performance
Modeling & Analysis
|
Session 4 - Modeling Methodologies/Practices
(Parallel)
Chair: R. Sato Decomposition of a Traffic Flow Model For a Parallel
Simulation
Experimental Results of Timed Cell-DEVS Quantization
Enhanced Equal Frequency Partition Method For the Identification
of a Water Demand System
|
Lunch 12:30 1:30 pm
Technical Session 2:00 3:10 pm
Session 5 - OO Modeling, Design,
& Applications
Chair: N. Giambiasi
Multimodeling & Object-Oriented Design Patterns
Application to Bio-Control Simulation
D. R. C. Hill, M. K. Traore, B. L. Garcia, C. Mazel,
A. Campos,
Université Blaise Pascal, France
P. Coquillard, Université dAuvergne, France
T. Thibault, Université de Buce-Sophia Antipolis,
France
Simulation and Analysis of Legal Processes
Maryam A. Purvis, Martin K. Purvis
University of Otago, New Zealand
Towards A System Methodology for Object-Oriented Software
Analysis
Herbert Praehofer
Johannes Kepler University, Austria
Coffee Break 3:10 3:30 pm
Technical Session 3:30 4:40
Session 6 - Distributed Simulation
Chair: F. Barros
Simulation-Based Planning and Optimization of Assembly
Processes
Wilfried Sihn, Jörg Pirron, Ruediger Weller, Matthias
Brenner
Fraunhofer Institute for Manufacturing Engineering and
Automation, Germany
Modeling and Simulation of Supply Chain Management
Based on DEVS and CORBA Framework
Doohwan Kim, Heng Cao, Stephen J. Buckley
IBM T.J. Watson Research Center, USA
Design Considerations for Distributed Real-Time DEVS
Y. K. Cho, B.P. Zeigler, H.J. Cho, H.S. Sarjoughian,
S. Sen
The University of Arizona, USA
Conference Banquet 6:00 8:00 pm
WEDNESDAY, MARCH 8, 2000
Registration 7:00 am 4:00 pm
Authors Breakfast 7:30 8:15 am
Keynote: Norman Foo 8:30 9:30 am
Title: Why Engineering Models Do Not Have A Frame Problem
 |
Bio-Sketch:
Norman
Foo graduated B.E. (1965) and ME (1966) in Electrical Engineering, Canterbury
University, and M.A. (1970) and PhD (1974) in Computer and Communication
Sciences, University of Michigan. He has been assistant and visiting associate
professor in SUNY Binghamton and visiting professor in the IBM Systems
Research Institute and T.J. Watson Research Laboratories in Hawthorne,
New York. From 1975 he was with the Basser Department of Computer, Sydney
University where he eventually held a personal chair as Professor of Knowledge
Systems. In 1996 he moved to the Department of Artificial Intelligence,
School of Computer Science and Engineering, University of New South Wales.
Norman's research has ranged in the past from algorithm analysis, abstract datatypes, complexity theory, and modelling and simulation to his present interests in logic programming, knowledge representation, artificial intelligence logics, and cognitive science. He has graduated 16 doctoral and 3 masters students. In 1998 the Australian Research Council gave him a five-year Special Investigator Award. |
Technical Sessions 9:30 11:00 am
| Session 1 - DEVS Theory II (Parallel)
Chair: G. Wainer DEVS-Based Modeling and Simulation of Intelligent Transportation
Systems
Representation of Dynamic Structure Discrete Event
Models: A Systems Theory Approach
Traffic Control Specifications Using Discrete Events
Cellular Models
FEOS-DECM: A High Level Event Oriented Formalism for
the Specification of Control Systems
|
Session 2 - Enterprise Manufacturing
(Parallel)
Chair: T.G. Kim A Framework For Modeling, Designing And Simulation
of Management Systems - A Generic Standard Approach
Modeling and Simulation of Business-Logistics With
Business Process Equation
Hierarchical Animation Environment
DEVS-Based Business Planning Tool For Manufacturing
Systems
|
Coffee Break 11:00 11:20 am
Technical Sessions 11:20 12:30 pm
| Session 3 - Machine Learning
(Parallel)
Chair: P. Davis Discrete Event Simulation Using Goal Oriented Learning
Agents
Flexible and Fast Convergent Learning Agent
How to Execute a Tutoring Process
|
Session 4 - Hybrid M&S (Parallel)
Chair: S. Ishizu Model Based Design
Automatic Derivation of Meaningful Experiments for
Hybrid Systems
Automated Validation of System Requirements For Embedded
Systems Design
|
Lunch 12:20 1:30 pm
Technical Session 2:00 3:30 pm
Session 5 DEVS/HLA Distributed
Simulation
Chair: C. Joslyn
Discrete Event Modeling and Simulation Of Multi-Robot
Systems
S. Akhavan, M. Jamshidi,
The University of New Mexico, USA
Analysis of the Behavior of Quantization: A Renewal
Theory Approach
B.P. Zeigler, Hyup J. Cho, J. G. Kim
The University of Arizona, USA
Modeling and Simulating Distributed Object Computing
Systems: A Case Study of a DEVS/HLA System
Daryl R. Hild, MITRE Corporation, USA
Hessam S. Sarjoughian, The University of Arizona, USA
Dynamic Maps
Maria Vaconcelos, Tropical Research Institute, Portugal
Antonio Gonçalves, Technical University of Lisbon,
Portugal
Fernando Barros, University of Coimbra, Portugal
Coffee Break 3:30 3:50 pm
Concluding Remarks/Wrap-Up: 3:50 4:20 pm