Hybrid systems are models for complex physical systems and have become a widely used concept for ...

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. ...

Supported with detailed lecture notes, lecture videos, homework assignments, and lab assignments ...

This open access book constitutes the proceeding of the 28th International Conference on Automate...

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th Inte...

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th Inte...

Supported with detailed lecture notes, lecture videos, homework assignments, and lab assignments ...

Hybrid systems are models for complex physical systems and have become a widely used concept for ...