Education CPS Reports

Submitted by Katie Dey on Thu, 09/17/2015 - 4:38pm

Software and Tools

CPS Tools and Design Studios
Tool(s), models, and mature research prototypes are made available on the CPS-VO portal in the CPS Tools and Design Studios group. These tools and design studios facilitate modeling, verifications, simulation, analaysis, and other categories of tools that are of prime interest to the community. A Verification Tools Library documents several of the most mature verification tools available to the CPS community.

PhysiCloud
PhysiCloud is a software framework that targets mobile, low-power computing systems. It aims to provide a platform-as-a-service layer so that users may develop control applications on mobile cyber-physical systems, such as networked robotic systems. PhysiCloud is under active development as part of the HyPower project.

Pessoa
Pessoa is a software toolbox, developed at UCLA's CyPhyLab, for the synthesis of correct-by-design embedded control software. It is based on the recent notion of approximate bisimulation that allows one to replace differential equations, describing a physical system, by an equivalent finite-state machine.

MatLab & Simulink
MATLAB, the language of technical computing, is a programming environment for algorithm development, data analysis, visualization, and numeric computation. Simulink is a graphical environment for simulation and Model-Based Design of multidomain dynamic and embedded systems. MathWorks produces nearly 100 additional products for specialized tasks such as data analysis and image processing.