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

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

MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 21:25:37 GMT
Content-Type: text/html
Content-Length: 15903


<title>HYBRID 95</title>
<h1>Workshop on Verification and Control of Hybrid Systems</h1>
Sponsored by <!WA0><!WA0><!WA0><!WA0><a href="http://dimacs.rutgers.edu">DIMACS</a> and 
<!WA1><!WA1><!WA1><!WA1><a href="http://www.math.rutgers.edu/~sontag/sycon/sycon.html">SYCON</a><br>
October 22-25, 1995<br>
New Brunswick, New Jersey
<ul>
<li><!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.cornell.edu/Info/People/tah/hybrid95.html#1">
Program</a>
<li><!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.cornell.edu/Info/People/tah/hybrid95.html#2">
Organizers, sponsors, and program committee</a>
<li><!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.cornell.edu/Info/People/tah/hybrid95.html#3">
Registration, travel, and accomodation information</a>
<li><!WA5><!WA5><!WA5><!WA5><a href="ftp://ftp.cs.cornell.edu/pub/tah/Hybrid95/registration_form">
Registration form</a>
</ul>
<h2><a name="1">Program</a></h2>
<h3><i>Sunday, October 22</i></h3>
<h4>Invited Lecture I</h4>
Chair: P. Varaiya, University of California at Berkeley, USA
<p>
8.30-9.30
S. Sastry, University of California at Berkeley, USA,
<i>A game theoretic viewpoint to verification problems for hybrid systems</i>
<p>
<h4>Invited Session I</h4>
Chair: R. Alur, AT&T Bell Labs, USA
<p>
10.00-10.30
Z. Manna, Stanford University, USA,
A. Pnueli, The Weizmann Institute of Science, Israel,
<i>Clocked transition systems</i>
<p>
10.30-11.00
A. Benveniste, INRIA-IRISA, France,
<i>Compositional and uniform modelling of hybrid systems</i>
<p>
11.00-11.30
V. Gupta, XEROX PARC, USA, 
R. Jagadeesan, Loyola University, USA, 
V.A. Saraswat, D. Bobrow, XEROX PARC, USA,
<i>Computing with continuous change</i>
<p>
11.30-12.00
A.K. Mackworth,  University of British Columbia, Canada,
<i>The evolution of hybrid intelligent systems</i>
<p>
<h4>Invited Session II</h4>
Chair: P. Ramadge, Princeton University, USA
<p>
1.30-2.00
H.J. Sussmann, Rutgers University, USA,
<i>Partitions of the state space, regular synthesis, and piecewise smooth 
feedback controls</i>
<p>
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,
<i>Controlled switching diffusions as hybrid processes</i>
<p>
2.30-3.00
W. Kohn, Sagent Corporation, USA, 
A. Nerode, Cornell University, USA, 
J.B. Remmel, University of California at San Diego, USA,
<i>Hybrid systems as Finsler manifolds II: convexification of constranit 
manifolds</i>
<p>
3.00-3.30
W. Kohn, Sagent Corporation, USA,
A. Nerode, Cornell University, USA,
<i>Automata comparison procedure for the verification of hybrid systems</i>
<p>
<h4>Contributed Session I</h4>
Chair: S. Sastry, University of California at Berkeley, USA
<p>
4.00-4.20
H.B. Weinberg, N. Lynch, MIT, USA,
<i>Verification of automated vehicle protection systems</i>
<p>
4.20-4.40
R. de Lemos, University of Newcastle, UK, 
J. Hall, University of York, UK,
<i>Extended RTL in the specification and verification of an industrial 
press</i>
<p>
4.40-5.00
M. Sintzoff, Universite Catholique de Louvain, Belgium,
<i>Invariance and termination in structured dynamical systems</i>
<p>
5.00-5.20
A. Deshpande, D. Godbole, A. Gollu, P. Varaiya, University of California 
at Berkeley, USA,
<i>Design and evaluation tools for automated highway systems</i>
<p>
5.20-5.40
J.-M. Godhavn, T. Lauvdal, O. Egeland, The Norwegian Institute of Technology, 
Norway,
<i>Hybrid control in sea traffic management systems</i>
<p>
5.40-6.00
J.A. Haddon, D.N. Godbole, A. Deshpande, J. Lygeros,  University of 
California at Berkeley, USA,
<i>Verification of hybrid systems: monotonicity in the AHS control system</i>
<h3><i>Monday, October 23</i></h3>
<h4>Invited Lecture II</h4>
Chair: J. Sifakis, VERIMAG, France
<p>
8.30-9.30
A. Pnueli, The Weizmann Institute of Science, Israel,
<i>Hybrid systems: the computer science view</i>
<p>
<h4>Invited Session III</h4>
Chair: A. Nerode, Cornell University, USA
<p>
10.00-10.30
S.K. Mitter, V. Borkar, V. Chandru, MIT, USA,
<i>A linear programming model of first-order logic</i>
<p>
10.30-11.00
Z. Artstein, The Weizmann Institute of Science, Israel,
<i>Stabilization with hybrid feedback</i>
<p>
11.00-11.30
M.S. Branicky, MIT, USA,
<i>General hybrid dynamical systems: modeling, analysis, and control</i>
<p>
11.30-12.00
T.I. Seidman, University of Maryland Baltimore County, USA,
<i>The residue of model reduction</i>
<h4>Invited Session IV</h4>
Chair: T.A. Henzinger, Cornell University, USA
<p>
1.30-2.00
Pei-Hsin Ho, INTEL, USA,
<i>Automatic analysis of hybrid systems</i>
<p>
2.00-2.30
N. Halbwachs, VERIMAG, France,
<i>Verification of linear hybrid systems by means of convex approximations</i>
<p>
2.30-3.00
R. Alur, R.P. Kurshan, AT&T Bell Labs, USA,
<i>Timing analysis with Cospan</i>
<p>
3.00-3.30
K.G. Larsen, Aalborg University, Denmark,
<i>UPPAAL: a tool suite for verification of real-time systems</i>
<h4>Contributed Session II</h4>
Chair: A. Benveniste, INRIA-IRISA, France
<p>
4.00-4.20
P.E. Caines, Y.-J. Wei, McGill University, Canada,
<i>On dynamically consistent hybrid systems</i>
<p>
4.20-4.40
V.D. Dimitriadis, N. Shah, C.C. Pantelides, Imperial College, UK,
<i>Optimal design of hybrid controllers for hybrid process systems</i>
<p>
4.40-5.00
L.E. Holloway, University of Kentucky at Lexington, USA,
<i>On-line fault monitoring of hybrid systems using templates with dynamic
time scaling</i>
<p>
5.00-5.20
X. Qiwen, H. Weidong, The United Nations University, Macau,
<i>Hierarchical design of a chemical concentration control system</i>
<p>
5.20-5.40
J.-E. Stromberg, S. Nadjm-Tehrani, Linkoping University, Sweden,
<i>Switched bond graphs as front-end to formal verification of hybrid 
systems</i>
<p>
5.40-6.00
W. Ji, H. Weidong, The United Nations University, Macau,
<i>Formal specification of stability in hybrid control systems</i>
<h4>7.00-10.00 Banquet</h4>
<h3><i>Tuesday, October 24</i></h3>
<h4>Invited Lecture III</h4>
Chair: E. Sontag, Rutgers University, USA
<p>
8.30-9.30
R. Brockett, Harvard University, USA,
<i>Resource allocation for real-time control</i>
<h4>Invited Session V</h4>
Chair: R.P. Kurshan, AT&T Bell Labs, USA
<p>
10.00-10.30
C. Heitmeyer, Naval Research Laboratory, USA,
<i>The role of continuous and discrete variables in analyzing requirements
specifications</i>
<p>
10.30-11.00
O. Maler, VERIMAG, France, 
A. Pnueli, The Weizmann Institute of Science, Israel,
<i>Asynchronous circuits and timed automata</i>
<p>
11.00-11.30
D. Sinclair, Dublin City University, Ireland,
<i>Validation of hybrid systems by co-simulation</i>
<p>
11.30-12.00
S. Narain, Bellcore, USA,
<i>Proofs from temporal hypotheses via symbolic simulation</i>
<h4>Invited Session VI</h4>
Chair: B. Krogh, Carnegie Mellon University, USA
<p>
1.30-2.00
P. Ramadge, Princeton University, USA,
<i>On-line decision rules in hybrid control systems</i>
<p>
2.00-2.30
V.K. Garg, D. Cofer, The University of Texas at Austin, USA,
<i>On controlling timed discrete event systems</i>
<p>
2.30-3.00