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.
Inger Klein
Informationsansvarig: Inger Klein
Senast uppdaterad: 2012-10-30