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.
- {n. d.}. Benchmarks and Compiler. https://[email protected]/anon1980/sea.git. ({n. d.}). last accessed - 20.04.2017.Google Scholar
- 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 Scholar
Digital Library
- Rajeev Alur and David L. Dill. 1994. A theory of timed automata. Theoretical Computer Science 126, 2 (1994), 183--235. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- Nancy Lynch, Roberto Segala, and Frits Vaandrager. 2003. Hybrid I/O automata. Information and Computation 185, 1 (2003), 105--157. Google Scholar
Digital Library
- K. Ogata. 2010. Modern Control Engineering. Boston: Prentice-Hall.Google Scholar
Digital Library
- Claudius Ptolemaeus. 2014. System Design, Modeling, and Simulation: Using Ptolemy II. Ptolemy. org.Google Scholar
- J.-F. Raskin. 2005. Handbook of Networked and Embedded Control Systems. Springer, Chapter An introduction to hybrid automata, 491--517.Google Scholar
- Arch D. Robison. 2012. Parallel Programming with Cilk Plus. In Tutorial at International Supercomputing Conference.Google Scholar
- Matlab Simulink and M. A. Natick. 1993. The mathworks. (1993).Google Scholar
- 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 Scholar
Index Terms
Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation
Recommendations
Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
The aim of this research has been to associate the modeling capacities of hybrid Petri nets with the analysis power of hybrid automata in order to perform formal verification of hybrid dynamic systems. In this paper, we propose an extension of hybrid ...
Fault Diagnosis for Controlled Continuous Systems from a Hybrid Approach: A Case Study
APCASE '15: Proceedings of the 2015 Asia-Pacific Conference on Computer Aided System EngineeringThis paper applies a hybrid approach to design a fault diagnoser for controlled continuous systems under actuator saturation. The discrete system is associated to fault tolerant states, non fault-tolerant states and fault events, and the discrete ...
Fidelity Evaluation based Time Dilation in Hybrid Network Emulation
SIGSIM PADS '15: Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete SimulationHybrid network emulation has emerged as a new way to exploit advantages of both network simulation and emulation. Hybrid network emulation often uses a technology called time dilation to combat performance limitation. In order to implement accurate time ...






Comments