Bøker av Joao Carlos Basilio

Describes in detail the research on fault diagnosis, opacity analysis and enhancement, and cyber security analysis and enforcement, within suitable discrete event system modelling frameworks. In each case, the authors describe basic problem statements and key concepts, and then point out the key challenges in each research area.