8.30-9.30 S. Sastry, University of California at Berkeley, USA, A game theoretic viewpoint to verification problems for hybrid systems
10.00-10.30 Z. Manna, Stanford University, USA, A. Pnueli, The Weizmann Institute of Science, Israel, Clocked transition systems
10.30-11.00 A. Benveniste, INRIA-IRISA, France, Compositional and uniform modelling of hybrid systems
11.00-11.30 V. Gupta, XEROX PARC, USA, R. Jagadeesan, Loyola University, USA, V.A. Saraswat, D. Bobrow, XEROX PARC, USA, Computing with continuous change
11.30-12.00 A.K. Mackworth, University of British Columbia, Canada, The evolution of hybrid intelligent systems
1.30-2.00 H.J. Sussmann, Rutgers University, USA, Partitions of the state space, regular synthesis, and piecewise smooth feedback controls
2.00-2.30 M.K. Ghosh, Indian Institute of Science, India, S.I. Marcus, University of Maryland at College Park, USA, A. Arapostathis, The University of Texas at Austin, USA, Controlled switching diffusions as hybrid processes
2.30-3.00 W. Kohn, Sagent Corporation, USA, A. Nerode, Cornell University, USA, J.B. Remmel, University of California at San Diego, USA, Hybrid systems as Finsler manifolds II: convexification of constranit manifolds
3.00-3.30 W. Kohn, Sagent Corporation, USA, A. Nerode, Cornell University, USA, Automata comparison procedure for the verification of hybrid systems
4.00-4.20 H.B. Weinberg, N. Lynch, MIT, USA, Verification of automated vehicle protection systems
4.20-4.40 R. de Lemos, University of Newcastle, UK, J. Hall, University of York, UK, Extended RTL in the specification and verification of an industrial press
4.40-5.00 M. Sintzoff, Universite Catholique de Louvain, Belgium, Invariance and termination in structured dynamical systems
5.00-5.20 A. Deshpande, D. Godbole, A. Gollu, P. Varaiya, University of California at Berkeley, USA, Design and evaluation tools for automated highway systems
5.20-5.40 J.-M. Godhavn, T. Lauvdal, O. Egeland, The Norwegian Institute of Technology, Norway, Hybrid control in sea traffic management systems
5.40-6.00 J.A. Haddon, D.N. Godbole, A. Deshpande, J. Lygeros, University of California at Berkeley, USA, Verification of hybrid systems: monotonicity in the AHS control system
8.30-9.30 A. Pnueli, The Weizmann Institute of Science, Israel, Hybrid systems: the computer science view
10.00-10.30 S.K. Mitter, V. Borkar, V. Chandru, MIT, USA, A linear programming model of first-order logic
10.30-11.00 Z. Artstein, The Weizmann Institute of Science, Israel, Stabilization with hybrid feedback
11.00-11.30 M.S. Branicky, MIT, USA, General hybrid dynamical systems: modeling, analysis, and control
11.30-12.00 T.I. Seidman, University of Maryland Baltimore County, USA, The residue of model reduction
1.30-2.00 Pei-Hsin Ho, INTEL, USA, Automatic analysis of hybrid systems
2.00-2.30 N. Halbwachs, VERIMAG, France, Verification of linear hybrid systems by means of convex approximations
2.30-3.00 R. Alur, R.P. Kurshan, AT&T Bell Labs, USA, Timing analysis with Cospan
3.00-3.30 K.G. Larsen, Aalborg University, Denmark, UPPAAL: a tool suite for verification of real-time systems
4.00-4.20 P.E. Caines, Y.-J. Wei, McGill University, Canada, On dynamically consistent hybrid systems
4.20-4.40 V.D. Dimitriadis, N. Shah, C.C. Pantelides, Imperial College, UK, Optimal design of hybrid controllers for hybrid process systems
4.40-5.00 L.E. Holloway, University of Kentucky at Lexington, USA, On-line fault monitoring of hybrid systems using templates with dynamic time scaling
5.00-5.20 X. Qiwen, H. Weidong, The United Nations University, Macau, Hierarchical design of a chemical concentration control system
5.20-5.40 J.-E. Stromberg, S. Nadjm-Tehrani, Linkoping University, Sweden, Switched bond graphs as front-end to formal verification of hybrid systems
5.40-6.00 W. Ji, H. Weidong, The United Nations University, Macau, Formal specification of stability in hybrid control systems
8.30-9.30 R. Brockett, Harvard University, USA, Resource allocation for real-time control
10.00-10.30 C. Heitmeyer, Naval Research Laboratory, USA, The role of continuous and discrete variables in analyzing requirements specifications
10.30-11.00 O. Maler, VERIMAG, France, A. Pnueli, The Weizmann Institute of Science, Israel, Asynchronous circuits and timed automata
11.00-11.30 D. Sinclair, Dublin City University, Ireland, Validation of hybrid systems by co-simulation
11.30-12.00 S. Narain, Bellcore, USA, Proofs from temporal hypotheses via symbolic simulation
1.30-2.00 P. Ramadge, Princeton University, USA, On-line decision rules in hybrid control systems
2.00-2.30 V.K. Garg, D. Cofer, The University of Texas at Austin, USA, On controlling timed discrete event systems
2.30-3.00 M.A. Shayman, University of Maryland at College Park, USA, R. Kumar, University of Kentucky at Lexington, USA, Modeling and control of discrete event systems via process objects and masked composition
3.00-3.30 R. Kumar, University of Kentucky at Lexington, USA, M.A. Shayman, University of Maryland at College Park, USA, Supervisory control of real-time systems using prioritized synchronization
4.00-4.20 A. Puri, P. Varaiya, University of California at Berkeley, USA, V. Borkar, Indian Institute of Science, India, Epsilon-approximation of differential inclusions
4.20-4.40 T.A. Henzinger, H. Wong-Toi, Cornell University, USA, Linear phase-portrait approximations for nonlinear hybrid automata
4.40-5.00 K. Cerans, J. Viksna, University of Latvia, Latvia, Deciding reachability for planar multi-polynomial systems
5.00-5.20 I. Hoffmann, K.-U. Klatt, University of Dortmund, Germany, Modeling hybrid dynamical systems
5.20-5.40 M. Kourjanski, P. Varaiya, University of California at Berkeley, USA, Stability of hybrid systems
5.40-6.00 H.S. Park, Kangwon National University, Korea, Y.S. Kim, W.H. Kwon, Seoul National University, Korea, Model and stability of hybrid systems
Moderators: T.A. Henzinger, Cornell University, USA, E. Sontag, Rutgers University, USA
Panelists: J. Guckenheimer, Cornell University, USA, R.P. Kurshan, AT&T Bell Labs, USA, A. Nerode, Cornell University, USA, M. Reed, Oxford University, UK, J. Sifakis, VERIMAG, France, P. Varaiya, University of California at Berkeley, USA
8.30-9.30 N. Lynch, MIT, USA, Modelling and verification of automated transit systems, using timed automata, invariants and simulations
10.00-10.30 C.G. Cassandras, University of Massachusetts at Amherst, USA, Optimal control problems in hybrid systems with some manufacturing applications
10.30-11.00 P. Antsaklis, University of Notre Dame, USA, Hybrid control using Petri net feedback controllers
11.00-11.30 B. Krogh, Carnegie Mellon University, USA, J. Cury, Univ. Fed. Santa Catarina, Brazil, T. Niinomi, Mitsubishi Heavy Industries, Japan, Control of hybrid systems using finite state approximations
11.30-12.00 S. Bailey, R.L. Grossman, L. Gu, D. Hanley, University of Illinois at Chicago, USA, The analysis, design, and control of hybrid systems using persistent object stores
1.30-2.00 N. Lynch, MIT, USA, F. Vaandrager, CWI, The Netherlands, I/O automaton models for hybrid systems
2.00-2.30 Z. Chaochen, Technical University of Denmark, Denmark, A formal theory of limits of durations
2.30-3.00 A.P. Ravn, Technical University of Denmark, Denmark, Detecting interesting events
3.00-3.30 A. Bouajjani, VERIMAG, France, On the verification of duration properties
4.00-4.20 C. Bett, M. Lemmon, University of Notre Dame, USA, H-infinity gain schedule synthesis of supervisory hybrid control systems
4.20-4.40 A. Savkin, R.J. Evans, University of Melbourne, Australia, I.R. Petersen, Australian Defence Force Academy, Australia, A new approach to robust control of hybrid systems
4.40-5.00 J. Raisch, S. O'Young, University of Stuttgart, Germany, A DES approach to control of hybrid dynamical systems
5.00-5.20 K.G. Larsen, Aalborg University, Denmark, P. Pettersson, W. Yi, Uppsala University, Sweden, Diagnostic model-checking for real-time systems
5.20-5.40 Y. Zhang, A.K. Mackworth, University of British Columbia, Canada, Specification and verification of dynamic systems by timed forall-automata
5.40-6.00 K.G. Larsen, Aalborg University, Denmark, B. Steffen, University of Passau, Germany, C. Weise, Technical University of Aachen, Germany, Fischer's protocol revisited: a simple proof using modal constraints
DIMACS has successfully and quite pleasantly used the Comfort Inn and the Holiday Inn, both in South Plainfield, New Jersey--they are next to each other. The Comfort Inn gives participants of DIMACS workshops the special rate of $47.00 ($52.00 if two guests share a room), and the Holiday Inn gives DIMACS the special rate of $60.00 per room (includes a continental breakfast). The Comfort Inn's phone number is 908-561-4488. The Holiday Inn's phone number is 908-753-5500.
The Comfort Inn provides free van service to and from Newark Airport. You need to give them a 24-hour notice. To travel between Newark Airport and the Holiday Inn, we recommend ICS Van Service, 800-225-4427 (for inside the United States) or 908-566-0795. The rate is $23.00 per person. It must be booked in advance. From the New York airports, participants may take the Grayline Air (bus) Shuttle (800-451-0455) to Newark Airport, and then ICS Van service from there.
The first day of the workshop (October 22) will be held at the Holiday Inn. All workshop events on October 23-25 will take place at DIMACS, located in the CoRE Building of Rutgers University, Busch Campus, in Piscataway, New Jersey. Both the Comfort Inn and the Holiday Inn provide free van service to and from DIMACS. Participants arriving to DIMACS by car need a parking permit. Parking permits will be available in the hotels and at the registration table. Please be sure to park in Lot 64.
For further questions regarding local transportation and accomodations, or to obtain detailed driving directions to the hotels and to DIMACS, contact Pat Toci at toci@dimacs.rutgers.edu (908-445-5930).