Manuel Silva – författare

Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special attention is given to results on supervisory control, state estimation and fault diagnosis of both centralized and distributed/decentralized systems developed in the framework of the Distributed Supervisory Control of Large Plants (DISC) project. Later parts of the text are devoted to the study of congested systems though fluidization, an over approximation allowing a much more efficient study of observation and control problems of timed Petri nets. Finally, the max-plus algebraic approach to the analysis and control of choice-free systems is also considered. Control of Discrete-event Systems provides an introduction to discrete-event systems for readers that are not familiar with this class of systems, but also provides an introduction to research problems and open issues of current interest to readers already familiar with them. Most of the material in this book has been presented during a Ph.D. school held in Cagliari, Italy, in June 2011.

This book from the LNNS Series is composed of the best selected papers accepted for presentation and discussion at the 2025 International Conference in Information Technology & Education. The ICITED is a multidisciplinary conference with a special focus on new Technologies and Systems in the Education sector and was held between July 10 and 12, 2025. The ICITED’25 was supported by the Federal University of Rio Grande do Norte, in Natal, Brazil and by IADITI—International Association for Digital Transformation and Technological Innovation. This book is intended for researchers, academics, lecturers, specialists, professionals, doctoral and master's students, undergraduates, and practitioners working in Information Technology and Computer Science in Education area.