In recent years, Hybrid and Embedded Systems (HEMS) have been widely applied in a great diversity of complex engineering applications such as networking and communication systems, medical devices, manufacturing systems, power networks, automobiles, aircraft and transportation systems. Some examples are the Wireless Sensor Network for Surveillance and Intelligent Building/Transportation, and Integrated Software Systems for Factory Automation and Middleware Synthesis. Embedded systems are special-purpose computing systems designed to perform real-time computation for interacting with the surrounding environment in order to enable automation and enhance efficiency. Hybrid systems have been shown to be useful models for performing model-based design of embedded systems in which discrete and continuous system are tightly coupled.

The high-profile and safety-critical nature of HEMS applications have fostered a large and growing body of work on formal methods for model-based design of embedded systems. They include mathematical logic, computational models and methods, and automated reasoning tools supporting the formal specification and verification of performance requirements.

The Workshop on Hybrid and Embedded Systems offers a general overview of the field of hybrid and embedded systems ranging from modeling, over analysis and verification, to model-integrated computing and design tool development. The Workshop targets engineers, researchers, executives and graduate students from the field, as well as those who are of general interest in HEMS.