Subject: Hybrid Systems Workshop, Prague 3-5 April 2003
Message-ID: <Pine.GSO.4.33.0206121438180.18868-100000@cougourde>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
PRELIMINARY CALL FOR PAPERS
HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC 2003)
****************************************************************************
***
Sixth International Workshop
Prague, The Czech Republic
http://www-hscc03.imag.fr
Important Dates
Submission deadline: October 15, 2002
Notification of acceptance: December 15, 2002
Final versions due: January 15, 2003
Workshop: April 3-5 (Thu-Sat), 2003
Aims and Scope
The Workshop on Hybrid Systems attracts researchers from academia
and industry interested in modeling, analysis, and implementation of
dynamic and reactive systems involving both discrete (integer,
logical, symbolic) and continuous behaviors. It is a forum for the
latest developments in all aspects of hybrid systems, including formal
models and computational representations, algorithms and heuristics,
computational tools, and new challenging applications. The Sixth HSCC
International Workshop continues the series of workshops held in
Grenoble, France (HART'97), Berkeley, California, USA (HSCC'98),
Nijmegen, The Netherlands (HSCC'99), Pittsburgh, Pennsylvania, USA
(HSCC 2000), Rome, Italy (HSCC2001) and Palo Alto, California USA
(HSCC2002). Accepted papers will be allotted 14 pages each in a volume
to be published in the Springer-Verlag Lecture Notes in Computer
Science (LNCS) series.
Scientific Program and Topics
Sessions will include presentations of contributed papers and a
small number of invited talks. In keeping with the tradition of
previous workshops, there will be ample time and space for informal
discussions. Submissions are invited in all areas pertaining to
the design, analysis and implementation of hybrid systems.
Topics of interest include, but are not limited to:
- modeling and representations,
- timed and hybrid automata,
- formal methods for analysis, synthesis and verification,
- numerical aspects of simulating, and verifying hybrid systems,
- computer-aided design,
- control methods and algorithms, optimization
- hybrid models in biology and other sciences,
- engineering applications, including but not limited to
manufacturing and production systems, intelligent robots, avionics,
automotive control systems, railway systems, energy systems, and
transportation networks.
Reports on case studies and tool development are particularly encouraged.
A strong representation of multiple disciplines, including formal methods,
symbolic computation, control theory, artificial intelligence, and
numerical methods, assures a lively and productive workshop.
Venue
The workshop will be held at Prague, the lovely capital
of the Czech Republic in the Pyramida Hotel.
Submissions
Researchers are invited to submit either a postscript or pdf file
of an extended abstract using the electronic-submission procedure
through the workshop web-page http://www-hscc03.imag.fr
The abstract should not exceed 10 pages.
The first page should contain:
- the title of the paper,
- each author's name and affiliation,
- complete contact information for the corresponding author (postal
and e-mail addresses, telephone and fax numbers), and a
- one-paragraph summary of the contribution.
Full versions of the accepted submissions will be published in the
Springer Lecture Notes in Computer Science series. The proceedings
will be available at the workshop.
Workshop Co-chairs: Amir Pnueli and Oded Maler
Program Committee:
Rajeev Alur University of Pennsylvania
Eugene Asarin VERIMAG, Grenoble
Alberto Bemporad University of Siena
Jennifer Davoren University of Melbourne
Sebastian Engell University of Dortmund
Mark Greenstreet University of British Columbia
Bruce Krogh Carnegie Mellon University
Benjamin Kuipers University of Texas, Austin
Kim Larsen University of Aalborg
John Lygeros University of Cambridge
Oded Maler VERIMAG, Grenoble
Manfred Morari ETH, Zurich
George Pappas University of Pennsylvania
Anders Rantzer University of Lund
Amir Pnueli Weizmann Institute, Rehovot
Anders Ravn University of Aalborg
Alberto Sangiovanni-Vincentelli University of California, Berkeley
Shankar Sastry University of California, Berkeley
Ashish Tiwari SRI international
Paolo Traverso IRST, Trento
Howard Wong-Toi Cadence Berkeley Labs
Steering Committee:
Rajeev Alur, Mark Greenstreet, Bruce Krogh (chair),
Oded Maler, Manfred Morari, George Pappas, Amir Pnueli,
Anders Ravn, Alberto Sangiovanni-Vincentelli, Claire Tomlin.
Local Organization:
The workshop is locally sponsored by Honeywell Prague Laboratory with
support of Guarant travel agency.
Amir Pnueli
Department of Computer Science
Weizmann Institute of Science
Rehovot 76100
Israel
[log in to unmask]
Oded Maler
CNRS-VERIMAG
2, av. de Vignate
38610 Gieres
France
[log in to unmask]
|