Hybrid systems: selected papers

This is a preliminary list of areas and some papers to be presented within that area. If more participants are specifically interested in a certain topic area, or there are interests not covered by this list, new papers will be considered and added. Most papers are from a special issue on Hybrid Systems in Proceedings of the IEEE, Vol.88, No.7, July 2000. For each paper there is a short description to guide in the selection process.

Simulation

• Krister Edström, "Switched Bond Graphs Simulation and Analysis", PhD thesis No.586, Linköping University, 1999. (part of the thesis), corresponding reports: Report 1908, Report 1890
  Mode switching in simulation. 
• P.J. Mosterman, " An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages", in F.W.Vaandrager and J.H. van Schuppen (Eds.), Hybrid Systems: Computation and Control, Berlin, Germany, Springer-Verlag, vol 1569, Lecture Notes in Computere Science, p. 165-177, 1999.
  Survey.

Stability analysis

• Raymond A. Decarlo, Michael S. Branicky, Stefan Pettersson and Bengt Lennartson, SAlur"Perspectives and Results on the Stability and Stabilizability of Hybrid Systems", Proc. of the IEEE, vol.88, No.7, pp. 1069-1082, July 2000.
  Lyapunov theory for hybrid systems.

Verification

• R. Alur, C.Courcoubetis, N.Halbwachs, T.A.Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis AND S. Yovine, The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol. 138, pp.3-34, 1995.
  Verification using model checking.
• Bruce H. Krogh and Alongkrit Chutinan, "Hybrid Systems: Modeling and Supervisory Control",Hybrid Systems: Modeling and Supervisory Control in Paul M. Frank (ed.), Advances in Control Highlights of ECC'99, London, Great Britain, Springer-Verlag, p. 227-246, 1999.
   
• J.M.Davoren and Anil Nerode, "Logics for Hybrid Systems", Proc. of the IEEE, vol.88, No.7, pp. 985-1010, July 2000.
  Survey describing different approaches based on logic.

Design

• Eugene Asarin, Olivier Bournez, Thai Dang, Oded Maler and Amir Pnueli, "Effective Synthesis of Switching Controllers for Linear Systems", Proc. of the IEEE, vol.88, No.7, pp. 1011-1025, July 2000.
  Logic (switching) controller for purely continous plant.
• Alberto Bemporad and Manfred Morari, Control of systems integrating logic, dynamics, and constraints, Automatica, vol.35, pp-407-427, 1999.
  Predictive control.
• Xenofon D. Koutsoukus, Panos J. Antsaklis, James A. Stiver and Michael D. Lemmon, "Supervisory Control of Hybrid Systems", Proc. of the IEEE, vol.88, No.7, pp. 1026-1049, July 2000.
  Ramadge-Wonham approach to Discrete Event Systems extended for hybrid systems.
• N.Harris McClamroch and Ilya Kolmanovsky, "Performance Benefits of Hybrid Conrol Design for Linear and Nonlinear Systems", Proc. of the IEEE, vol.88, No.7, pp. 1083-1096, July 2000.
  Logic (switching) controller for purely continous plant.
• David L. Pepyne and Christos G. Cassandras, "Optimal Control of Hybrid Systems in Manufacturing", Proc. of the IEEE, vol.88, No.7, pp. 1108-1123, July 2000.
  Given a schedule optimize e.g. speed for manufacturing processes.
• Claire J. Tomlin, John Lygeros and S. Shankar Sastry, "A Game Theoretic Approach to Controller Design for Hybrid Systems", Proc. of the IEEE, vol.88, No.7, pp. 949-970, July 2000.
  Reachable sets found using optimal control and game theory to derive the Hamilton-Jacobi equations.

Approximation

• Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere and George J. Pappas, "Discrete Abstractions of Hybrid Systems", Proc. of the IEEE, vol.88, No.7, pp. 971-984, July 2000.
  Abstraction of a continous plant resulting in a pure discrete system. 

Applications

• Sebastian Engell, Stefan Kowalewski, Christian Schulz and Olaf Stursberg, "Continuous-Discrete Interactions in Chemical Processing Plants" Proc. of the IEEE, vol.88, No.7, pp. 1050-1068, July 2000.
  Simulation and verification.
• Roberto Horowitz and Pravin Varaiya, "Control Design of an Automated Highway System", Proc. of the IEEE, vol.88, No.7, pp. 913-925, July 2000.
  Design.
• Carlos Livadas, John Lygeros and Nancy A. Lynch, "High-Level Modeling and Analysis of the Traffic Alert and Collision Avoidance System (TCAS)", Proc. of the IEEE, vol.88, No.7, pp. 926-948, July 2000.
  I/O automata and verification.

Back to Hybrid systems, Course description

---

Inger Klein

Informationsansvarig: Inger Klein
Senast uppdaterad: 2012-10-30