A modular formal semantics for Ptolemy

DOI10.1017/S0960129512000278zbMath1271.68238OpenAlexW2056130726MaRDI QIDQ2843863

Christos Stergiou, Edward A. Lee, Stavros Tripakis, Chris Shaver

Publication date: 26 August 2013

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129512000278

zbMATH Keywords

modellingsimulationcompositionsemanticsPtolemyPtolemy II

Mathematics Subject Classification ID

Related Items (2)

Modeling for Verification ⋮ A semantic model for interacting cyber-physical systems

Uses Software

• Ptolemy

Cites Work

• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• CPO semantics of timed interactive actor networks
• Reconciling statechart semantics
• Statecharts: a visual formalism for complex systems
• A theory of timed automata
• Denotational semantics in the cpo and metric approach
• Mode-automata: A new domain-specific construct for the development of safe critical systems.
• Verifying hierarchical Ptolemy II discrete-event models using real-time maude
• A Notion of Glue Expressiveness for Component-Based Systems
• Analysis of cyclic combinational circuits
• Actors without Directors: A Kahnian View of Heterogeneous Systems
• Reo: a channel-based coordination model for component composition
• Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
• Modeling Timed Concurrent Systems

This page was built for publication: A modular formal semantics for Ptolemy