CPS Tool(s)

group

Visible to the public Modelica Design Studio

License: 
Creative Commons 2.5
a non-proprietary, object-oriented, equation based language to conveniently model complex physical systems
Modelica(r) is a non-proprietary, object-oriented, equation based language to conveniently model complex physical systems containing, e.g., mechanical, electrical, electronic, hydraulic, thermal, control, electric power or process-oriented subcomponents.
group

Visible to the public ROSMOD Design Studio

License: 
Creative Commons 2.5
a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROS
Robot Operating System Model-driven development tool suite (ROSMOD) an integrated development environment for rapid prototyping component-based software for the Robot Operating System (ROS) middleware.
group

Visible to the public DeepForge Design Studio

License: 
Creative Commons 2.5
A Modern Development Environment for Deep Learning
DeepForge is a development environment for deep learning designed for simplicity, collaboration and reproducibility of experiments.
group

Visible to the public SpaceEx

License: 
GNU Lesser General Public 3.0
State Space Explorer

The SpaceEx tool platform is designed to facilitate the implementation of algorithms related to reachability and safety verification.

group

Visible to the public Design Studios

License: 
Creative Commons 2.5
Contains a collection of design studios we have available
group

Visible to the public FSolidM Design Studio for Ethereum Smart Contracts

License: 
Creative Commons 2.5
insert short description here
Insert mission statement here
group

Visible to the public BIP Design Studio

License: 
Creative Commons 2.5
BIP stands for Behavior Interaction Priority
The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows modeling heterogeneous component-based systems. BIP is supported by a textual modeling language with rigorous semantics, as well as a tool-set including run-time platforms and verification tools.
group

Visible to the public CPS Tools and Design Studios

License: 
Creative Commons 2.5
Umbrella group to publicize active resource, design studio, challenge, and student competition groups.
group

Visible to the public 2018 CPS Challenge

License: 
Creative Commons 2.5
The goal of this challenge is to use a quadrotor aircraft with downward facing camera, and possibly other sensors, to scan an area for a lost aircraft

"No robot left behind!"

IMAGINE:

Your friend's quadrotor went down in a large field, and a storm is coming in. Looking for this lost drone needs a solution that could be repurposed to solve many other problems, like looking for a place to deploy a mosquito sensor.

GOAL:

The goal of this challenge is to use a quadrotor aircraft with downward facing camera, and possibly other sensors, to scan an area for a lost aircraft, and recover it safely back to base.

group

Visible to the public Verification Tool Library

License: 
Creative Commons 2.5
insert short description here

This site is presently under development (3-Mar-2017).