2002 · 38 citations · 6 references
EngineeringSystems EngineeringProcess ControlProcess Systems EngineeringSystems ModelingControl SystemsControl TheoryDiscrete-event System ModelingHybrid SystemsProcess EngineeringSupervisory ControlControl Law SynthesisControl SynthesisControl System SynthesisDiscrete-event SystemsHybrid Control SystemsHybrid Systems ControlSupervisory Control SystemsSupervisory Control Theory
Hybrid systems modeling and control, especially for process control, are examined. The paper proposes a general hybrid system model and discusses three control‑law synthesis approaches. The model separates the open‑loop plant from the closed‑loop system, and three synthesis methods are described: a discrete‑event model with supervisory control, and two continuous‑specification approaches, the latter optionally incorporating time‑optimality. The model structure is suitable for analysis and synthesis of hybrid control systems.
Modeling and control of hybrid systems, with particular emphasis on process control applications, are considered in this article. 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, three different approaches for control-law synthesis based on continuous and discrete specifications are discussed. In the first one, the hybrid plant model is replaced by a purely discrete event model, related to the continuous specification, and a supervisor is synthesized applying supervisory control theory suggested by Ramadge and Wonham (1987). The other two methods directly utilize the continuous specification for determination of a control event generator, where time-optimal aspects are introduced as an option in the last approach.
6
The algorithmic analysis of hybrid systems
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text
Modeling and analysis of hybrid control systems
James A. Stiver, Panos J. Antsaklis · 2005 · 71 citations