Polyglot Modal Models through Lingua Franca-Reference-Cited by-同舟云学术

Polyglot Modal Models through Lingua Franca

Published:2023-05-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of Cyber-Physical Systems and Internet of Things Week 2023
language:
Short-container-title:

Author:

Schulz-Rosengarten Alexander¹^ORCID,von Hanxleden Reinhard¹^ORCID,Lohstroh Marten²^ORCID,Lee Edward A.²^ORCID,Bateni Soroush³^ORCID

Affiliation:

1. Department of Computer Science, Kiel University, Germany

2. University of California, Berkeley, United States of America

3. University of Texas at Dallas, United States of America

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3576914.3587498

Reference21 articles.

1. Charles André . 2004. Computing SyncCharts Reactions. Electronic Notes in Theoretical Computer Science 88 (Oct . 2004 ), 3–19. Charles André. 2004. Computing SyncCharts Reactions. Electronic Notes in Theoretical Computer Science 88 (Oct. 2004), 3–19.

2. Jean-Louis Colaço , Grégoire Hamon , and Marc Pouzet . 2006 . Mixing Signals and Modes in Synchronous Data-flow Systems. In ACM International Conference on Embedded Software (EMSOFT’06) . ACM, Seoul, South Korea, 73–82. Jean-Louis Colaço, Grégoire Hamon, and Marc Pouzet. 2006. Mixing Signals and Modes in Synchronous Data-flow Systems. In ACM International Conference on Embedded Software (EMSOFT’06). ACM, Seoul, South Korea, 73–82.

3. SCADE 6: A formal language for embedded critical software development (invited paper)

4. Swing-up Control of Inverted Pendulum Using Pseudo-State Feedback

5. An Operational Semantics for Stateflow

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficient Parallel Reinforcement Learning Framework Using the Reactor Model;Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures;2024-06-17

2. Codesign of reactor-oriented hardware and software for cyber-physical systems;ACM Transactions on Reconfigurable Technology and Systems;2024-06-12