PRELIMINARY CALL FOR PAPERS
HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC 2003) *******************************************************************************
Sixth International Workshop Prague, The Czech Republic
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 amir@wisdom.weizmann.ac.il
Oded Maler CNRS-VERIMAG 2, av. de Vignate 38610 Gieres France maler@imag.fr