Our methods for smart and robust embedded systems target at applications which are difficult to design with conventional design approaches, for instance because

• sufficient knowledge is missing at design time
• formal modelling is too expensive
• the application shows a complex and/or time-variant dynamic behaviour
• the operating conditions are uncertain or subject to changes and/or disturbances and anomalies

Because we aim also at hard real-time capabilities, our projects and applications hence address mainly mechatronic systems and fall into following categories, with some concrete examples listed behind the links:

• automotive systems
• drive systems
• data analysis
• others