Scheduled System Maintenance
On Tuesday, January 22, IEEE Xplore will undergo scheduled maintenance from 1:00-4:00 PM ET
During this time, there may be intermittent impact on performance. We apologize for any inconvenience.

IEE Colloquium on Hybrid Control for Real-Time Systems

6-6 Dec. 1996

Filter Results

Displaying Results 1 - 9 of 9
  • Hybrid Control for real-time systems- Programme

    Publication Year: 1996, Page(s):0_2 - 0_3
    IEEE is not the copyright holder of this material | PDF file iconPDF (127 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Engineering aspects of real-time systems and an experiment in hybrid control

    Publication Year: 1996, Page(s):1/1 - 1/2
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (125 KB)

    An important application area for real-time computing is embedded systems where the computing system controls a mechanical, chemical etc. plant or device. The software requirements for such applications are derived from and depends on assumptions about the associated plant. A successful design for an overall system will therefore require close collaboration between control and software engineers. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling mode-switching systems as the limit of discrete computational processes

    Publication Year: 1996, Page(s):2/1 - 2/6
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (467 KB)

    This paper presents a theoretical outline of a new formalism for mode switching or hybrid systems in which continuous dynamics are represented as the limit of a discrete computational process. Mode switching systems are systems which are composed of continuous modes switched between by discrete transitions. Most existing mode switching formalisms treat their continuous and discrete components as d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Transforming continuous into discrete specifications with VDM/sup ++/

    Publication Year: 1996, Page(s):3/1 - 3/3
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (135 KB)

    The VDM/sup ++/ language, developed in the ESPRIT AFRODITE language as an object-oriented, concurrent and real-time extension of VDM, supports the specification of continuous and hybrid behaviour via the concept of time variables. These variables, which can be either inputs or outputs to a class, may vary continuously over time, and without the execution of any method of the class taking place. Th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extended real-time logic for hybrid systems controller design

    Publication Year: 1996, Page(s):4/1 - 4/2
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (150 KB)

    Summary form only given. Hybrid systems are systems which combine both continuous variable and discrete event dynamics. Their complexity has risen to the extent that traditional approaches which dealt separately with the continuous and discrete aspects of such systems have become obsolete. Instead of proposing a novel formal notation for the specification of controllers for hybrid systems we have ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using modal analysis to guarantee the closed loop behaviour of a class of hybrid systems

    Publication Year: 1996, Page(s):5/1 - 5/5
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (287 KB)

    Several issues in the control of a class of hybrid systems are discussed. The class of hybrid systems considered are linear time-varying plants controlled by means of switching between homogeneous controllers. In this paper modal analysis is used to analyse the behaviour of switching systems with real eigensystems. Conditions guaranteeing the stability of such systems are presented and guidelines ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hybrid flow nets for hybrid process modelling and control

    Publication Year: 1996, Page(s):6/1 - 6/3
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (174 KB)

    We consider a new methodology for modelling and control of a class hybrid systems. This method is based on Petri nets and continuous flow nets, which can be seen as a continuous nonlinear extension of Petri nets. Hybrid behaviour is represented by the interaction of this two kinds of nets, with a cross validation of the transition of one net to the other, and vice versa. This hybrid flow net can b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A novel modelling approach for multi-machine manufacturing systems with mixed-mode behaviour

    Publication Year: 1996, Page(s):7/1 - 7/8
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (829 KB)

    The paper addresses a novel modelling approach for multi-machine manufacturing systems with mixed-mode behaviour. Basic definitions and properties of connecting graphs are first developed. Procedures to derive two kinds of reduced graph, i.e., the equi-power graph and the min-time graph, from the original connecting graph are also given. These reduced graphs support the analysis and synthesis of t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Flexible scheduling theory for advanced engine controllers

    Publication Year: 1996, Page(s):8/1 - 8/3
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (272 KB)

    This paper describes work performed within the real-time systems group at the University of York on flexible scheduling strategies for safety critical hybrid control systems. The group has had success introducing fixed priority scheduling into aircraft engine controllers. The paper describes the requirements for hybrid controllers and then relate that to how scheduling theory may be used to meet t... View full abstract»

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