Paper Info
Title
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
Abstract
Recently we showed that an expressive class of mathematical equations can be automatically translated into simulation codes. By focusing on the expressivity of equations formed from continuous functions, this work did not accommodate a wide range of discrete behaviors or a dynamic collection of 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
2012
10.1109/ICDCSW.2012.72
ICDCS Workshops
Keywords
Field
DocType
proposed core language,executable models,hybrid component,executable hybrid model,dynamic cyber-physical system,discrete behavior,dynamic collection,expressive class,continuous function,cyber-physical domain,mathematical equation,cyber-physical systems,preliminary report,core language,computational modeling,modeling,acceleration,modeling language,cyber physical systems,games,simulation,simulation language,atmospheric modeling,mathematical model
Continuous function,Computer science,Modeling language,Theoretical computer science,Cyber-physical system,Acceleration,Simulation language,Core language,Expressivity,Executable
Conference
Citations 
PageRank 
References 
3
0.56
6
Authors
7
Name
Order
Citations
PageRank
Walid Taha1102070.41
Paul Brauner281.77
Yingfu Zeng3114.03
Robert Cartwright452967.27
Verónica Gaspes5315.59
Aaron D. Ames61202136.68
Alexandre Chapoutot710012.52