AMAST Mail 1996
[Prev][Next][Index]

Intern. Workshop on Hybrid and Real-Time Systems


	                     Call for Papers

        International Workshop on Hybrid and Real-Time Systems	
                                (HART'97)

		           March 26-28, 1997
                          Grenoble(*), France

                 http://www.imag.fr/VERIMAG/hart97.html

During the last couple of years, the interest in hybrid (discrete
continuous) models for modern control systems has been steadily
growing. These are systems in which physical devices interact with
controllers which incorporate discrete as well as classical
components.

Research on hybrid systems tries to meet the challenges of such
complex systems by offering various formal models that employ
continuous and discrete components such as timed and hybrid automata,
piecewise-linear dynamical systems, etc., and by investigating the
application of classical control and computer science notions and
techniques (e.g., modelling, stability analysis, verification, control
synthesis, simulation) to these models.

The hybrid nature of the models encourages the use of diverse
mathematical tools originating from both computer science (e.g., logic
and theorem proving, automata and graph algorithms) and more
traditional mathematics and engineering (dynamical systems, control
theory, linear algebra, symbolic computation). Such techniques should
be present in future tools for automating some of the activities
associated with the design of hybrid systems.

The three-day workshop will combine invited talks and presentations of
accepted submissions.  Submissions are invited in all areas pertaining
to the formal verification and control of embedded systems.  Topics
include, but are not limited to, formal models and specification
languages, algorithmic and deductive verification, control and
optimization, simulation and testing, design and synthesis, complexity
and decidability issues, automatic and interactive tools, experimental
results and applications.

The contributed papers will be divided into two categories:

1) Regular (category A) papers will be judged according to the
following criteria: Theoretical papers are expected to present
original and meaningful results. More practical papers should present
the application of a sound methodology or a tool to a non-trivial
case-study.

2) Short papers (category B) could be either a position paper or a
survey of one's own research on hybrid systems, as well as tool
description.

The program committee can transfer a paper from one category to
another.

Submission: 

Authors are requested to submit a postscript file (or five copies) of
an extended abstract not exceeding 10 pages (for category A) or 5
pages (for category B).  The abstract should start with a title page
containing the title of the paper, each author's name and affiliation,
the contact author's physical and e-mail addresses, and a one- or
two-paragraph summary. An ASCII version of the title page should 
be sent separately by e-mail. The selected submissions will be published
in time for distribution at the workshop as a volume of the Springer-
Verlag Lecture Notes in Computer Science series.

Important Dates
	
Submission deadline:         25.09.96
Notification of acceptance:  15.11.96
Camera-ready copies due:     10.12.96
Workshop:		     26.03-28.03

Submission Address:

E-mail: hart97@imag.fr

Physical:

Oded Maler
VERIMAG,
Miniparc ZIRST,
38330 Montbonnot,
France

Program Committee:

* R. Alur          	(Bell labs)
* Z. Artstein		(Weizmann)
* E. Asarin	 	(IPPI, Moscow)
* T. Henzinger     	(Berkeley)
* B. Krogh		(CMU)
* Y. Lakhnech		(Kiel)
* K. Larsen	 	(Aalborg)
* N. Lynch		(MIT) 
* O. Maler         	(Verimag, chair)
* S. Nadjm-Tehrani 	(Linkoping)
* A. Pnueli	 	(Weizmann) 
* J. van Schuppen  	(CWI)
* E. Sontag        	(Rutgers)
* P. Varaiya       	(Berkeley)
* F. Vaandrager    	(Nijmegen)

Organizing Committee:

A. Bouajjani, O. Maler, S. Yovine (Verimag).

(*) The exact location of the conference will be the ski resort of 
Alpe d'Huez, about one hour from Grenoble. A school on verification 
of infinite-state system will take place at the same site, 23-25 Mars.
[ AMAST Mail 1996 | Latest Update | AMAST Mail Meta-Index | AMAST ]