Hacker News with Generative AI: Cyber-Physical Systems

Dezyne Programming Language (dezyne.org)
Dezyne is a programming language and a set of tools to specify, validate, verify, simulate, document, and implement concurrent control software for embedded and cyber-physical systems.

Programming Languages, Embedded Systems, Cyber-Physical Systems

56 points by aulisius 6 days ago | 11 comments

Modelica is a language for modeling of cyber-physical systems (modelica.org)
Modelica is a language for modeling of cyber-physical systems, supporting acausal connection of components governed by mathematical equations to facilitate modeling from first principles.

Modeling, Cyber-Physical Systems, Software, Programming Languages

13 points by kelseyfrog 60 days ago | 2 comments

Modelica (modelica.org)
Modelica is an object oriented language to model cyber-physical systems.

Modeling, Software, Cyber-Physical Systems

306 points by v9v 158 days ago | 112 comments