sychoo

STL-API

17712-fantastic-bugs-assignment-1

Procedure file and output from Infer static analyzer for the 17712 assignment 1

ANTLR

Example grammars written in ANTLR, based on the book "The Definitive ANTLR 4 Reference"

ArduPilot-Modes

Ardupilot applications that use modes and mode-grouping

corewyvern

cps-degradation-recovery

This repository lists out all the code, model and data for the SEAMS 2024 paper titled "Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation"

CPS-weakening-based-resolution

CRV

Document_Template

Dragonfly

Tool for Simulating Self-adaptiveDrone Behaviours

DroneSim2D

Modified from Dragonfly open source simulator

E5-Mode-Grouping

P model that describes the the state machine based model for the ArduPilot mode grouping challenge.

find-bug-final-project

gradual-recovery-CPS

hexo

Hexo configuration on my local computer

learning-ReScript

ltsa-r

LTSA tool with recovery analysis

MAVLink-C-Library-for-ArduPilot

C Code to control ArduPilot ArduCopter

NFM2022

PFlight

Generate drone controller code using P model

PFlight_Latest_P

scallop-lang.github.io

software-design-project

STL-Recovery

A new recovery framework using signal temporal logic (STL)

sychoo.github.io

Simon Chu's Personal Website

UNDERSEA-CPS-Recovery

V-SPELLS-Demo-Code

V-SPELLS-Meeting-Demo-DroneKit

wyvern-annotated

Annotated Wyvern Programming Language Source Code. Easier to contribute

wyvern-playground

Wyvern Playground