# Table of Contents for 1. Ideas for ARCADE Experiments

## Files
- [[Digital Twins.md]]
- [[Fully Homomorphically Encrypted Control.md]]
- [[KOs Controller.md]]
- [[Network Delay Effects.md]]
- [[Plant-Free Controller Development.md]]
- [[Rust Formally-Proven Embedded Control Code.md]]

## Summary
# Obsidian Notes Database Folder Description

This folder contains ideas and research notes related to the ARCADE project, a system for formally verified control of hybrid systems.

## Project Overview
The ARCADE project focuses on developing a platform for designing, testing, and implementing control programs for hybrid systems. The goal is to create an effective tool for building control programs that can be used in various applications.

## Experiment Ideas

### 1. Digital Twins
This experiment involves using digital twins to simulate the behavior of controllers. By comparing the output of the simulated controller with the actual system, researchers aim to improve the accuracy and efficiency of their designs.

### 2. KOs Controller
In this experiment, a controller is programmed in the KOs operating system for the BeagleBone platform. The goal is to develop an embedded control system using a formally verified operating system.

### 3. Rust Formally-Proven Embedded Control Code
This experiment explores the use of Rust programming language for building formally proven embedded control code. The focus is on ensuring memory safety and preventing potential errors in the controller's behavior.

### 4. Fully Homomorphically Encrypted Control
Researchers are working on encrypting end-to-end control signals using homomorphic encryption techniques. This aims to provide an additional layer of security for the control system.

### 5. Plant-Free Controller Development
This experiment involves designing and building a control program that is tested using simulations before being connected to an actual plant. The goal is to demonstrate the effectiveness of ARCADE in developing control programs.

### 6. Network Delay Effects
In this experiment, researchers examine the stability of digital control systems when signals are transmitted over a network with intentional delays or mis timings. This aims to understand the impact of network effects on the performance of control systems.

These ideas and experiments demonstrate the breadth of research being conducted under the ARCADE project, aiming to advance the state-of-the-art in formally verified control systems.

Generated by llama3.2:latest
