Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: cyber-physical

SymDynamics/dymsum

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

Size: 6.84 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0

verivital/nnv

Neural Network Verification Software Tool

Language: MATLAB - Size: 2.77 GB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 122 - Forks: 51

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.

Size: 105 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

eliassr/TMR4345-DP

Dynamic Positioning Project TMR4345 - Marine Computer Science Lab.

Language: C - Size: 2.57 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Related Keywords
cyber-physical 4 computer-algebra 1 robustness-verification 1 safe-ai 1 safe-autonomy 1 trustworthy-ai 1 trustworthy-machine-learning 1 verification 1 agents 1 agentspeak 1 arduino 1 argo 1 bdi 1 bdi-model 1 hardware 1 jacamo 1 jason 1 robotics 1 control-systems 1 marine 1 phidgets 1 pid-control 1 dynamical-systems 1 matlab 1 mechatronics 1 modelica 1 physics 1 simscape 1 simulation 1 simulink 1 symbolic-computation 1 assured-autonomy 1 autonomy 1 cyber-physical-systems 1 formal-methods 1 formal-verification 1 hybrid-systems 1 neural-network 1 neural-network-certification 1 neural-network-verification 1 reachability 1 reachability-analysis 1