School Announcement

• Subject: School Announcement
• From: Sergio Yovine <sergio@PATH.Berkeley.EDU>
• Date: Wed, 20 May 1998 19:08:27 -0500
• Organization: PATH, UC Berkeley
• Reply-To: sergio@PATH.Berkeley.EDU

I apologize for the multiple copies you may receive.

                     ** First Announcement **
    School on Computational Aspects and Applications of Hybrid Systems
            KIT Workshop on Verification of Hybrid Systems

                Grenoble, France, October 19-21, 1998
           
             http://www-verimag.imag.fr/TEMPORISE/school98

AIM AND SCOPE
In the last few years, control theorists and computer scientists have
manifest an increasing interest in the so-called hybrid systems
which are composed of both discrete (e.g., software, hardware) and 
continuous (e.g., physical phenomena) subsystems. The interest is 
motivated by the fact that systems of that kind appear in many ongoing 
research projects such as the development of automated highways, automated 
air-traffic controlers, chemical plants and multimedia protocols. 

Most of such applications are safety critical. 
It is therefore necessary to guarantee that they meet the safety criteria 
before they are put to function. A lot of research effort has been put to 
develop mathematical models, specification formalisms and computer-aided 
analysis tools to help control engineers in building such applications. 

The purpose of this meeting is to present an overview of the results obtained 
and to bring together researchers working on innovative ideas. The meeting 
will include tutorials and surveys of techniques and tools which can be 
useful in the analysis of hybrid systems. These will include 
- Ellipsoid-based numerical methods.
- Computer algebra and quantifier elimination.
- Timed automata verification techniques.

SPEAKERS (Partial List)
Eugene Asarin (Moscow, Russia)
	"Symbolic Controller Synthesis for Timed Systems"
Alberto Bemporad and Manfred Morari (Zurich, Switzerland)
	"Model Predictive Control of Hybrid Systems"
Costas Courcoubetis (Crete, Greece)
	"Resource Sharing in ATM Networks"
Jean Della-Dora (Grenoble, France)
	"Computer Algebra"
Alexander Kurzhanski (Moscow, Russia)
	"Ellipsoidal Calculus for Estimation and Control"
Pravin Varaiya (Berkeley, USA)
	"Optimal Control and Verification of Hybrid Systems"
Volker Weispfenning (Passau, Germany)
	"Quantifier Elimination in Practice"

ORGANIZATION
The school is organized by VERIMAG (http://www-verimag.imag.fr)
and sponsored by the European Projects KIT HYBSYS 139 and VHS.

Organizing Committee:
Oded Maler (VERIMAG, France),
Alfredo Olivero (INCO, Uruguay, and UBA/UNGS, Argentina),
Sergio Yovine (VERIMAG, France).

For further information (school fees, how to register, final
program, ...) please send an e-mail to: 
                      Sergio.Yovine@imag.fr
or check the school's web page: 
            http://www-verimag.imag.fr/TEMPORISE/school98

• Prev: CONCUR '98: ACCEPTED PAPERS (and general infos)
• Next: COCL'98 Final Call for Papers
• Index: AMAST Mail 1998