Sök personal

Sök bland våra professorer, lärare och övriga medarbetare

Staff at Halmstad University

Go back

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

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

Conference paper (Refereegranskat)

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. © 2012 IEEE.

Key words: Modeling; Simulation; Cyber-Physical Systems

Cite: Taha, Walid, Brauner, Paul, Zeng, Yingfu, Cartwright, Robert, Gaspes, Veronica, Ames, Aaron & Chapoutot, Alexandre, A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report), IEEE Press, Piscataway, N.J., 2012