Neural Network Verification Software Tool https://www.verivital.com Documentation:

An intelligent digital twin framework for urban microgrids that leverages cyber-physical integration and predictive analytics to improve system resilience, reliability, and adaptive energy management in smart cities.

Argo for JaCaMo provides a customized agent architecture that extends standard agents by adding the ability to control microcontrollers (Arduino) using Javino.

A design doctrine governing the visual and perceptual presentation of autonomous cyber-physical systems to ensure clarity, safety, and non-anthropomorphic interpretation.

An open-standard shared vocabulary for categorizing and detecting human adversary behavior in physical security and insider threat. 154 tactics, 27 actor profiles, 4 target domains, with Cyber-Physical Nexus tagging where digital and physical threat intelligence converge. MIT licensed.

Dynamic Positioning Project TMR4345 - Marine Computer Science Lab.

A tool to declare and solve symbolic equations of dynamical systems and control theory

TraceLock Labs — RF and cyber-physical security research platform. Detection engineering across Wi-Fi, BLE, SDR, GPS, and ADS-B domains.