Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)
☆25May 2, 2017Updated 8 years ago
Alternatives and similar repositories for cocoSim-deprecated
Users that are interested in cocoSim-deprecated are comparing it to the libraries listed below
Sorting:
- Automated Analysis Framework for Simulink/Stateflow☆16Jul 25, 2023Updated 2 years ago
- A Julia/JuMP Package for Joint Optimization of Power and Water Distribution Networks☆12Dec 20, 2022Updated 3 years ago
- 基于MBD（Model-Based Design，基于模型的设计）代码生成样例。☆18Jan 5, 2026Updated last month
- Automated Analysis Framework for Simulink/Stateflow models.☆60Feb 16, 2026Updated last week
- 先进控制PID（基于扩展观测器的PID，自适应PD增益控制）☆16May 8, 2020Updated 5 years ago
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆16Dec 20, 2018Updated 7 years ago
- A constraint solver abstraction layer for Java☆21Apr 16, 2023Updated 2 years ago
- Converts Matlab/Simulink data stored in 'MAT' format to DAT format (MDF 3.0) which can be read by ETAS MDA or CANape tool.☆19Oct 22, 2025Updated 4 months ago
- With CSharp, Connect and Control the PMAC. C#上位机控制PMAC☆15May 29, 2022Updated 3 years ago
- ☆32Nov 11, 2022Updated 3 years ago
- Core OpenMETA Framework☆28Mar 1, 2023Updated 2 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆30Jan 22, 2026Updated last month
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆30Apr 14, 2020Updated 5 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Feb 18, 2020Updated 6 years ago
- BootLoader for F280xx TI DSP☆11Jan 29, 2019Updated 7 years ago
- TSMaster API on 64 windows and linux☆11Mar 6, 2024Updated last year
- A tool for helping model within MAAB/JMAAB spec. And auto set the 'Model Configuration Parameters' to ERT/AutoSAR target, which can meet …☆81May 21, 2024Updated last year
- Simulation of performance and efficinecy of a hybrid electric vehicle☆34Dec 8, 2017Updated 8 years ago
- 永磁同步电机矢量控制算法仿真☆10Jan 17, 2024Updated 2 years ago
- 三相永磁同步电动机的FOC控制☆10Mar 27, 2020Updated 5 years ago
- Sentry library for arduino.☆10Dec 1, 2024Updated last year
- 🚗 Classic Diagnostic Adapter 🏥☆19Updated this week
- 基于TSMaster二次开发☆10Apr 8, 2024Updated last year
- kun-chat is a lightweight AI conversation app based on Ollama/kun-chat 是一款基于 Ollama 的轻量级 AI 对话应用☆10Jul 16, 2025Updated 7 months ago
- 基于STM32的直流电机调速系统☆12Oct 26, 2018Updated 7 years ago
- SmalL bUt Complete GROne Synthesizer☆43Aug 22, 2024Updated last year
- ☆13Sep 4, 2024Updated last year
- A visual testing tool to compare two web pages visually and generate the pixel difference they have.☆16Dec 14, 2015Updated 10 years ago
- ☆10Oct 3, 2018Updated 7 years ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- Python scripts with ArcGIS☆11Sep 22, 2018Updated 7 years ago
- 电机控制器上位机（包括CAN通讯、DBC解析发送、参数修改、自动存储数据等）☆14Mar 27, 2023Updated 2 years ago
- ☆13Mar 26, 2024Updated last year
- A command line utility for downloading Xbox screenshots and game clips to local storage☆10Apr 22, 2024Updated last year
- C Code Integration in MATLAB and Simulink to Control an External Interface.☆12Aug 18, 2025Updated 6 months ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- Home Project. Tutorial-like project involving a raw DC PMSM command and control☆11Sep 25, 2019Updated 6 years ago
- Iskander is an open source driver for BLDC motors, the hardware support Six step commutation and FOC, still in the experimental phase but…☆12Aug 1, 2021Updated 4 years ago
- 历史项目开源:1KW正弦波逆变器软硬件全套资料☆10Jan 8, 2021Updated 5 years ago