Published June 2012 | Version public
Book Section - Chapter

A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)

  • 1. ROR icon Halmstad University
  • 2. ROR icon Rice University
  • 3. ROR icon The University of Texas at Austin
  • 4. ROR icon École Nationale Supérieure de Techniques Avancées

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.

Additional Information

© 2012 IEEE.

Additional details

Identifiers

Eprint ID
92960
DOI
10.1109/icdcsw.2012.72
Resolver ID
CaltechAUTHORS:20190215-142949580

Related works

Describes
10.1109/icdcsw.2012.72 (DOI)

Dates

Created
2019-02-19
Created from EPrint's datestamp field
Updated
2021-11-16
Created from EPrint's last_modified field