Control design for integrator hybrid systems

The authors define controllability for hybrid systems as the existence of correct control laws that transfer the hybrid plant between predefined subsets of the hybrid state space. A methodology for analyzing controllability and synthesizing control laws for a class of hybrid systems, applicable especially in batch control, is proposed. They use a framework consisting of a hybrid plant and a hybrid controller that interact in a feedback fashion.

[1]  Bengt Lennartson,et al.  Hybrid systems in process control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

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

[3]  Thomas A. Henzinger,et al.  Towards Refining Temporal Specifications into Hybrid Systems , 1992, Hybrid Systems.

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

[5]  V. Borkar,et al.  A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[6]  Panos J. Antsaklis,et al.  Hybrid Systems II , 1994, Lecture Notes in Computer Science.

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

[8]  Oded Maler,et al.  Hybrid and Real-Time Systems , 1997 .

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

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

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

[12]  Thomas A. Henzinger,et al.  HYTECH: The Cornell HYbrid TECHnology Tool , 1994, Hybrid Systems.

[13]  Robert L. Grossman,et al.  Timed Automata , 1999, CAV.

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

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

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

[17]  Thomas A. Henzinger,et al.  Hybrid systems III : verification and control , 1996 .

[18]  Thomas A. Henzinger,et al.  Hybrid Systems III , 1995, Lecture Notes in Computer Science.

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

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