search

forsyde / forsyde-atom

A shallow-embedded DSL for modeling cyber-physical systems
https://forsyde.github.io/forsyde-atom/
BSD 3-Clause "New" or "Revised" License
3 stars 2 forks source link
cyber-physical-systems edsl haskell hybrid-systems

readme

forsyde-atom

Build Status

See web page for more overview, documentation, list of publications and other resources. forsyde.github.io/forsyde-atom, which was generated with Haddock.

OBS: the examples and case studies have been migrated to the forsye-atom-examples repository. Please refer to that repository for further reports and instructions.

Ideas based on the projects forsyde-patterns (George Ungureanu), forsyde-appl (Mikkel Jakobsen) and the `ForSyDe. library (KTH-SAM group)