http:^^www.cs.cornell.edu^info^people^tah^hybrid95.html

This data set contains WWW-pages collected from computer science departments of various universities

M.A. Shayman, University of Maryland at College Park, USA,
R. Kumar, University of Kentucky at Lexington, USA,
<i>Modeling and control of discrete event systems via process objects and 
masked composition</i>
<p>
3.00-3.30
R. Kumar, University of Kentucky at Lexington, USA,
M.A. Shayman, University of Maryland at College Park, USA,
<i>Supervisory control of real-time systems using prioritized 
synchronization</i>
<h4>Contributed Session III</h4>
Chair: J. Guckenheimer, Cornell University, USA
<p>
4.00-4.20
A. Puri, P. Varaiya, University of California at Berkeley, USA, 
V. Borkar, Indian Institute of Science, India,
<i>Epsilon-approximation of differential inclusions</i>
<p>     
4.20-4.40
T.A. Henzinger, H. Wong-Toi, Cornell University, USA,
<i>Linear phase-portrait approximations for nonlinear hybrid automata</i>
<p>
4.40-5.00
K. Cerans, J. Viksna, University of Latvia, Latvia,
<i>Deciding reachability for planar multi-polynomial systems</i>
<p>
5.00-5.20
I. Hoffmann, K.-U. Klatt, University of Dortmund, Germany,
<i>Modeling hybrid dynamical systems</i>
<p>
5.20-5.40
M. Kourjanski, P. Varaiya, University of California at Berkeley, USA,
<i>Stability of hybrid systems</i>
<p>
5.40-6.00
H.S. Park, Kangwon National University, Korea, 
Y.S. Kim, W.H. Kwon, Seoul National University, Korea,
<i>Model and stability of hybrid systems</i>
<h4>8.30-10:00 Panel Discussion</h4>
<i>Hybrid Systems Research: Achievements, Problems, and Goals</i>
<p>
Moderators: T.A. Henzinger, Cornell University, USA,
            E. Sontag, Rutgers University, USA
<p>
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
<h3><i>Wednesday, October 25</i></h3>
<h4>Invited Lecture IV</h4>
Chair: A. Pnueli, The Weizmann Institute of Science, Israel
<p>
8.30-9.30
N. Lynch, MIT, USA,
<i>Modelling and verification of automated transit systems, using timed 
automata, invariants and simulations</i>
<h4>Invited Session VII</h4>
Chair: H.J. Sussmann, Rutgers University, USA
<p>
10.00-10.30
C.G. Cassandras, University of Massachusetts at Amherst, USA,
<i>Optimal control problems in hybrid systems with some manufacturing 
applications</i>
<p>
10.30-11.00
P. Antsaklis, University of Notre Dame, USA,
<i>Hybrid control using Petri net feedback controllers</i>
<p>
11.00-11.30
B. Krogh, Carnegie Mellon University, USA,
J. Cury, Univ. Fed. Santa Catarina, Brazil,
T. Niinomi, Mitsubishi Heavy Industries, Japan,
<i>Control of hybrid systems using finite state approximations</i>
<p>
11.30-12.00
S. Bailey, R.L. Grossman, L. Gu, D. Hanley, University of Illinois at 
Chicago, USA,
<i>The analysis, design, and control of hybrid systems using persistent object 
stores</i>
<h4>Invited Session VIII</h4>
Chair: F.B. Schneider, Cornell University, USA
<p>
1.30-2.00
N. Lynch, MIT, USA, 
F. Vaandrager, CWI, The Netherlands,
<i>I/O automaton models for hybrid systems</i>
<p>
2.00-2.30
Z. Chaochen, Technical University of Denmark, Denmark,
<i>A formal theory of limits of durations</i>
<p>
2.30-3.00
A.P. Ravn, Technical University of Denmark, Denmark,
<i>Detecting interesting events </i>
<p>
3.00-3.30
A. Bouajjani, VERIMAG, France,
<i>On the verification of duration properties</i>
<h4>Contributed Session IV</h4>
Chair: M. Reed, Oxford University, UK
<p>
4.00-4.20
C. Bett, M. Lemmon, University of Notre Dame, USA,
<i>H-infinity gain schedule synthesis of supervisory hybrid control 
systems</i>
<p>
4.20-4.40
A. Savkin, R.J. Evans, University of Melbourne, Australia,
I.R. Petersen, Australian Defence Force Academy, Australia,
<i>A new approach to robust control of hybrid systems</i>
<p>
4.40-5.00
J. Raisch, S. O'Young, University of Stuttgart, Germany,
<i>A DES approach to control of hybrid dynamical systems</i>
<p>
5.00-5.20
K.G. Larsen, Aalborg University, Denmark, 
P. Pettersson, W. Yi, Uppsala University, Sweden,
<i>Diagnostic model-checking for real-time systems</i>
<p>
5.20-5.40
Y. Zhang, A.K. Mackworth, University of British Columbia, Canada,
<i>Specification and verification of dynamic systems by timed 
forall-automata</i>
<p>
5.40-6.00
K.G. Larsen, Aalborg University, Denmark, 
B. Steffen, University of Passau, Germany, 
C. Weise, Technical University of Aachen, Germany,
<i>Fischer's protocol revisited: a simple proof using modal constraints</i>
<h2><a name="2">Organizers, Sponsors, and Program Committee</a></h2>
This workshop is organized as a part of the DIMACS 1995-96 
<!WA6><!WA6><!WA6><!WA6><a href="http://dimacs.rutgers.edu/SpecialYears/1995_1996/index.html">
Special Year on Logic and Algorithms</a>.  
<!WA7><!WA7><!WA7><!WA7><a href="http://dimacs.rutgers.edu">DIMACS</a>
is a Science and Technology Center funded by 
the National Science Foundation, and the participating institutions are 
Rutgers University, Princeton University, AT&T Bell Laboratories, and
Bellcore.  The co-sponsor of this workshop is
<!WA8><!WA8><!WA8><!WA8><a href="http://www.math.rutgers.edu/~sontag/sycon/sycon.html">SYCON</a>, 
a Rutgers University Center dedicated to research in control theory and 
closely associated topics.
<h4>Organizing Committee</h4>
<ul>
  <!WA9><!WA9><!WA9><!WA9><a href="http://netlib.att.com/netlib/att/math/alur/alur.html">
  Rajeev Alur</a> ([e-mail])<br>
  <!WA10><!WA10><!WA10><!WA10><a href="http://www.cs.cornell.edu/Info/People/tah/tah.html">
  Thomas A. Henzinger</a> ([e-mail])<br>
  <!WA11><!WA11><!WA11><!WA11><a href="http://www.math.rutgers.edu/~sontag">
  Eduardo Sontag</a> ([e-mail])
</ul>
<h4>Program Committee</h4>
<ul>
  Rajeev Alur, co-chair (AT&T Bell Labs, USA)<br>
  Albert Benveniste (INRIA-IRISA, France)<br>
  John Guckenheimer (Cornell University, USA)<br>
  Thomas A. Henzinger, co-chair (Cornell University, USA)<br>
  Bruce Krogh (Carnegie Mellon University, USA)<br>
  Amir Pnueli (The Weizmann Institute of Science, Israel)<br>
  Peter Ramadge (Princeton University, USA)<br>
  Shankar Sastry (University of California, Berkeley, USA)<br>
  Fred B. Schneider (Cornell University, USA)<br>
  Eduardo Sontag, co-chair (Rutgers University, USA)<br>
  Hector Sussmann (Rutgers University, USA)<br>
  Joseph Sifakis (VERIMAG, France)
</ul>
<h4>DIMACS Special Year Organizing Committee</h4>
<ul>
  Eric Allender ([e-mail])<br>
  Robert Kurshan ([e-mail])<br>
  Moshe Vardi ([e-mail])
</ul>
<h2><a name="3">Registration, Travel, and Accomodation Information</a></h2>
<h4>Registration</h4>
Please email the 
<!WA12><!WA12><!WA12><!WA12><a href="ftp://ftp.cs.cornell.edu/pub/tah/Hybrid95/registration_form">
registration form</a>
to Pat Toci at [e-mail] (908-445-5930).  
There is no registration fee.
<h4>Travel and Hotel Information</h4>
It is recommended that participants arriving by plane fly into Newark
Airport.  Flying into Kennedy or La Guardia can add more than an hour
to the travel time to DIMACS.
<p>
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.  
<p>
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.
<p>
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.
<p>
For further questions regarding local transportation and accomodations, or 
to obtain detailed driving directions to the hotels and to DIMACS, contact 
Pat Toci at [e-mail] (908-445-5930).  
<h4>Full-time Students</h4>
The participation of graduate students at the workshop is strongly 
encouraged.  DIMACS provides funds to partially reimburse the cost of travel 
and accommodation for students.  If you are a full-time student and wish to 
be considered for travel support, please mark the registration form 
appropriately.  (The support level per person will depend on the number of 
student participants.)