Ptolemy

MaRDI QIDQ19489swMATHFDO

Official website http://ptolemy.eecs.berkeley.edu/

Cited in

(only showing first 100 items - show all)

• A type-based analysis of causality loops in hybrid systems modelers
• A modal interface theory for component-based design
• A consistent design methodology for wireless embedded systems
• Dynamic networks of heterogeneous timed machines
• Task level specification and formal verification of robotics control systems: State of the art and case study
• DyverseRBT
• 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
• Multidimensional exploration of software implementations for DSP algorithms
• Causal semantics for the algebra of connectors
• Constructive collisions
• Timed Rebeca
• A semantic model for interacting cyber-physical systems
• Compositional semantics of dataflow networks with query-driven communication of exact values
• Modelling adaptive systems in ForSyDe
• DG2VHDL: A tool to facilitate the high level synthesis of parallel processing array architectures
• Reconfigurable computing for digital signal processing: A survey
• An algebraic theory for behavioral modeling and protocol synthesis in system design
• Causal Semantics for the Algebra of Connectors
• A Theory Agenda for Component-Based Design
• Compositional modeling and refinement for hierarchical hybrid systems
• scientific article; zbMATH DE number 1390911 (Why is no real title available?)
• The rewriting logic semantics project: a progress report
• scientific article; zbMATH DE number 1629952 (Why is no real title available?)
• Non-convex invariants and urgency conditions on linear hybrid automata
• 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
• OntCheck: an ontology-driven static correctness checking tool for component-based models
• Actors without Directors: A Kahnian View of Heterogeneous Systems
• CPO semantics of timed interactive actor networks
• Expressiveness of component-based frameworks: a study of the expressiveness of BIP
• Heterogeneous timed machines
• Abstraction of Clocks in Synchronous Data-Flow Systems
• scientific article; zbMATH DE number 1408162 (Why is no real title available?)
• scientific article; zbMATH DE number 2112983 (Why is no real title available?)
• Explicit routing schemes for implementation of cellular automata on processor arrays
• Timed CTL model checking in Real-Time Maude
• DISCOVER: An environment for Web-based interaction and steering of high-performance scientific applications
• The design and application of structured types in Ptolemy II
• Extended synchronous dataflow for efficient DSP system prototyping
• Formal modelling, analysis and verification of hybrid systems
• Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
• scientific article; zbMATH DE number 7440178 (Why is no real title available?)
• 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
• Developing applications for heterogeneous computing environments using simulation: A case study
• Logic foundry: Rapid prototyping for FPGA-based DSP systems
• Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
• A two-way path between formal and informal design of embedded systems
• Temporal analysis of data flow control systems
• Verifying hierarchical Ptolemy II discrete-event models using real-time maude
• scientific article; zbMATH DE number 811540 (Why is no real title available?)
• Memory-optimized software synthesis from dataflow program graphs with large size data samples
• Modeling for Verification
• From simulation models to hybrid automata using urgency and relaxation
• scientific article; zbMATH DE number 2079649 (Why is no real title available?)
• A general framework for architecture composability
• Compositional design of isochronous systems
• scientific article; zbMATH DE number 1947711 (Why is no real title available?)
• Technical note
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• D-Finder
• DG2VHDL
• jETI
• VEST
• JavaFAN
• Uppaal2k
• StreamIt
• DISCOVER
• SPADE
• ITP/OCL
• SIGNAL
• KKTDirect
• StateFlow
• Cheddar
• CVXMOD
• Torsche
• DREAM Tool
• Reo
• MOFLON
• OntCheck
• iFEST
• VESTA
• ADVIS
• SystemC
• Giotto
• LUSTRE
• M-nets
• Rebeca
• Dist-Orc
• Quartz
• Kermeta
• MOMENT2
• Carsim
• HyDI
• SDEF

This page was built for software: Ptolemy