Title | ||
---|---|---|
A core language for executable models of cyber physical systems: work in progress report |
Abstract | ||
---|---|---|
Recently we showed that an expressive class of mathematical equations can be automatically translated into simulation codes. Focusing on the expressivity of equations on continuous functions, this work considered only minimal interaction with discrete behaviors and only a static number of statically connected components. However, the interaction between continuous and hybrid components in many cyber physical domains is highly coupled, and such systems are often highly dynamic in both respects. This paper gives an overview of a proposed core language for capturing executable hybrid models of highly dynamic cyber physical systems. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1145/2000367.2000376 | SIGBED Review |
Keywords | Field | DocType |
proposed core language,progress report,expressive class,continuous function,minimal interaction,hybrid component,executable hybrid model,dynamic cyber physical system,cyber physical domain,discrete behavior,executable model,mathematical equation,cyber physical systems,modeling,work in progress,connected component,simulation | Continuous function,Work in process,Computer science,Theoretical computer science,Cyber-physical system,Connected component,Mathematical equations,Core language,Expressivity,Executable,Distributed computing | Journal |
Volume | Issue | Citations |
8 | 2 | 0 |
PageRank | References | Authors |
0.34 | 10 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Walid Taha | 1 | 1020 | 70.41 |
Paul Brauner | 2 | 0 | 0.34 |
Robert Cartwright | 3 | 529 | 67.27 |
Verónica Gaspes | 4 | 31 | 5.59 |
Aaron D. Ames | 5 | 1202 | 136.68 |
Alexandre Chapoutot | 6 | 100 | 12.52 |