A core language for executable models of cyber-physical systems (preliminary report)

Walid Taha; Paul Brauner; Yingfu Zeng; Robert Cartwright; Veronica Gaspes; Aaron Ames; Alexandre Chapoutot

doi:10.1109/ICDCSW.2012.72

A core language for executable models of cyber-physical systems (preliminary report)

Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot

Research output: Contribution to conference › Paper › peer-review

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.

Original language	English
Pages	303-308
Number of pages	6
DOIs	https://doi.org/10.1109/ICDCSW.2012.72
Publication status	Published - 24 Sept 2012
Event	32nd IEEE International Conference on Distributed Computing Systems Workshops, ICDCSW 2012 - Macau, China Duration: 18 Jun 2012 → 21 Jun 2012

Conference

Conference	32nd IEEE International Conference on Distributed Computing Systems Workshops, ICDCSW 2012
Country/Territory	China
City	Macau
Period	18/06/12 → 21/06/12

Keywords

Cyber-Physical Systems
Modeling
Simulation

Access to Document

10.1109/ICDCSW.2012.72

Cite this

@conference{d5ffd566e11048cd96944afa718f8d06,

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.",

keywords = "Cyber-Physical Systems, Modeling, Simulation",

author = "Walid Taha and Paul Brauner and Yingfu Zeng and Robert Cartwright and Veronica Gaspes and Aaron Ames and Alexandre Chapoutot",

year = "2012",

month = sep,

day = "24",

doi = "10.1109/ICDCSW.2012.72",

language = "English",

pages = "303--308",

note = "32nd IEEE International Conference on Distributed Computing Systems Workshops, ICDCSW 2012 ; Conference date: 18-06-2012 Through 21-06-2012",

}

TY - CONF

T1 - A core language for executable models of cyber-physical systems (preliminary report)

AU - Taha, Walid

AU - Brauner, Paul

AU - Zeng, Yingfu

AU - Cartwright, Robert

AU - Gaspes, Veronica

AU - Ames, Aaron

AU - Chapoutot, Alexandre

PY - 2012/9/24

Y1 - 2012/9/24

N2 - 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.

AB - 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.

KW - Cyber-Physical Systems

KW - Modeling

KW - Simulation

U2 - 10.1109/ICDCSW.2012.72

DO - 10.1109/ICDCSW.2012.72

M3 - Paper

AN - SCOPUS:84866395141

SP - 303

EP - 308

T2 - 32nd IEEE International Conference on Distributed Computing Systems Workshops, ICDCSW 2012

Y2 - 18 June 2012 through 21 June 2012

ER -

A core language for executable models of cyber-physical systems (preliminary report)

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this