This book addresses the Internet of Things (IoT), an essential topic in the technology industry, policy, and engineering circles, and one that has become headline news in both the specialty press and the popular media.
This book discusses various methods for designing different kinds of observers, such as the Luenberger observer, unknown input observers, discontinuous observers, sliding mode observers, observers for impulsive systems, observers for ...
This book constitutes the full research papers and short monographs developed on the base of the refereed proceedings of the International Conference: Information and Communication Technologies for Research and Industry (ICIT 2020).
Different projects in the field of healthcare systems can use the topics presented in different chapters mentioned in this book. This book chooses the topic which is due to the editors' experience in modeling projects in healthcare systems.
The book explains the syntax of mCRL2 and offers modelling tips and tricks. This book helps readers easily learn basic model checking by presenting examples, exercises and case studies.
This book overcomes this challenge through a conceptual framework by merging computer vision and audition to urban studies based on a series of workshops called Remorph, conducted by Tehran Urban Innovation Center (TUIC).