Ptolemy

swMATH7459MaRDI QIDQ19489FDOQ19489

Author name not available (Why is that?)

Cited In (65)

• Title not available (Why is that?)
• Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
• Title not available (Why is that?)
• Title not available (Why is that?)
• Technical note
• A type-based analysis of causality loops in hybrid systems modelers
• Task level specification and formal verification of robotics control systems: State of the art and case study
• Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata
• Title not available (Why is that?)
• The rewriting logic semantics project: a progress report
• A case study in embedded systems design: An engine control unit
• A methodology for architecture exploration of heterogeneous signal processing systems
• Twenty years of rewriting logic
• A modular formal semantics for Ptolemy
• Actors without Directors: A Kahnian View of Heterogeneous Systems
• OntCheck: an ontology-driven static correctness checking tool for component-based models
• Expressiveness of component-based frameworks: a study of the expressiveness of BIP
• CPO semantics of timed interactive actor networks
• Abstraction of Clocks in Synchronous Data-Flow Systems
• Title not available (Why is that?)
• Extended synchronous dataflow for efficient DSP system prototyping
• DISCOVER: An environment for Web-based interaction and steering of high-performance scientific applications
• Explicit routing schemes for implementation of cellular automata on processor arrays
• The design and application of structured types in Ptolemy II
• Title not available (Why is that?)
• Verifying distributed real-time properties of embedded systems via graph transformations and model checking
• A Platform-independent Component Modeling Language for distributed real-time and embedded systems
• Dispatch sequences for embedded control models
• Logic foundry: Rapid prototyping for FPGA-based DSP systems
• Developing applications for heterogeneous computing environments using simulation: A case study
• Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
• Title not available (Why is that?)
• Temporal analysis of data flow control systems
• Verifying hierarchical Ptolemy II discrete-event models using real-time maude
• Heterogeneous Timed Machines
• Memory-optimized software synthesis from dataflow program graphs with large size data samples
• Modeling for Verification
• Formal Modelling, Analysis and Verification of Hybrid Systems
• A general framework for architecture composability
• Timed CTL Model Checking in Real-Time Maude
• Constructive Collisions
• Compositional design of isochronous systems
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• Title not available (Why is that?)
• Behavioural semantics for asynchronous components
• Title not available (Why is that?)
• A Two-Way Path Between Formal and Informal Design of Embedded Systems
• A modal interface theory for component-based design
• Dynamic networks of heterogeneous timed machines
• A consistent design methodology for wireless embedded systems
• From Simulation Models to Hybrid Automata Using Urgency and Relaxation
• Managing Latency and Buffer Requirements in Processing Graph Chains
• Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study
• Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
• Causal semantics for the algebra of connectors
• Multidimensional exploration of software implementations for DSP algorithms
• A semantic model for interacting cyber-physical systems
• Modelling adaptive systems in ForSyDe
• Reconfigurable computing for digital signal processing: A survey
• DG2VHDL: A tool to facilitate the high level synthesis of parallel processing array architectures
• An algebraic theory for behavioral modeling and protocol synthesis in system design
• A Theory Agenda for Component-Based Design
• Causal Semantics for the Algebra of Connectors
• Compositional modeling and refinement for hierarchical hybrid systems
• Title not available (Why is that?)

This page was built for software: Ptolemy