Hybrid Systems 98

• Subject: Hybrid Systems 98
• From: tah@eecs.berkeley.edu (Tom Henzinger)
• Date: Sun, 08 Feb 1998 16:37:50 -0800
• Reply-To: tah@eecs.berkeley.edu
• Sender: tah@ic.EECS.Berkeley.EDU

                       Final Program

           HYBRID SYSTEMS: COMPUTATION AND CONTROL

                   International Workshop

                      April 13-15, 1998
                    Berkeley, California

Organizers:
T.A. Henzinger, S. Sastry

Steering Committee:
P. Antsaklis, N. Lynch, A. Pnueli, A. Sangiovanni-Vincentelli, J. van Schuppen

Registration Information: 
http://hera.eecs.berkeley.edu/~ilp/hybrid.conf.reg.html


Monday, April 13
----------------

Session I

9:00-9:50 
Murray Wonham,
Invited Lecture

Session II

10:15-10:40
M.R. Greenstreet, I. Mitchell,
Integrating Projections

10:45-11:10
T. Dang, O. Maler,
Reachability Analysis via Face Lifting

11:15-11:40
A. Fehnker,
Automotive Control Revisited: Linear Inequalities as Approximation of
Reachable Sets

11:45-12:10
G. Lafferriere, G.J. Pappas, S. Sastry,
Subanalytic Stratifications and Bisimulations

Session III

1:45-2:10
E.S. Lemch, P.E. Caines,
Hierarchical Hybrid Systems: Partition Deformations and Applications
to the Acrobot System

2:15-2:40
A. Beydoun, L.Y. Wang, J. Sun, S. Sivashankar,
Hybrid Control of Automotive Powertrain Systems: A Case Study

2:45-3:10
A. Balluchi, M. Di Benedetto, C. Pinello, C. Rossi,
A. Sangiovanni-Vincentelli,
Hybrid Control for Automotive Engine Management: The Cut-off Case

3:15-3:40
J. Lygeros, N.A. Lynch,
Strings of Vehicles: Modeling and Safety Conditions

Session IV

4:10-4:35
Helen Gill,
Invited Address

4:40-5:30
Alberto Sangiovanni-Vincentelly,
Invited Lecture

Tuesday, April 14
-----------------

Session V

9:00-9:50
Joseph Sifakis, 
Invited Lecture

Session VI

10:15-10:40
V. Friesen,
A Logic for the Specification of Continuous Systems

10:45-11:10
C. Livadas, N.A. Lynch,
Formal Verfication of Safety-critical Hybrid Systems

11:15-11:40
L. Xuandong, Z. Tao, H. Jianmin, Z. Jianhua, Z. Guoliang,
Hybrid Regular Expressions

11:45-12:10
E. Asarin,
Equations on Timed Languages

Session VII

1:45-2:10
E.D. Ferreira, B.H. Krogh,
Switching Controllers Based on Neural-network Estimates of Stability 
Regions and Controller Performance

2:15-2:40
G. Lehrenfeld, R. Naumann, R. Rasche, C. Rust, J. Tacken,
Integrated Design and Simulation of Hybrid Systems

2:45-3:10
B. Carlson, V. Gupta,
Hybrid cc with Interval Constraints

3:15-3:40
J. Lygeros, G.J. Pappas, S. Sastry,
An Approach to the Verification of the Center-TRACON Automation
System

Session VIII

4:10-4:35
Linda Bushnell,
Invited Address

4:40-5:30
Panos Antsaklis,
Invited Lecture

Wednesday, April 15
-------------------

Session IX

9:00-9:50 
Stephen Boyd,
Invited Lecture

Session X

10:15-10:40
Z. Manna, H.B. Sipma,
Deductive Verification of Hybrid Systems using STeP

10:45-11:10
T.A. Henzinger, V. Rusu,
Reachability Verification for Hybrid Automata

11:15-11:40
C. Tomlin, J. Lygeros, S. Sastry,
Synthesizing Controllers for Nonlinear Hybrid Systems

11:45-12:10
J.H. van Schuppen,
A Sufficient Condition for Controllability of a Class of Hybrid Systems

Session XI

1:45-2:10
K.X. He, M.D. Lemmon,
Lyapunov Stability of Continuous-valued Systems under the Supervision of 
Discrete-event Transition Systems

2:15-2:40
M. Zefran, J.W. Burdick,
Stabilization of Systems with Changing Dynamics

2:45-3:10
A.S. Matveev, A.V. Savkin,
Reduction and Decomposition of Differential Automata: Theory and
Applications

3:15-3:40
B.M. Miller,
Optimization of Generalized Solutions on Nonlinear Hybrid 
(Discrete-Continuous) Systems

Session XII

4:10-4:35
T.W. Neller,
Information-based Optimization Approaches to Dynamical System Safety
Verification

4:40-5:30
Edward Lee,
Invited Lecture
  

• Prev: Doc and Post-doc positions - Verimag, Grenoble
• Next: Federated Logic Conference (FLoC'99)
• Index: AMAST Mail 1998