Language Breakdown
Lines of code distribution across 4 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in C
Collaboration Network
Global Impact visualization
Repos
5
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Not following anyone yet.
Top Repositories
This repository contains two versions of 6U CubeSat Attitude Control System in SpeAR, AADL/AGREE, and Simulink/Simulink Design Verifier: a basic model and an RTA model. The basic model utilizes a PID controller for the controller block, while the RTA model controller utilizes a RTA controller design that includes 3 separate components: unverified controller, verified controller, and decision module.
A case study to investigate the process to develop a formal and traceable paradigm to generate Requirements / Architectures / Models for System Design
Specification and Analysis for Requirements Tool
This is the publicly cleared version of the UxV Challenge Problem.
Decision logic for automatic collision avoidance that considers faults, safety interlocks, and manual interrupts from a human operator expressed in formal logic.
Open Source Impact
Contributions to external projects
No external contributions found.