cyber-physical

There are 1 repository under cyber-physical topic.

verivital / nnv
Neural Network Verification Software Tool
neural-network verification autonomy cyber-physical cyber-physical-systems formal-methods formal-verification hybrid-systems neural-network-verification reachability reachability-analysis robustness-verification trustworthy-ai trustworthy-machine-learning assured-autonomy neural-network-certification safe-ai safe-autonomy
101
chon-group / argo-jcm
Argo for JaCaMo provides a customized agent architecture that extends standard agents by adding the ability to control microcontrollers (Arduino) using Javino.
agents agentspeak arduino argo bdi bdi-model cyber-physical hardware jacamo jason robotics
Language:Java 0
eliassr / TMR4345-DP
Dynamic Positioning Project TMR4345 - Marine Computer Science Lab.
marine control-systems phidgets pid-control cyber-physical
Language:C 0