By Topic

Proceedings of the IEEE

Issue 7 • July 2000

Filter Results

Displaying Results 1 - 16 of 16
  • Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems

    Publication Year: 2000, Page(s):879 - 887
    Cited by:  Papers (121)  |  Patents (3)
    Request permission for commercial reuse | PDF file iconPDF (95 KB)
    Freely Available from IEEE
  • Automotive engine control and hybrid systems: challenges and opportunities

    Publication Year: 2000, Page(s):888 - 912
    Cited by:  Papers (103)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1110 KB)

    The design of engine control systems has been traditionally carried out using a mix of heuristic techniques validated by simulation and prototyping using approximate average-value models. However, the ever increasing demands on passengers' comfort, safety, emissions, and fuel consumption imposed by car manufacturers and regulations call for more robust techniques and the use of cycle-accurate mode... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Control design of an automated highway system

    Publication Year: 2000, Page(s):913 - 925
    Cited by:  Papers (154)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (372 KB)

    Describes the design of an automated highway system (AHS) developed over the past ten years in the California PATH program. The AHS is a large, complex system, in which vehicles are automatically controlled. The design and implementation of the AHS required advances in actuator and sensor technologies, as well as the design, analysis, simulation, and testing of large-scale, hierarchical hybrid con... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS)

    Publication Year: 2000, Page(s):926 - 948
    Cited by:  Papers (41)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1023 KB)

    We demonstrate a high-level approach to modeling, analyzing, and verifying complex safety-critical systems through a case study on the traffic alert and collision avoidance system (TCAS); an avionics system that detects and resolves aircraft collision threats. Due to the complexity of the TCAS software and the hybrid nature of the closed-loop system, the traditional testing technique of exhaustive... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A game theoretic approach to controller design for hybrid systems

    Publication Year: 2000, Page(s):949 - 970
    Cited by:  Papers (216)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1153 KB)

    We present a method to design controllers for safety specifications in hybrid systems. The hybrid system combines discrete event dynamics with nonlinear continuous dynamics: the discrete event dynamics model linguistic and qualitative information and naturally accommodate mode switching logic, and the continuous dynamics model the physical processes themselves, such as the continuous response of a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Discrete abstractions of hybrid systems

    Publication Year: 2000, Page(s):971 - 984
    Cited by:  Papers (326)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (495 KB)

    A hybrid system is a dynamical system with both discrete and continuous state changes. For analysis purposes, it is often useful to abstract a system in a way that preserves the properties being analysed while hiding the details that are of no interest. We show that interesting classes of hybrid systems can be abstracted to purely discrete systems while preserving all properties that are definable... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Logics for hybrid systems

    Publication Year: 2000, Page(s):985 - 1010
    Cited by:  Papers (51)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1337 KB)

    Hybrid systems are heterogenous dynamical systems characterized by interacting continuous and discrete dynamics. Such mathematical models have proved fruitful in a great diversity of engineering applications, including air-traffic control, automated manufacturing, and chemical process control. The high-profile and safety-critical nature of the application areas has fostered a large and growing bod... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Effective synthesis of switching controllers for linear systems

    Publication Year: 2000, Page(s):1011 - 1025
    Cited by:  Papers (83)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (468 KB)

    In this paper, we suggest a novel methodology for synthesizing switching controllers for continuous and hybrid systems whose dynamics are defined by linear differential equations. We formulate the synthesis problem as finding the conditions upon which a controller should switch the behavior of the system from one "mode" to another in order to avoid a set of bad states and propose an abstract algor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Supervisory control of hybrid systems

    Publication Year: 2000, Page(s):1026 - 1049
    Cited by:  Papers (151)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (688 KB)

    In this paper, the supervisory control of hybrid systems is introduced and discussed at length. Such control systems typically arise in the computer control of continuous processes, for example, in manufacturing and chemical processes, in transportation systems, and in communication networks. A functional architecture of hybrid control systems consisting of a continuous plant, a discrete-event con... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Continuous-discrete interactions in chemical processing plants

    Publication Year: 2000, Page(s):1050 - 1068
    Cited by:  Papers (82)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (506 KB)

    This paper discusses important hybrid aspects of chemical processing plants. It is outlined that discrete phenomena occur both on the physical level and in the control of these plants. As the dynamics of the transformations of energy and material are predominantly continuous, large and complex hybrid systems arise. We focus on three different aspects of dealing with such systems: (1) Modeling and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Perspectives and results on the stability and stabilizability of hybrid systems

    Publication Year: 2000, Page(s):1069 - 1082
    Cited by:  Papers (920)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (486 KB)

    This paper introduces the concept of a hybrid system and some of the challenges associated with the stability of such systems, including the issues of guaranteeing stability of switched stable systems and finding conditions for the existence of switched controllers for stabilizing switched unstable systems. In this endeavour, this paper surveys the major results in the (Lyapunov) stability of fini... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance benefits of hybrid control design for linear and nonlinear systems

    Publication Year: 2000, Page(s):1083 - 1096
    Cited by:  Papers (64)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (335 KB)

    This paper provides an overview of recent developments on design of hybrid controllers for continuous-time control systems that can be described by linear or nonlinear differential state equations. Hybrid controllers provide a generalization of classical feedback controllers for linear and nonlinear systems. The benefit of hybrid controllers, that they can be used to achieve closed-loop performanc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integration of task scheduling, action planning, and control in robotic manufacturing systems

    Publication Year: 2000, Page(s):1097 - 1107
    Cited by:  Papers (34)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (296 KB)

    This paper presents a novel approach for solving a challenging problem in the intelligent control of robotic manufacturing systems, i.e., the integration of low-level system sensing and control with high-level system behavior and perception. First, a newly developed event-based planning and control method will be introduced. It will then be extended to a robotic manufacturing system via a hybrid s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal control of hybrid systems in manufacturing

    Publication Year: 2000, Page(s):1108 - 1123
    Cited by:  Papers (94)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (577 KB)

    Hybrid systems combine time-driven and event-driven dynamics. This is a natural framework for manufacturing processes: The physical characteristics of production parts undergo changes at various operations described by time-driven models, while the timing control of operations is described by event-driven models. Accordingly, in the framework we propose, manufactured parts are characterized by phy... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distance education: Rebottling or a new brew?

    Publication Year: 2000, Page(s):1124 - 1130
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (51 KB)

    Engineering education is undergoing a significant transformation utilizing the very technology that engineers have developed. Many university engineering programs now use the Web as an integral part of both undergraduate and graduate degree programs. A number are delivering "distance education" courses and programs to students who do not have face-to-face contact with any instructor. This paper re... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The first Atlantic telegraphs

    Publication Year: 2000, Page(s):1131 - 1133
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (518 KB)

    Outlines the history of the development and laying of the first transatlantic telegraph cables, from County Kerry on the West Coast of Ireland to Heart's Content in Newfoundland (from which it was relatively easy to take a telegraph line to New York). Problems included waterproofing, signal attenuation, the breaking of the cable during laying, and the carrying of so much cable on ships. The first ... View full abstract»

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

Aims & Scope

The most highly-cited general interest journal in electrical engineering and computer science, the Proceedings is the best way to stay informed on an exemplary range of topics.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
H. Joel Trussell
North Carolina State University