Hybrid systems in process control

Modelling and control of hybrid systems, with particular emphasis on process control applications, are considered in this paper. Based on a number of observations on typical mixed discrete and continuous features for such applications, a fairly general model structure for hybrid systems is proposed. This model structure which clearly separates the open loop plant from the closed loop system, is suitable for analysis and synthesis of hybrid control systems. To illustrate this, two different approaches for control-law synthesis based on continuous and discrete specifications, are discussed.<<ETX>>

[1]  François E. Cellier.  Combined continuous/discrete system simulation by use of digital computers , 1979 .

[2]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[3]  Albert Benveniste,et al.  Hybrid Systems: The SIGNAL Approach , 1993, Hybrid Systems.

[4]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[5]  Michael Tittus.  Control Synthesis for Batch Processes , 1995 .

[6]  Raymond A. DeCarlo,et al.  A modeling strategy for hybrid systems based on event structures , 1993, Discret. Event Dyn. Syst..

[7]  Bengt Lennartson,et al.  Time-Optimal Control and Disturbance Compensation for a Class of Hybrid Systems , 1996 .

[8]  Thomas A. Henzinger.  Towards Re ning Temporal Speci cations into Hybrid Systems , 1993 .

[9]  P. Ramadge,et al.  On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

[10]  Alessandro Giua,et al.  Hybrid Petri Nets: a , 1996 .

[11]  Joseph Sifakis,et al.  An Approach to the Description and Analysis of Hybrid Systems , 1992, Hybrid Systems.

[12]  Bo Egardt,et al.  Control-law synthesis for linear hybrid systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[13]  S. Balemi,et al.  Supervisory control of a rapid thermal multiprocessor , 1993, IEEE Trans. Autom. Control..

[14]  Roger W. Brockett,et al.  Hybrid Models for Motion Control Systems , 1993 .

[15]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[16]  P. Varaiya,et al.  Hybrid dynamical systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[17]  Panos J. Antsaklis,et al.  On the controllability of hybrid control systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[18]  Panos J. Antsaklis,et al.  Modeling and analysis of hybrid control systems , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[19]  Mark A. Shayman,et al.  Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models , 1995 .

[20]  Panos J. Antsaklis,et al.  Hybrid System Modeling and Autonomous Control Systems , 1992, Hybrid Systems.

[21]  Bengt Lennartson,et al.  Time-optimal control for a class of hybrid systems , 1994 .

[22]  Bo Egardt,et al.  Hybrid Objects , 1994, Hybrid Systems.

[23]  Kevin M. Passino,et al.  Modeling and analysis of hybrid systems: examples , 1991, Proceedings of the 1991 IEEE International Symposium on Intelligent Control.

[24]  Jan Top,et al.  Modelling Model Switching in Dynamical Systems , 1992 .

[25]  Anil Nerode,et al.  Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.

[26]  François E. Cellier,et al.  Continuous system modeling , 1991 .

[27]  Brian D. Bunday,et al.  Basic linear programming , 1984 .

[28]  Mats Andersson,et al.  Modelling of Combined Discrete Event and Continuous Time Dynamical Systems , 1993 .

[29]  Peter J. Ramadge,et al.  On the periodicity of symbolic observations of piecewise smooth discrete-time systems , 1990 .

[30]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[31]  Michael Tittus.  An Algorithm for the Generation of Control Laws for Linear Hybrid Systems , 1993 .

[32]  Bengt Lennartson,et al.  Hybrid Modelling Focused on Hybrid Petri Nets , 1995 .

[33]  Zohar Manna,et al.  Verifying Hybrid Systems , 1992, Hybrid Systems.

[34]  Panos J. Antsaklis,et al.  Event Identification and Intelligent Hybrid Control , 1992, Hybrid Systems.

[35]  Joseph Sifakis,et al.  Integration Graphs: A Class of Decidable Hybrid Systems , 1992, Hybrid Systems.