| Abstract
|
<p>Recently we showed that an expres … <p>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.</p>r-physical systems. © 2012 IEEE.</p>
|
| Author
|
Walid Taha +
, Paul Brauner +
, Yingfu Zeng +
, Robert Cartwright +
, Veronica Gaspes +
, Aaron Ames +
, Alexandre Chapoutot +
|
| Conference
|
The Second International Workshop on Cyber-Physical Networking Systems (CPNS 2012) Macau, China, June 20, 2012. In conjunction with 32nd IEEE International Conference on Distributed Computing Systems Workshops, ICDCSW 2012
|
| DOI
|
http://dx.doi.org/10.1109/ICDCSW.2012.72 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588234
|
| EndPage
|
308 +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
IEEE Press +
|
| Series
|
IEEE International Conference on Distributed Computing Systems Workshops +
|
| StartPage
|
303 +
|
| Title
|
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) +
|
| Year
|
2012 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) +
, Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) +
, Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) +
, Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) +
, Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) +
, Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) +
, Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) +
, Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) +
, Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) +
, Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:44:35 +
|
