Call for Papers
9th INTERNATIONAL WORKSHOP ON HYBRID SYSTEMS: COMPUTATION AND CONTROL
March 29-31, 2006
Santa Barbara, California
http://hscc06.csl.sri.com/
The 9th International Workshop on Hybrid Systems: Computation and Control (HSCC 2006), will be held in Santa Barbara, California, from March 29-31, 2006. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA (1998), Nijmegen, The Netherlands (1999), Pittsburgh, USA (2000), Rome, Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), Philadelphia, USA (2004), and Zurich, Switzerland (2005).
TOPICS
Submissions are invited in all areas pertaining to the design, analysis, implementation, and applications of hybrid systems. Topics of interest include, but are not limited to:
-
Modeling and representations
-
Computability and complexity issues
-
Tools for analysis and verification
-
Tools for synthesis and design
-
Programming language support and implementation
-
Control and optimization
-
Hybrid models in biology and other sciences
-
Engineering applications such as automotive, avionics, power systems, transportation, manufacturing, and robotics
SUBMISSIONS
The conference proceedings will be published in the Springer Lecture Notes in Computer Science series. Submitted papers must present original, unpublished research that has not been submitted elsewhere. Instructions for submitting the papers electronically will be available on the conference webpage.
POSTER SESSION
This year’s workshop will include a poster session in addition to the regular oral presentations. The poster session is aimed at advertising new or ongoing work, as well as getting feedback from the HSCC community. We are particularly interested in presentations of student work. To submit a poster, please send a proposal of one page or less describing the nature of poster.
IMPORTANT DATES
| Submission deadline for regular papers |
October 3, 2005 (hard deadline) |
| Author notification | November 18, 2005 |
| Submission deadline for posters | December 2, 2005 |
| Final papers due | December 19, 2005 (hard deadline) |
| Conference | March 29-31, 2006 |
Workshop Co-Chairs
Joao P. Hespanha
University of California, Santa Barbara
E-mail: hespanha _AT_ ece _DOT_ ucsb _DOT_ edu
Ashish Tiwari
SRI International, Menlo Park, CA
E-mail: tiwari _AT_ csl _DOT_ sri _DOT_ com
Program Committee
-
Rajeev Alur, University of Pennsylvania
-
Kartik Ariyur, Honeywell
-
Eugene Asarin, University Paris 7
-
Calin Belta, Boston University
-
Alberto Bemporad, University of Siena
-
Antonio Bicchi, University of Pisa
-
Gautam Biswas, Vanderbilt University
-
Thao Dang, Verimag
-
Jennifer Davoren, University of Melbourne
-
Luca de Alfaro, UC Santa Cruz
-
Magnus Egerstedt, Georgia Institute of Technology
-
Karl Henrik Johansson, Royal Institute of Technology
-
Eric Klavins, University of Washington
-
John Koo, Vanderbilt University
-
Kim Larsen, Aalborg
-
Nancy Lynch, MIT
-
Bud Mishra, New York University
-
Ian Mitchell, University of British Columbia
-
George Pappas, University of Pennsylvania
-
Maria Prandini, Politecnico of Milano
-
Henny Sipma, Stanford University
-
Paulo Tabuada, Notre Dame University
-
P. S. Thiagarajan, National University of Singapore
-
Claire Tomlin, Stanford University
-
Arjan van der Schaft, University of Twente
-
Sergio Yovine, CNRS