The HSCC'03, the sixth HSCC International Workshop, will be held at Prague,
the lovely capital of the Czech Republic in the Pyramida
Hotel.
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.
DATES
October
15 , 2002 Submission
deadline
December 15, 2002 Notification
of acceptance
January 15, 2003 Final
versions due
April 3-5, 2003 Workshop
- 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
Amir
Pnueli
Faculty of Mathematics and Computer Science The Weizmann Institute of
Science
76100 Rehovot, Israel
e-mail: amir@wisdom.weizmann.ac.il
phone: +972 8 934
3434
fax: +972 8 934 4122
CNRS - Verimag
Centre Equation
2, rue de Vignate
38610 Gières, France
e-mail: maler@imag.fr
phone: +33 476 63 48 35
fax +33 476 63 48 50
