Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0

8-11 Oct. 2000

Go

Filter Results

Displaying Results 1 - 25 of 132
  • 2000 IEEE International Conference on Systems, Man & Cyberbetics - "Cyberbetics Evolving to Systems, Humans, Organizations, and their Complex Interactions"

    Publication Year: 2000, Page(s):0_2 - 0_3
    Request permission for reuse | PDF file iconPDF (69 KB)
    Freely Available from IEEE
  • Reflected method for having consciousness

    Publication Year: 2000, Page(s):3141 - 3146 vol.5
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (673 KB)

    When we think and look at things, things' behaviours, and things' phenomenon, we have an "attention" towards a target object: things/things' behaviours/phenomenon. Then we try to think about what it is, how it is, why it is, and so forth in order to recognize it. Then we can identify the target object and we will be able to recognize/decide what we want to do: examine or eat or touch an object con... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A modular modeling approach for CNC machines control using Petri nets

    Publication Year: 2000, Page(s):3147 - 3152 vol.5
    Cited by:  Papers (4)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (563 KB)

    Machine control can be executed in an integrated way using computerized numeric control (CNC) and the programmable logical controller (PLC). CNC deals with axes positioning and speed, the part cut off sequence and the operator interface, while PLC deals with machine interlocking, emergency sequences, start and stop sequences, among others, considering its environment integration. The machine PLC c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient computation of enabled transition bindings in high-level Petri nets

    Publication Year: 2000, Page(s):3153 - 3158 vol.5
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (558 KB)

    We present an algorithm for the computation of enabled transition bindings in high level Petri nets. The algorithm does not depend on either functional or logic language features, but may be implemented in commonly used imperative languages. To achieve this, we show that a high level Petri net transition, together with its input arcs, input places and place markings, constitutes an extended type o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using UML and object-coordination-nets for workflow specification

    Publication Year: 2000, Page(s):3159 - 3164 vol.5
    Cited by:  Papers (5)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (630 KB)

    The specification of intra- and inter-organizational workflows in a manner which scales up to complex workflows across division and company borders is a central issue for present-day workflow modeling. The approach described integrates standard object oriented structure modeling using UML diagrams with Petri net techniques for specifying behavior in order to provide an adequate support for modelin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Resource sharing estimation by Petri nets in PISH hardware/software co-design system

    Publication Year: 2000, Page(s):3165 - 3170 vol.5
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (510 KB)

    The article presents two approaches for computing the number of functional units in a hardware/software codesign context. The proposed hardware/software codesign framework uses the Petri net as a common formalism for performing quantitative and qualitative analysis. The use of the Petri net as an intermediate format allows us to analyze properties of the specification and formally compute performa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal structure analysis of universal learning network with multi-branches

    Publication Year: 2000, Page(s):3171 - 3176 vol.5
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (377 KB)

    Owing to the special characteristics of neural networks, the optimization of their structure is paid great attention. As the theoretical study and case analysis develop, the insufficiencies of networks with a single branch between nodes appear. (1) The loose structure when a single connection is used between nodes limits the application of neural networks in practice. Therefore, a compact network ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling mobile agent systems with high level Petri nets

    Publication Year: 2000, Page(s):3177 - 3182 vol.5
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (602 KB)

    The paper presents a Petri net based approach for architectural modeling of mobile agent systems. An agent template (net) is proposed to model a changing number of autonomous and communicative software agents. An agent space is explicitly abstracted as a component, consisting of mobility environment (system net), agent templates (agent nets), and internal connector (net). Agent transfer is natural... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Petri-net-based business process modeling for virtual enterprises

    Publication Year: 2000, Page(s):3183 - 3188 vol.5
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (541 KB)

    The paper presents our studies on Petri net based business process modeling for virtual enterprises. A virtual enterprise (VE) is a temporary alliance of member enterprises. Generally, a business process consists of a series of logically interrelated activities, to which appropriate resources will be assigned. In the virtual enterprise, both the activities and the resources are in multiple member ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Steady state of continuous neutral weighted marked graphs

    Publication Year: 2000, Page(s):3189 - 3194 vol.5
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (483 KB)

    Hybrid Petri Nets (PN), combining T-timed discrete PN and continuous PN, are convenient for the modelling and the performance analysis of fluid systems or manufacturing systems such as batch or high speed production systems. For instance, the continuous process can be modelled by a continuous PN while the state of machines, up or down, can be represented by a discrete PN. The aim of the paper is t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Developing adaptive buffer-level synchronization algorithm by Petri nets for improving quality of multimedia related services

    Publication Year: 2000, Page(s):3195 - 3200 vol.5
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (447 KB)

    Multimedia synchronization is one of the key issues to be resolved in order to provide a good quality of multimedia related services, such as video on demand (VoD) and lecture on demand (LoD). The authors introduce the Adaptive Buffer-Level Synchronization Algorithm, which is modeled and analyzed by ExSpect, a Petri net based simulation tool. In the suggested algorithm, the audio and video buffers... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Control logic generation for machining systems using Petri net formalism

    Publication Year: 2000, Page(s):3201 - 3206 vol.5
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (503 KB)

    The logic controller for a machining system is a discrete event supervisory system. In high volume transfer lines, it consists of three control modes: auto, hand, and manual. A logic controller can achieve the goal of a machining system by its control logic. The paper addresses a formal Petri net representation of the control logic and its implementation. The control logic is represented by two Pe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling train control systems with Petrinets-an operational specification

    Publication Year: 2000, Page(s):3207 - 3211 vol.5
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (473 KB)

    European cooperation and new technologies have an effect on the process of requirements specification in the development of train control systems. The meaning of requirements specification under these circumstances and aspects of the system which have to be described in it are discussed. With the goal of achieving a complete behavior specification in a methodically efficient manner, a modeling app... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adaptive job-shop scheduling with routing and sequencing flexibility using expert knowledge and coloured Petri nets

    Publication Year: 2000, Page(s):3212 - 3217 vol.5
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (613 KB)

    Petri nets are known to be efficient for modeling manufacturing systems, because they have a graphical representation and a well-defined semantics allowing format analysis. Considering conflicts as routing and sequencing alternatives, we propose a knowledge based algorithm for online scheduling, that guides the search for a near optimal schedule in the state space efficiently and limits the state ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A new heuristic method for solving the minimum initial marking problem of Petri nets

    Publication Year: 2000, Page(s):3218 - 3223 vol.5
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (509 KB)

    The paper proposes a novel heuristic algorithm FMDB for the minimum initial marking problem MIM of Petri nets: "Given a Petri net and a firing count vector X, find an initial marking M, with the minimum total token number, for which there is a sequence /spl delta/ of transitions such that each transition t appears exactly X(t) times in /spl delta/, the first transition is firable on M and the rest... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Semi-automatic control of overhead crane using potential method

    Publication Year: 2000, Page(s):3224 - 3229 vol.5
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (582 KB)

    In practical industries, overhead traveling cranes are usually manipulated by a human operator. The transfer object can be freely moved in three-dimensional space by the human operator for various tasks. Although manipulation for the moving direction of a crane is easy, the crane's operation without vibration of a load is difficult for unskilled operators, and therefore swinging of the object occu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Maneuvering target tracking using constant velocity and constant angular velocity model

    Publication Year: 2000, Page(s):3230 - 3234 vol.5
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (368 KB)

    The paper summarizes a maneuvering target tracking using a tracking filter with constant velocity and constant angular velocity model. A constant velocity model or a constant acceleration model is often used as a dynamic model of a tracking filter. If a target turns, these filters can not give full performance due to the disagreement between the real target and these models. In order to solve the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A behavior-based control architecture

    Publication Year: 2000, Page(s):3235 - 3240 vol.5
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (592 KB)

    The presented control architecture is designed to support the development of intelligent control systems that are connected to the real world via sensors and actuators, and deal with dynamic and partly unpredictable environments, for instance to control an autonomous mobile robot. With quite an implementational effort, existing control architectures allow us to implement navigation facilities on a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal trajectory generation for redundant planar manipulators

    Publication Year: 2000, Page(s):3241 - 3246 vol.5
    Cited by:  Papers (9)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (446 KB)

    Given the desired end effector poses (position and orientation) at the start and end points in a pick and place operation, motion planning for a redundant manipulator in a structured environment involves the generation of a smooth motion profile which not only satisfies the specified boundary conditions, but is also optimal with respect to some specified criterion. A new approach to this optimal p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Ideal Proportional Navigation Guidance system for moving object interception-robotic experiments

    Publication Year: 2000, Page(s):3247 - 3252 vol.5
    Cited by:  Papers (4)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (568 KB)

    An Ideal Proportional Navigation Guidance (IPNG) technique is applied to the problem of intercepting a fast maneuvering object in real time using an industrial robotic manipulator. A hybrid method is utilized, in which IPNG is combined with a conventional tracking method to ensure smooth interception. The method is suited for the interception of both fast maneuvering as well as slow maneuvering ta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cartesian coordinate control for redundant modular robots

    Publication Year: 2000, Page(s):3253 - 3258 vol.5
    Cited by:  Papers (19)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (508 KB)

    The paper focuses on the kinematic control of redundant modular robots for trajectory tracing. Based on the geometric numerical inverse kinematic algorithm developed for modular robots, a new online control method is presented. In this method, the inverse kinematic solution can be optimized through constructing a weighted matrix. Following this approach, some fundamental interpolation algorithms a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Self-tuning control of a translational flexible arm using neural networks

    Publication Year: 2000, Page(s):3259 - 3264 vol.5
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (428 KB)

    The self-tuning control of a translational flexible arm using neural networks is presented. The control scheme consists of a gain tuning neural network and a variable-gain feedback controller. This neural network is trained so as to make the error between the root shear force and the reference root shear force zero. In the process, the neural network learns the optimal gain of the feedback control... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using trinocular vision to build a real-time world model

    Publication Year: 2000, Page(s):3265 - 3270 vol.5
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (633 KB)

    The Department of Energy (DOE) in the USA, in its effort to clean up and shut down many of its radioactive facilities, would like to use robots to enhance efficiency and limit worker exposure to hazardous substances. Unlike industry, where the work environment is designed to facilitate robots, the DOE applications often have unknown, unstructured work areas. The paper describes an approach to use ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Control to realize human-like walking of a biped humanoid robot

    Publication Year: 2000, Page(s):3271 - 3276 vol.5
    Cited by:  Papers (5)  |  Patents (21)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (535 KB)

    The paper describes the balance control of biped locomotion systems. A biped humanoid robot is modeled and studied focusing on the realization of human-like walking. Firstly, the smooth motion of its lower limbs is characterized in terms of a set of walking variables. Secondly, to cancel moments produced by the motion of the lower limbs, the motion of its trunk and waist is derived by an iteration... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An optimal robot tracking controller with application in the finite horizon case

    Publication Year: 2000, Page(s):3277 - 3281 vol.5
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (303 KB)

    A control law for a rigid robotic manipulator optimizing quadratic cost functional composed of sliding surface and its derivative for fixed final time and free final state was proposed by Z. Ahmad (1995; 2000). Closed form solutions for such a control law corresponding to constant in time and specific diagonal time-varying weighting matrices are presented. These closed form solutions for the two p... View full abstract»

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