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
Invited Speakers (Tentative):

David Berlinski (author of "A Tour of the Calculus" and "The Advent of the Algorithm"): On Discrete and Continuous Mathematics

David Harel (Weizmann Institute of Science):
From Aerospace to C. elegans: Modeling and Analyzing the Behavior of Complex Reactive Systems

Udi Peless (Friendly Machines Inc.):
Lessons from the Development of a Commercial Autonomous Lawn Mower
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 Olaf Stursberg Carnegie Mellon University Ashish Tiwari SRI international Paolo Traverso IRST, Trento Howard Wong-Toi Cadence Berkeley Labs
Steering Committee

Maria Di Bendetto, Mark Greenstreet, Bruce Krogh (chair), Oded Maler, Manfred Morari, 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