Determination of timed transitions in identified discrete-event models for fault detection

International audienceModel-based fault detection compares modeled and observed behavior to decide whether a system operates properly or not. The key issue in this paper is to model large-cale Discrete Event Systems (DESs) with little a-priori knowledge. For this class of systems a new approach to black-box determination of timed transitions for timed automata is proposed. The method identifies a set of time guards leading to an advantageous trade-off between the fault detection errors: false alarms and missed detections. A real industrial system is applied for evaluation of time guard determination. It is shown that applying the proposed method results in a better trade-off between the fault detection errors than using common methods (e.g. Min/Max, Normal Distribution)

DevOps for Trustworthy Smart IoT Systems

ENACT is a research project funded by the European Commission under its H2020 program. The project consortium consists of twelve industry and research member organisations spread across the whole EU. The overall goal of the ENACT project was to provide a novel set of solutions to enable DevOps in the realm of trustworthy Smart IoT Systems. Smart IoT Systems (SIS) are complex systems involving not only sensors but also actuators with control loops distributed all across the IoT, Edge and Cloud infrastructure. Since smart IoT systems typically operate in a changing and often unpredictable environment, the ability of these systems to continuously evolve and adapt to their new environment is decisive to ensure and increase their trustworthiness, quality and user experience. DevOps has established itself as a software development life-cycle model that encourages developers to continuously bring new features to the system under operation without sacrificing quality. This book reports on the ENACT work to empower the development and operation as well as the continuous and agile evolution of SIS, which is necessary to adapt the system to changes in its environment, such as newly appearing trustworthiness threats

Autonomous Aerial Water Sampling

Obtaining spatially separated, high frequency water samples from rivers and lakes is critical to enhance our understanding and effective management of fresh water resources. In this thesis we present an aerial water sampler and verify the system in field experiments. The aerial water sampler has the potential to vastly increase the speed and range at which scientists obtain water samples while reducing cost and effort. The water sampling system includes: 1) a mechanism to capture three 20 ml samples per mission; 2) sensors and algorithms for safe navigation and altitude approximation over water; and 3) software components that integrate and analyze sensor data, control the vehicle, and drive the sampling mechanism. In this thesis we validate the system in the lab, characterize key sensors, and present results of outdoor experiments. We compare water samples from local lakes obtained by our system to samples obtained by traditional sampling techniques. We find that nearly all water properties are consistent between the two techniques. These experiments show that despite the challenges associated with flying precisely over water, it is possible to quickly obtain water samples with an Unmanned Aerial Vehicle (UAV). Advisers: Carrick Detweiler and Matthew B. Dwye

Autonomous Aerial Water Sampling

Obtaining spatially separated, high frequency water samples from rivers and lakes is critical to enhance our understanding and effective management of fresh water resources. In this thesis we present an aerial water sampler and verify the system in field experiments. The aerial water sampler has the potential to vastly increase the speed and range at which scientists obtain water samples while reducing cost and effort. The water sampling system includes: 1) a mechanism to capture three 20 ml samples per mission; 2) sensors and algorithms for safe navigation and altitude approximation over water; and 3) software components that integrate and analyze sensor data, control the vehicle, and drive the sampling mechanism. In this thesis we validate the system in the lab, characterize key sensors, and present results of outdoor experiments. We compare water samples from local lakes obtained by our system to samples obtained by traditional sampling techniques. We find that nearly all water properties are consistent between the two techniques. These experiments show that despite the challenges associated with flying precisely over water, it is possible to quickly obtain water samples with an Unmanned Aerial Vehicle (UAV). Advisers: Carrick Detweiler and Matthew B. Dwye

Wireless Sensor Networks

The aim of this book is to present few important issues of WSNs, from the application, design and technology points of view. The book highlights power efficient design issues related to wireless sensor networks, the existing WSN applications, and discusses the research efforts being undertaken in this field which put the reader in good pace to be able to understand more advanced research and make a contribution in this field for themselves. It is believed that this book serves as a comprehensive reference for graduate and undergraduate senior students who seek to learn latest development in wireless sensor networks

DevOps for Trustworthy Smart IoT Systems

ENACT is a research project funded by the European Commission under its H2020 program. The project consortium consists of twelve industry and research member organisations spread across the whole EU. The overall goal of the ENACT project was to provide a novel set of solutions to enable DevOps in the realm of trustworthy Smart IoT Systems. Smart IoT Systems (SIS) are complex systems involving not only sensors but also actuators with control loops distributed all across the IoT, Edge and Cloud infrastructure. Since smart IoT systems typically operate in a changing and often unpredictable environment, the ability of these systems to continuously evolve and adapt to their new environment is decisive to ensure and increase their trustworthiness, quality and user experience. DevOps has established itself as a software development life-cycle model that encourages developers to continuously bring new features to the system under operation without sacrificing quality. This book reports on the ENACT work to empower the development and operation as well as the continuous and agile evolution of SIS, which is necessary to adapt the system to changes in its environment, such as newly appearing trustworthiness threats

Future Transportation

Greenhouse gas (GHG) emissions associated with transportation activities account for approximately 20 percent of all carbon dioxide (co2) emissions globally, making the transportation sector a major contributor to the current global warming. This book focuses on the latest advances in technologies aiming at the sustainable future transportation of people and goods. A reduction in burning fossil fuel and technological transitions are the main approaches toward sustainable future transportation. Particular attention is given to automobile technological transitions, bike sharing systems, supply chain digitalization, and transport performance monitoring and optimization, among others