dc.contributor.author |
Malik, Avinash |
|
dc.contributor.author |
Roop, Partha S |
|
dc.contributor.author |
Andalam, Sidharta |
|
dc.contributor.author |
Trew, Mark |
|
dc.contributor.author |
Mendler, Michael |
|
dc.date.accessioned |
2021-08-17T04:37:11Z |
|
dc.date.available |
2021-08-17T04:37:11Z |
|
dc.date.issued |
2017-10-10 |
|
dc.identifier.issn |
1539-9087 |
|
dc.identifier.uri |
https://hdl.handle.net/2292/56054 |
|
dc.description.abstract |
<jats:p>Hybrid systems combine discrete controllers with adjoining physical processes. While many approaches exist for simulating hybrid systems, there are few approaches for their emulation, especially when the actual physical plant is not available. This paper develops the first formal framework for emulation along with a new compiler that enables large-scale (1000+ components) simulation. We propose a formal model called Synchronous Emulation Automaton (SEA) specifically for modular compilation and parallel execution. SEA combines Linear Time Invariant (LTI) systems with discrete mode switches and has the following semantic differences with Hybrid Automata: ➀ the Ordinary Differential Equations are solved analytically and the solutions are sampled at the Worst-Case Reaction Time of the model and ➁ we develop a new composition semantics, which allows individual SEAs to execute in parallel with each other. The proposed semantics eliminates: ⓐ the need for dynamic numerical solvers, and ⓑ the Zeno-phenomenon by construction. Experimental results show that process models designed using our tool (Piha) give a 3.6 times execution speedup over Simulink®, and upto 26 times speedup on manycore architectures.</jats:p> |
|
dc.language |
en |
|
dc.publisher |
Association for Computing Machinery (ACM) |
|
dc.relation.ispartofseries |
ACM Transactions on Embedded Computing Systems |
|
dc.rights |
Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. |
|
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
|
dc.subject |
Science & Technology |
|
dc.subject |
Technology |
|
dc.subject |
Computer Science, Hardware & Architecture |
|
dc.subject |
Computer Science, Software Engineering |
|
dc.subject |
Computer Science |
|
dc.subject |
Hybrid Automata |
|
dc.subject |
emulation |
|
dc.subject |
code generation |
|
dc.subject |
multi-core |
|
dc.subject |
LANGUAGES |
|
dc.subject |
0803 Computer Software |
|
dc.subject |
0805 Distributed Computing |
|
dc.subject |
1006 Computer Hardware |
|
dc.title |
Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation |
|
dc.type |
Journal Article |
|
dc.identifier.doi |
10.1145/3126536 |
|
pubs.issue |
5s |
|
pubs.begin-page |
1 |
|
pubs.volume |
16 |
|
dc.date.updated |
2021-07-27T03:12:46Z |
|
dc.rights.holder |
Copyright: The author |
en |
pubs.author-url |
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000414353800001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=6e41486220adb198d0efde5a3b153e7d |
|
pubs.end-page |
21 |
|
pubs.publication-status |
Published |
|
dc.rights.accessrights |
http://purl.org/eprint/accessRights/RestrictedAccess |
en |
pubs.subtype |
Article |
|
pubs.subtype |
Journal |
|
pubs.elements-id |
648310 |
|
dc.identifier.eissn |
1558-3465 |
|
pubs.number |
ARTN 118 |
|
pubs.online-publication-date |
2017-9 |
|