Aims and Scope
The Workshop on Hybrid Systems attracts researchers
from industry and academe 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 Fifth 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), and Rome, Italy (HSCC 2001). 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 and invited
papers. 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 include, but are not limited to:
- modeling and representations
- control methods and algorithms
- optimization
- formal methods for analysis, synthesis and verification
- numerical aspects of modeling, simulating, and verifying hybrid systems
- computer-aided design
- 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.