By Topic

AI, Simulation, and Planning in High Autonomy Systems, 1993. Integrating Virtual Reality and Model-Based Environments. Proceedings. Fourth Annual Conference

Date 20-22 Sept. 1993

Filter Results

Displaying Results 1 - 25 of 45
  • 1993 4th Annual Conference on AI, Simulation and Planning in High Autonomy Systems

    Publication Year: 1993
    Request permission for commercial reuse | PDF file iconPDF (138 KB)
    Freely Available from IEEE
  • A computer-based language learning tool for the handicapped

    Publication Year: 1993, Page(s):226 - 230
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (396 KB)

    The needs of the vocally handicapped and the shortcomings of existing speech aids are identified in the context of how better speech aids may be obtained. The requirements for quadriplegics are discussed together with the alternatives to speech-aid keyboards. The problems and limitations of standard speech aid keyboards act as an introduction to the theme of software-generated-keys (softkeys). Sof... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Recognizing hazardous situations among vehicles in a traffic world

    Publication Year: 1993, Page(s):205 - 210
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (480 KB)

    The use of a hierarchical plan description language to discriminate hazardous traffic situations from safe situations is described. A plan recognition component represents hypotheses about the drivers plans using this plan-description language. A conflict detection component determines conflicts among these plan hypotheses. The first step of conflict detection is done by qualitative reasoning, whi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Vision-based robot navigation in the 3D world

    Publication Year: 1993, Page(s):200 - 204
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (424 KB)

    The authors bring a robust approach to the solution of robot navigation in the 3-D environment utilizing visual information. The presented approach aims to enable a robot to process the scene image, gathered by a monocular camera, in order to recognize objects of the constrained 3-D environment. When the positions of the scene objects are known, the recognition process provides the information abo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • XOBS: A formalism for representing the behavior of virtual objects

    Publication Year: 1993, Page(s):260 - 266
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    Any successful technology for the construction of complex virtual worlds must be based on an expandable repository of components and a robust technology for assembling these components into progressively more complex objects and subworlds. There are two aspects to virtual world assembly: construction of physical shape and appearance, and construction of behavior. A representation for behavior that... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Virtual process design techniques for intelligent manufacturing

    Publication Year: 1993, Page(s):192 - 198
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (424 KB)

    The design techniques discussed here are concerned with computer integrated, cellular manufacturing systems. Such systems consist of automated robotic cells. Planning and control within a cell is carried out in off- and on-line modes by a hierarchical controller. A workstation and its control modules are called computer assisted workcell (CAW). An intelligent CAW should determine control laws so t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Supporting flexible autonomy in a simulation environment for intelligent agent designs

    Publication Year: 1993, Page(s):60 - 66
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (692 KB)

    Intelligent agents designed to perform in the real world should, by definition, be tested and evaluated in such a world. However, this is impossible in many situations; a lack of resources may rule out construction of a complete robotic environment, for example, or the desired domain may be physically inaccessible for testing. In such situations, the use of a situation system is needed. Gensim, a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A knowledge-based systems engineering tool for global design tradeoffs

    Publication Year: 1993, Page(s):252 - 258
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (508 KB)

    Exploring tradeoffs is the main activity in design. Therefore, a design environment must assist designers in building software models that can be used in tradeoff studies. The importance of integrating models, providing communication among sets of models, and verifying the correctness and scope of the models are described. The VEHICLES design environment, which is built to support the design of sp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A network approach to parallel discrete event simulation

    Publication Year: 1993, Page(s):280 - 286
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (548 KB)

    A network approach to parallel discrete event simulation is described. A set of production rules is used to describe the behavior of active objects in a simulation system so that production rules can be merged and evaluated collectively in a rule network. To maintain correctness and exploit all possible parallelism, each token is time-stamped and can be processed asynchronously. To handle rollback... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • AI controlled high level Petri nets in simulating FMS

    Publication Year: 1993, Page(s):302 - 308
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (540 KB)

    A methodology using AI and mobile knowledge bases in knowledge attributed Petri nets (KPANs) to promote the simulation of flexible manufacturing systems (FMSs) is presented. The choice of Petri net and the general aspects of the Petri nets used are discussed. Application of the principles is illustrated using the CASSANDRA simulation system View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed simulation algorithm for sparse output DEVS

    Publication Year: 1993, Page(s):171 - 177
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (504 KB)

    A distributed simulation algorithm for managing a set of processors executing a single-level network of sparse output discrete event system specification (DEVS) models is introduced. A sparse output DEVS is a DEVS in which the number of states that generate non-null outputs is much less than the total number of states. The new algorithm can be characterized by the following: it extends the basic a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fuzzy pattern matching and its application to system simulation

    Publication Year: 1993, Page(s):54 - 58
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (268 KB)

    Fuzzy patterns are represented by terms, which are interpreted as functions from a domain of symbols into an interval of truth values. A technique of fuzzy pattern matching is introduced and is implemented in simulation. In this simulation system, fuzzy objects and messages are represented by fuzzy terms, which can be approximately matched. This representation makes system simulation more flexible... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object oriented methodology integrating design, analysis, modelling, and simulation of systems of systems

    Publication Year: 1993, Page(s):238 - 244
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (708 KB)

    Development of systems of systems outstrips the current software systems development strategy. A development strategy which integrates design, analysis, modeling and simulation using a methodology which integrates aspects of modular decomposition, object-oriented design, and distributed system design is reported. The methodology is illustrated in the design of a high bandwidth communications infra... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analysis on steady state behavior of DEVS models

    Publication Year: 1993, Page(s):142 - 147
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB)

    B. P. Zeigler's (1984) DEVS formalism supports a unified modeling and simulation framework for discrete event systems, but it lacks an analytic means for reasoning about system behavior. To provide both analytic and simulation means for the formalism, an approach to analyzing the steady state behavior of DEVS models without simulation experiments is proposed. By establishing correspondence between... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the expressivity of the cancel construct and the temporal operator unless

    Publication Year: 1993, Page(s):274 - 279
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (428 KB)

    A recently developed logic-based foundation of discrete event modeling and simulation asserts that making predictions entails the usage of temporal operators. The constructs of simulation languages based on the classical world views of event scheduling, activity scanning, and process interaction implement a limited functionality of the three temporal operators when, whenever, and unless. The natur... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed case-based planning: Multi-agent cooperation for high autonomy

    Publication Year: 1993, Page(s):295 - 301
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (588 KB)

    A drawback of typical knowledge-based systems, including case-based reasoning systems, is that human intervention is often unavoidable when there is a lack of knowledge necessary to solve a problem. The concept of cooperative case-based reasoning, where a case-based system may interact with another case-based system or other knowledge-based system to acquire the missing knowledge it needs to solve... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Virtual prototyping, object-oriented modeling and intelligent knowledge capture for system design

    Publication Year: 1993, Page(s):23 - 30
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (572 KB)

    Knowledge-based modeling and simulation bridges the gap between conventional artificial intelligence implementations (such as expert systems) and more traditional computer-aided design and modeling techniques. The authors are currently developing object-oriented software whose primary function is to capture a user-input design specification and produce a rapid prototype in the form of executable r... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The design and implementation of a distributed object-oriented knowledge-based system for hierarchical simulation modeling

    Publication Year: 1993, Page(s):164 - 170
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (472 KB)

    A distributed knowledge-based system (DKBS) that supports the construction of simulation models is described. DKBS is designed based on the object-oriented paradigm and implemented in C++ language on the Sun network. The system is capable of constructing a distributed simulation model represented by the System Entity Structure (SES). There are two kinds of objects in the system, the real knowledge... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Deriving ambiguous spatial relations

    Publication Year: 1993, Page(s):47 - 53
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (448 KB)

    Qualitative and relational representations of space offer a new and powerful approach to reasoning. This type of approach introduces ambiguity where there would be none in quantitative methodologies. Mechanisms for coping with ambiguity and examples of using these mechanisms for reasoning about space are given here View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using simulation in process engineering

    Publication Year: 1993, Page(s):232 - 237
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (432 KB)

    The flexible and economic production of goods requires a new level of automation. Workcells integrating manufacturing stations and robots, form the basis of a flexible manufacturing process. The manufacturing process to be performed in such a cell also needs definition. A prerequisite is an adequate process definition environment which uses computer support to define the manufacturing process. The... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Development environments: A multilevel enactment scenario

    Publication Year: 1993, Page(s):2 - 13
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (372 KB)

    The steps necessary to obtaining a development environment are detailed. The most important step in obtaining a development environment is deriving a process abstraction, that is, separating a product from the process used to create it. This separation is a major achievement of abstraction and, due to the need to decide which features of a process are specific to a specific product and which featu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Variable structure models: autonomy and control answers from two different modeling approaches

    Publication Year: 1993, Page(s):133 - 139
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (604 KB)

    Two different object-oriented modeling approaches, DEVS and EMSY, constitute the background to explore the area of variable structure modeling. The realization of various kinds of structural changes is discussed in both approaches. Against the background of their prime application domain, both approaches deal with the problem of structural change differently. While DEVS implies attention more to t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented multimodel approach to integrate planning, intelligent control and simulation

    Publication Year: 1993, Page(s):267 - 273
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (508 KB)

    The areas of planning, intelligent control and simulation have each spawned their own representational structures. Deliberative planning approaches found within AI are often rule based and simulation is often function based. Intelligent control approaches and the perceived need to integrate reactive control with deliberative planning have suggested an integration of modeling techniques; however, w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An intelligent GIS for rangeland impact assessment

    Publication Year: 1993, Page(s):109 - 115
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (568 KB)

    A monitoring and forecasting system is needed for bioregional planning, natural resource policy analysis and management strategy testing in California. The advantages of qualitative, rule-based models, and a state-transition paradigm to build ecosystem models are discussed. An intelligent geographic information system to model the effects of fire, grazing, thinning and protection on species compos... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling and verification of hybrid systems: A case study

    Publication Year: 1993, Page(s):211 - 217
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (504 KB)

    The problem of correctness and timing of reactions of an agent in interaction with a physical environment is addressed. To this end, a method based on composition of separate models of the software and the environment is used. To use available methods within the field of software verification, discrete representations of the continuous components are described systematically. A nontrivial case stu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.