Theses
- Methods and Design for Analog Computing Architectures: Memristors for Enhancing Expressiveness and Energy-Efficiency of Packet Processors (), University of Groningen, 2025.
Abstract
The Internet heavily relies on packet processors for establishing the communication links between senders and receivers of network traffic. Despite their promising performance, the current generation of packet processors consume a huge amount of energy and provide limited support for more expressive functions like brain-inspired cognitive computing models. The major reason is the underlying transistor-based technology, which builds on digital computations and requires energy intensive data movements between storage and computational units inside these components. In this research, we show that the recent emerging technologies from the analog domain, especially Memristors, have a huge potential for increasing energy efficiency and supporting cognitive functions in packet processors.This thesis proposes an analog architecture for packet processors in order to support energy-efficient and cognitive functions in computer networks. Central to this design is a novel analog memory abstraction called Probabilistic Content Addressable Memory (pCAM). It provides both digital and analog outputs for supporting more expressive functions in packet processors. In order to support traditional digital operations, we propose a novel memristor-based TCAM memory. Building on analog computations, we further propose a congestion control mechanism, called derivative-based active queue management (dAQM), for better management of network traffic. The performance of the proposed analog architecture was analyzed over a physically fabricated Nb doped SrTiO3 memristor chip. The results showed that analog processing consumes up to 50 times less energy than digital processing. Moreover, the analog dAQM function provides up to 39.7% better performance than the state-of-the-art algorithms.
BibTeX
doi - Multi-Energy Management of Buildings in Smart Grids (), University of Groningen, 2021.
- Office Occupancy Detection based on Power Meters and BLE Beaconing (), University of Groningen, 2020.
- Optimization of energy distribution in smart grids (), University of Groningen, 2020.
- The non-existent average individual: Automated personalization in psychopathology research by leveraging the capabilities of data science (), University of Groningen, 2018.
- Business Process Variability: a study into process management and verification (), Rijksuniversiteit Groningen, 2016.
Abstract
Business Process Management (BPM) manages and optimizes business processes with the intent to increase productivity and performance. BPM is a rapidly evolving field due to new requirements emerging at agile branches of business where business processes are required to be less and less rigid. Where BPM supported local user-specific rigid and repetitive units of work in the past, these days it is required to support loosely-coupled processes in cloud configurations among many users with each many different requirements.As the field of BPM continues to manage an increasing number of rapidly evolving business processes in agile environments, the evolution of each business process must continue to always behave in a correct manner and remain compliant with the laws, regulations, and internal business requirements imposed upon it. To manage the correct behavior of quickly evolving business processes, or the definition of a wide variety of similar business processes, we evaluate the application of formal verification techniques as a possible solution for the pre-runtime analysis of the correct behavior and compliant design of business processes within possible process families. A novel approach allowing pre-runtime verification that supports the different branching and merging constructs allowed by business process models and their service compositions is presented. Evaluations on expressive power demonstrate that, other than the generally employed transition systems, the proposed model correctly captures well-known business process patterns. Furthermore, it maintains information on parallel occurrences of activities and the local next activity occurrence: an ability which is unique to the presented approach.
BibTeX
urlpdf - A Smart Energy System for Sustainable Buildings: The Case of the Bernoulliborg (), Rijksuniversiteit Groningen, 2016.
- Coordinating services embedded everywhere via hierarchical planning (), Rijksuniversiteit Groningen, 2015.
- Energy Adaptive Buildings: From Sensor Data to Being Aware of Users (), Rijksuniversiteit Groningen, 2015.
- Computing a Second Opinion: Automated Reasoning and Statistical Inference applied to Medical Data (), Rijksuniversiteit Groningen, 2014.
- From the Grid to the Smart Grid, Topologically (), Rijksuniversiteit Groningen, 2014.
- Dynamic Rule-Based Reasoning in Smart Environments (), Rijksuniversiteit Groningen, 2014.
- Domain-independent planning for services in uncertain and dynamic environments (), Rijksuniversiteit Groningen, 2013.
- Design and implementation of middleware platform for a smart home (), Rijksuniversiteit Groningen, 2013.
- Management and evolution of business process variants (), Rijksuniversiteit Groningen, 2012.