PROCEEDINGS OF THE IEEE

July 2000        Vol. 88    No. 7

Special Issue on Hybrid Systems: Theory and Applications

LIST OF PAPERS

879 Scanning the Issue
A Brief Introduction to the Theory and Applications of Hybrid Systems
(Guest Editor’s Introduction) Panos Antsaklis
888 Automotive Engine Control and Hybrid Systems: Challenges and Opportunities (Invited Paper), Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto,Claudio Pinello, Alberto Luigi Sangiovanni-Vincentelli
913 Control Design of an Automated Highway System (Invited Paper), )Roberto Horowitz, Pravin Varaiya
926 High-Level Modeling and Analysis of the Air Traffic Alert and Collision Avoidance System (TCAS) (Invited Paper), Carolos Livadas, John Lygeros, Nancy A. Lynch
949 A Game Theoretic Approach to Controller Design for Hybrid Systems (Invited Paper), Claire Tomlin, John Lygeros, Shankar Sastry
971 Discrete Abstractions of Hybrid Systems (Invited Paper), Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, George Pappas
985 Logics for Hybrid Systems (Invited Paper), Jennifer M. Davoren, Anil Nerode
1011 Effective Synthesis of Switching Controllers for Linear Systems (Invited Paper), Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli
1026 Supervisory Control of Hybrid Systems (Invited Paper), Xenofon Koutsoukos, Panos J. Antsaklis, James Stiver , Michael D. Lemmon
1050 Continuous-Discrete Interactions in Chemical Processing Plants (Invited Paper), Sebastian Engell, Stefan Kowalewski, Christian Schulz, Olaf Stursberg
1069 Perspectives and Results on the Stability and Stabilizability of Hybrid Systems (Invited Paper), Ray Decarlo, Michael Branicky , Stefan Pettersson, Bengt Lennartson
1083 Performance Benefits of Hybrid Control Design for Linear and Nonlinear Systems (Invited Paper), N. Harris Mcclamroch, Ilya Kolmanovsky
1097 Integration of Task Scheduling, Action Planning and Control in Robotic Manufacturing Systems (Invited Paper), Mumin Song, Tzyh-Jong Tarn, Ning Xi
1108 Optimal Control of Hybrid Systems in Manufacturing (Invited Paper), David L. Pepyne, Christos G. Cassandras