By Topic

Systems, Man and Cybernetics, 1993. 'Systems Engineering in the Service of Humans', Conference Proceedings., International Conference on

Date 17-20 Oct. 1993

Go

Filter Results

Displaying Results 1 - 25 of 127
  • Proceedings of IEEE Systems Man and Cybernetics Conference - SMC

    Save to Project icon | Request Permissions | PDF file iconPDF (18 KB)  
    Freely Available from IEEE
  • Presentation of a new local area network for CIM applications

    Page(s): 532 - 535 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (328 KB)  

    Computer integrated manufacturing may solve a lot of problems modern industry faces, by integrating the computer in all manufacturing processes. This paper presents an industrial local area network that has being developed under the framework of the European STRIDE LIGHT project placing greater emphasis on the network management that has been implemented View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A methodology to design a reactive production management system

    Page(s): 536 - 541 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (528 KB)  

    Production management systems (PMS) have to react efficiently in front of events (disturbances and opportunities), by first detecting the potential events, second making a diagnosis and third launching adjustments (corrections) accordingly. Within the PMS, adjustment actions have to be launched from various departments (various levels of hierarchy and various functions). This paper proposes a tool aimed at both coordinating adjustment actions and providing a basic decision support system for a reactive production management system View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Toward a tool aiding the design of automated manufacturing systems

    Page(s): 542 - 547 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (460 KB)  

    This paper presents a new formalism for the design of automated manufacturing systems (AMS). This formalism is based on results from artificial intelligence and cognitive psychology works on human problem solving strategies. It is described in a validation context which is a small tooling model that allows to put forward its assets. A computer support of this formalism is also presented View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated multi media and visualisation techniques for process S&C

    Page(s): 367 - 372 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (572 KB)  

    In this contribution it will be shown how new forms of process visualisation and the integration of different information media can greatly help the operators of complex plants in supervisory control (S&C). The process visualisation aspects encompass process overview as well as detailed and context-specific yet interactive presentation of process information. The multimedia aspects show how the well-designed integration of video in particular can lead to an `augmented reality' that helps to narrow the gap between central control rooms and the actual plant. An example from the application domain of power plant control illustrates the benefits View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CIM applications modelling and “traceability”: from requirements to a real time distributed solution

    Page(s): 548 - 554 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (484 KB)  

    This paper is a contribution to the definition of a single model of application, this model should involve description of the different architectures used along the life cycle. More precisely, the main topic of this paper is to clearly define at each stage of the development the informations required and the characteristics of the application, considering both the designer needs and the validation needs. In this paper the authors only consider the two main stages and associated models : (1) functional architecture specification; and (2) design and distribution of the algorithms onto hardware architecture. The authors describe these two complementary models at different levels of abstraction in adequate formalism and they identify the relevant links between entities of these two models. Finally, the authors present Tracee, a tool prototype which allows a global and complete view of the application by using a database containing the description of the identified models and links View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Redundancy management in the SCEPTRE2 real-time executive

    Page(s): 373 - 378 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (396 KB)  

    SCEPTRE2 is a normative report on the basic mechanisms of the real-time executive kernels. No fault tolerance technique exists in its current version. So, in order to develop fault tolerance real time applications, redundancy management services must be provided. This paper presents some of the services me have specified for fault tolerance in SCEPTRE2. The SCEPTRE2 approach to fault tolerance is based upon the replication of capsules on distinct sites. The adopted replication strategy is the semi-active redundancy. A solution to the replica coordination problem is presented here View full abstract»

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

    Page(s): 86 - 92 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (560 KB)  

    Computerization of enterprises continues unabated and so does the cost of software. The availability of a generic, common-sense enterprise model is necessary if the costs are to be reigned in. But in order to construct useful generic enterprise models (GEM) there are a number of issues that have to be addressed. In this paper the author explores the following issues: Is there such a thing as a generic enterprise model? Can the terminology be precisely defined? Does all knowledge need to be explicit? Need there be a single, shared enterprise model? How can we determine which is a better enterprise model? Can an enterprise model be consistent? Can an enterprise model be created and kept current? Will the organization accept an enterprise-wide model? The author then briefly describes the TOVE project, which attempts to address many of these issues View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An algorithm for estimating the stability domain of linear discrete-time systems with saturations

    Page(s): 319 - 324 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (420 KB)  

    The aim of this paper is to propose a simple algorithm allowing determination of some positively invariant and asymptotically stable domains of nonlinear behaviours for linear state feedback discrete-time systems with saturation. Some theoretical results are given and used as support for the proposed approach which can be considered as a complement to methods based on the theory of linear systems with states and control constraints. The resulting algorithm basically consists of testing the decrease of a known Lyapunov function at vertices of a convex polyhedron of matrices View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A method and a tool for errors recovering in communication protocols

    Page(s): 379 - 384 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (408 KB)  

    Communication protocols are very complex systems devoted to ensure error-free exchanges of informations between communicating entities. From their specification to their implementation, the different steps of protocols development still represent a hard work for designers. In this paper, we develop a method to help protocols designers in specification steps, such that the considered protocols are error-free and correspond as possible to the expected service. After their detection, it allows the suppression of errors such as unspecified receptions, deadlocks and blocking loops. The communicating entities are modelised by finite state machine (FSM) and the validation step is based on the construction of the reachability graph. After a correction oriented analysis of this graph, our method proposes sets of transitions of one or another FSM. The suppression of transitions in any of these sets eliminates the considered error without generating other errors. We finally present an application of our method to correct errors in a data transfer protocol View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bank Tutor: an expert system for treasury management

    Page(s): 93 - 97 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (260 KB)  

    Bank Tutor is built around a shell known as CRYSTAL and is equipped with a graphical interface designed and implemented with TOOLBOOK. The easy integrability of the different telecommunications environments allows the utilization of the data flows coming back from the MID, (the Italian telemarket for interbank deposits) and from the MTS (the telemarket of the State bonds). Other economic quantities from different information sources are also inputted into the system. The output can be presented in a graphic form and comments are in natural language. Graphs can be tridimensional and natural language comments are shown whenever a decision has to be taken. The main hardware features of Bank Tutor are an IBM compatible with 4 MB of central memory and 40 MB hard disk View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bond graph and variable causality

    Page(s): 270 - 275 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (408 KB)  

    This paper deals with causality commutations which occur in bond graph models including certain discontinuous or nonlinear elements. How to describe elements with changing causal properties is discussed. A graphical notation and two causality assignment procedures are proposed for variable causality. Then a method for deriving elementary causal equations from a variable causality assignment is developed View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Circuit oriented simulation of GTO thyristors using bond-graphs

    Page(s): 579 - 582 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (252 KB)  

    This paper reports on a new numerical model of GTO thyristor embedded in a buck converter configuration. The GTO thyristor and the free-wheeling diode undergo and/or generate various types of stresses which cannot appear if the switches are modelled as two-state resistors (RON and ROFF), as is the case with many power circuit simulation softwares. Much more precise models have been developed from semiconductor physics, but they hardly apply to power circuit simulation because of the associated large number of equations. The purpose of this paper is to present a simple model of GTO thyristor derived from the device physics and allowing it to represent the device imperfections, in particular the behaviour at turn off. This has been achieved with the use of bond-graph technique View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bond-graph enumeration of the configurations of power static converters

    Page(s): 251 - 256 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (424 KB)  

    In this paper, we propose bond-graph models and their causal analysis for the systematical enumeration of the possible configurations in the static power converters. This analysis is carried out by considering the switches as ideal (two binary states ON and OFF) and taking into account the commutations constraints. Firstly usual switches are modelled with bond-graph 1-port elements, which state induces the variable topology of the converters networks. The dynamical discrete event behaviour of the converters are described by Petri nets. The states of the Petri nets are defined locally for the ideal switches, and deduced globally for the converters by using a double causal analysis procedure. The method is applied to a voltage bridge inverter structure View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling and simulation of a thermo-hydraulic system

    Page(s): 561 - 566 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (296 KB)  

    The main object of this work is to model an experimental pilot plant, located in a control laboratory, using the bond graph technique and to simulate its behavior under different conditions. The process under study is a thermal hydraulic system, where the level and the temperature of a pressurized tank are controlled. The SIMNON simulation package was used and different simulations were performed modifying some parameters, in order to verify the model response View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computer aided design algorithms for polyvalent gripper systems

    Page(s): 226 - 232 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (400 KB)  

    In this paper we present a methodological approach to design polyvalent gripper systems (PGS). It is composed by a set of algorithms which allow to tackle and to solve key steps of design: grasp force planning, grasp mechanism (rigid or manipulable) designing, kinematic chain designing (to realize “configuration” mobilities). To do this, we used some heuristics in order to obtain an optimal solution for each design problems. In the following stages, we will give more details on these polyvalent systems and we develop these algorithms. To illustrate the results obtained by this approach, we will give an example of PGS designing View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Output control of actuator based on dynamic impedance matching

    Page(s): 441 - 446 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (368 KB)  

    If the actuators can work stably and their output characteristics are robust with varying load at the certain range of frequency, one can make real general-purpose robots by installing this type of actuator to drive the joints of robot arms. In this paper, first the authors present their proposed robust control method based on dynamic impedance matching to make the actuator output not influenced by load variation or frequency. Also the stability of this control system is studied and evaluated by simulation View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient decomposition algorithms for flexible manufacturing systems modelled by free choice nets

    Page(s): 618 - 623 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (396 KB)  

    The aim of this paper is to construct an efficient algorithm to find an S-decomposition and an SM-decomposition where each S-component contains only one token. These algorithms can be applied in deadlock detection and repetitive behaviour control in flexible manufacturing systems. Basic definitions and notations are shown. A polynomial order algorithm to find an S-decomposition is presented. A polynomial order algorithm to find an SM-decomposition of a live and safe free choice net is also presented View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parametric identification on bond graph models

    Page(s): 583 - 588 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (320 KB)  

    The objective of this work is the implementation of a parameter identification option in the package DESIS. DESIS is a computational tool which allows the modeling and simulation of any non-linear system using the bond graph methodology. The paper includes the presentation of the new module implemented and the modification of existing ones to adapt them to the problem solution. The parametric identification module implemented is for linear and SISO systems View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Abstract agents, actors and resources: a template for information systems modeling

    Page(s): 179 - 184 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (528 KB)  

    The abstract-agents-actors-resources model (3AR) presents the unification, under the actor concept, of the data, processes and behaviour approaches which are normally used separately in information system modeling. The 3AR model uses two levels. The first one defines the outline of the type of individuals detected in the reference universe. By examining their internal structure and their relationships to their environment, they are qualified as actors. The second level represents the domain knowledge in the form of conceptual hierarchies which make it possible to define exactly what these actors are. The position of the 3AR approach in relation to other models of information systems and to knowledge representation is also discussed View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On a tracking controller for MIMO linear systems

    Page(s): 642 - 646 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (288 KB)  

    A delayed feedforward tracking controller is derived for linear time invariant control systems. A necessary and sufficient condition for the existence of such a controller is also given View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Systems management for organizational support

    Page(s): 1 - 6 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (548 KB)  

    This paper discusses the role of systems management at the process level for support of contemporary organizations in the development of high quality products and services, especially through integrated use of information technology and systems engineering View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Strategic issues of information systems modelling

    Page(s): 343 - 348 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (600 KB)  

    We consider the information system as a computerized materialization of the collective intelligence of the institution. From this point of view, the information system design process is a collective, progressive, learning process where evolution takes a central role. We examine the needs and the pitfalls of this process and we propound methodological bases for the design and the evolution management of an information system View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated fault detection and diagnosis

    Page(s): 743 - 748 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (428 KB)  

    The development of technical diagnostic systems has shown that the time has come to bridge the gap between the process-oriented engineering approach and the reasoning-oriented approach. As a contribution to this on-going task, the paper proposes a unified frame for integration of different fault detection and decision techniques via approximate reasoning on analytical and heuristic fuzzy symptoms View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Construction of Lyapunov function that maximizes the parameter uncertainty that can be handled by output feedback stabilized discrete-time dynamic systems

    Page(s): 69 - 74 vol.1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (368 KB)  

    It has been shown that if the uncertainties of a discrete-time dynamic system can be modeled by cone bounded functions of the states, that such a system can be asymptotically stabilized, depending on the size of the uncertainties, via either deterministic Lyapunov based state or output feedback. Unlike continuous-time dynamic systems, the size of the uncertainties of discrete-time dynamic systems that can be handled can not be arbitrarily large. In this paper, we present an algorithm that enables the designer to construct a Lyapunov function such that the output feedback controller derived from it is capable of handling the largest possible uncertainty, Our approach relies on the construction of a matrix Q that has a structure which facilitates the computation of the maximum uncertainty through the maximization of a judiciously chosen cost function View full abstract»

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