skip to main content
research-article

Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation

Published:27 September 2017Publication History
Skip Abstract Section

Abstract

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.

References

  1. {n. d.}. Benchmarks and Compiler. https://[email protected]/anon1980/sea.git. ({n. d.}). last accessed - 20.04.2017.Google ScholarGoogle Scholar
  2. Nathan Allen, Sidharta Andalam, Partha Roop, Avinash Malik, Mark Trew, and Nitish Patel. 2016. Modular code generation for emulating the electrical conduction system of the human heart. In Proceedings of the 2016 Conference on Design, Automation 8 Test in Europe. 648--653. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Rajeev Alur and David L. Dill. 1994. A theory of timed automata. Theoretical Computer Science 126, 2 (1994), 183--235. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, and Oleg Sokolsky. 2003. Generating embedded software from hierarchical hybrid models. ACM SIGPLAN Notices 38, 7 (2003), 171--182. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Rajeev Alur, Aditya Kanade, S. Ramesh, and K. C. Shashidhar. 2008. Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. In Proceedings of the 8th ACM International Conference on Embedded Software. ACM, 89--98. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, and Radu Grosu. 2009. Modeling and simulation of cardiac tissue using hybrid I/O automata. Theoretical Computer Science 410, 33–34 (2009), 3149--3165. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. 2003. The synchronous languages 12 years later. Proc. IEEE 91, 1 (Jan. 2003), 64--83. 0018-9219Google ScholarGoogle ScholarCross RefCross Ref
  8. Guy E. Blelloch, Phillip B. Gibbons, and Yossi Matias. 1999. Provably efficient scheduling for languages with fine-grained parallelism. Journal of the ACM (JACM) 46, 2 (1999), 281--321. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Marian Boldt, Claus Traulsen, and Reinhard von Hanxleden. 2008. Worst Case Reaction Time Analysis of Concurrent Reactive Programs. Electron. Notes Theor. Comput. Sci. 203, 4 (June 2008), 65--79. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Timothy Bourke and Marc Pouzet. 2013. Zélus: a synchronous language with ODEs. In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. ACM, 113--118. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Christopher Brooks, Edward A. Lee, David Lorenzetti, Thierry S. Nouidui, and Michael Wetter. 2015. CyPhySim: A Cyber-physical Systems Simulator. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC’15). ACM, New York, NY, USA, 301--302. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Henrik Carlsson, Bo Svensson, Fredrik Danielsson, and Bengt Lennartson. 2012. Methods for reliable simulation-based PLC code verification. Industrial Informatics, IEEE Transactions on 8, 2 (2012), 267--278.Google ScholarGoogle ScholarCross RefCross Ref
  13. Taolue Chen, Marco Diciolla, Marta Kwiatkowska, and Alexandru Mereacre. 2014. Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Information and Computation 236 (2014), 87--101. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Leonardo Dagum and Ramesh Menon. 1998. OpenMP: an industry standard API for shared-memory programming. IEEE Computational Science and Engineering 5, 1 (1998), 46--55. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Jesung Kim and Insup Lee. 2003. Modular code generation from hybrid automata based on data dependency. In Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. IEEE, 160--168. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Ernesto Kofman and Sergio Junco. 2001. Quantized-state systems: a DEVS Approach for continuous system simulation. Trans of the Society for Modeling and Simulation International 18, 3 (2001), 123--132. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Edward A. Lee. 2008. Cyber Physical Systems: Design Challenges. In Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC’08). IEEE Computer Society, Washington, DC, USA, 363--369. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. John Lygeros, Claire Tomlin, and Shankar Sastry. 1999. Hybrid systems: modeling, analysis and control. Preprint (1999). http://www-inst.cs.berkeley.edu/ ee291e/sp09/handouts/book.pdf.Google ScholarGoogle Scholar
  19. Nancy Lynch, Roberto Segala, and Frits Vaandrager. 2003. Hybrid I/O automata. Information and Computation 185, 1 (2003), 105--157. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. K. Ogata. 2010. Modern Control Engineering. Boston: Prentice-Hall.Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Claudius Ptolemaeus. 2014. System Design, Modeling, and Simulation: Using Ptolemy II. Ptolemy. org.Google ScholarGoogle Scholar
  22. J.-F. Raskin. 2005. Handbook of Networked and Embedded Control Systems. Springer, Chapter An introduction to hybrid automata, 491--517.Google ScholarGoogle Scholar
  23. Arch D. Robison. 2012. Parallel Programming with Cilk Plus. In Tutorial at International Supercomputing Conference.Google ScholarGoogle Scholar
  24. Matlab Simulink and M. A. Natick. 1993. The mathworks. (1993).Google ScholarGoogle Scholar
  25. Fu Zhang, Murali Yeddanapudi, and Pieter J. Mosterman. 2008. Zero-crossing location and detection algorithms for hybrid system simulation. IFAC Proceedings Volumes 41, 2 (2008), 7967--7972.Google ScholarGoogle Scholar

Index Terms

  1. Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!