Skip to content

@icyphy Industrial Cyberphysical Systems (iCyPhy)

Change the repository type filter

All

    Repositories list

    16 repositories

    • cal-analyzer

      Public
      Experiments on the reaction-level CAL theorem
      Jupyter Notebook
      •0•0•0•0•Updated Apr 25, 2026Apr 25, 2026

    • ptII

      Public
      Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
      actor-modelactor-libraryptolemy
      actor-modelactor-libraryptolemy
      Java
      •
      Other
      •47•128•227•1•Updated Apr 17, 2026Apr 17, 2026

    • gametime

      Public
      GameTime analyzes worst-case execution times (WCETs) for real-time systems using SMT, machine learning, and on-device measurements.
      Python
      •0•4•0•0•Updated Mar 3, 2026Mar 3, 2026

    • emsoft25

      Public
      Artifact repo for the EMSOFT '25 paper "Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware"
      C
      •0•2•0•1•Updated Jan 22, 2026Jan 22, 2026

    • icyphy.github.io

      Public
      SCSS
      •
      Other
      •1•0•2•1•Updated Jan 5, 2026Jan 5, 2026

    • fa25-lf-timing

      Public
      LLVM
      •0•2•0•0•Updated Dec 19, 2025Dec 19, 2025

    • github-issue-junit

      Public
      Read JUnit HTML output from Travis and add a comment to an open issue on GitHub.
      JavaScript
      •
      BSD 2-Clause "Simplified" License
      •1•1•0•0•Updated Oct 1, 2025Oct 1, 2025

    • satellite-attitude-control

      Public
      Satellite attitude control using Lingua Franca
      HTML
      •0•3•1•0•Updated Oct 3, 2024Oct 3, 2024

    • lf-buckler

      Public
      Programming an nRF embedded board with a Berkeley Buckler daughter card using Lingua Franca.
      C
      •
      BSD 2-Clause "Simplified" License
      •0•7•3•0•Updated Jun 3, 2024Jun 3, 2024

    • lf-flexpret

      Public
      Data determinism (LF) meets time determinism (FlexPRET).
      C
      •2•4•6•0•Updated May 18, 2024May 18, 2024

    • gametime-v1.5

      Public archive
      Toolkit for the timing analysis of software
      Python
      •
      Other
      •0•0•0•0•Updated Sep 20, 2022Sep 20, 2022

    • ptII-test

      Public
      JUnit test output for the ptII tests
      BSD 2-Clause "Simplified" License
      •1•0•1•0•Updated Jul 6, 2022Jul 6, 2022

    • accessors

      Public
      Accessors enable composing heterogeneous devices and services in the Internet of Things (IoT).
      C
      •
      Other
      •5•5•21•0•Updated Mar 22, 2022Mar 22, 2022

    • kepler-build

      Public
      Build Kepler - the scientific workflow system
      Shell
      •
      BSD 2-Clause "Simplified" License
      •2•4•1•0•Updated Nov 11, 2021Nov 11, 2021

    • spec-space

      Public
      Exploring the space of properties
      Python
      •
      Other
      •2•0•4•0•Updated Dec 4, 2018Dec 4, 2018

    • ptclassic

      Public
      Ptolemy Classic is a heterogeneous simulation and design environment supporting multiple models of computation. See ptII for more recent work.
      C
      •4•2•0•0•Updated Mar 2, 2018Mar 2, 2018
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.