Offers an introduction to the field of discrete event systems.
This book emphasizes a unified modeling framework that transcends specific application areas.
It includes research results pertaining to the diagnosis of discrete event systems, decentralized supervisory control, and interval-based timed automata and hybrid automata models.