The Ptolemy Projects

Research Projects - listed by student, which includes many of the projects below.
Accessors - Accessors enable composing heterogeneous devices and services in the Internet of Things (IoT).
iCyPhy Industrial Cyber-Physical Systems, funded by IBM and United Technologies.
SwarmLab - Industrial interactions with Ericsson, IHI, NEC, Qualcomm, Sony, Toshiba and Visa.

ACS
ActionWebs, Cyber-Physical Systems, funded by The NSF.
AF-TRUST
Center for Hybrid and Embedded Software Systems (CHESS) industrial interactions (Denso, National Instruments, Toyota).
CHESS ITR
COSMOI - Compositional System Modeling with Interfaces, funded by the NSF.
GSRC
Escher
HCDDES
HMAD
HSBC
Kepler - Scientific workflows.
Mathematical Theory of CPS, funded by the NFS.
MICRO
MoBIES
MuSyC
NAOMI
PRET - Precision timed machines, funded by the NSF.
PTESDF
PTEMAF
PTIDES - Programming Temporally Integrated Distributed Embedded Systems.
RASSP
SCOS
SEC
Soft Walls
SPFSoS - Software Producibility for Systems of Systems, funded by the Naval Research Laboratory.
TerrSwarm Research Center, funded by MARCO and DARPA, administered by SRC.
Team for Research in Ubiquitous Secure Technology (TRUST), funded by the NSF.

These sites were hosted on a previous web server and were moved here in 2018 when the previous web server was retired.