Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Linear system theory
Numerical methods for ordinary differential systems: the initial value problem
Numerical methods for ordinary differential systems: the initial value problem
Studies in hybrid systems: modeling, analysis, and control
Studies in hybrid systems: modeling, analysis, and control
Heterogeneous Simulation—Mixing Discrete-Event Models with Dataflow
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
Computing with continuous change
Science of Computer Programming - Special issue on concurrent constraint programming
Simultaneous events and lookahead in simulation protocols
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Introduction to Physical Modeling with Modelica
Introduction to Physical Modeling with Modelica
Mastering SIMULINK 4
Modeling concurrent real-time processes using discrete events
Annals of Software Engineering
What's Ahead for Embedded Software?
Computer
Hybrid Systems II
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Requirements Modeling Technology: A Vision for Better, Faster, and Cheaper Systems
VIUF '00 Proceedings of the VHDL International Users Forum Fall Workshop (VIUF'00)
Hierarchical finite state machines with multiple concurrency models
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Actor-oriented models for codesign: balancing re-use and performance
Formal methods and models for system design
Dynamical properties of hybrid systems simulators
Automatica (Journal of IFAC)
Efficient simulation of component-based hybrid models represented as hybrid bond graphs
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
A survey of customization support in agent-based business process simulation tools
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A benchmark diagnostic model generation system
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Ptera: an event-oriented model of computation for heterogeneous systems
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Discrete event multi-level models for systems biology
Transactions on Computational Systems Biology I
A toolbox for simulation of hybrid systems in matlab/simulink: hybrid equations (HyEQ) toolbox
Proceedings of the 16th international conference on Hybrid systems: computation and control
Hi-index | 0.01 |
Systems with both continuous and discrete behaviors can be modeled using a mixed-signal style or a hybrid systems style. This article presents a component-based modeling and simulation framework that supports both modeling styles. The component framework, based on an actor metamodel, takes a hierarchical approach to manage heterogeneity in modeling complex systems. We describe how ordinary differential equations, discrete event systems, and finite-state machines can be built under this metamodel. A mixed-signal system is a hierarchical composition of continuous-time and discrete event models, and a hybrid system is a hierarchical composition of continuous-time and finite-state-machine models. Hierarchical composition and information hiding help build clean models and efficient execution engines. Simulation technologies, in particular, the interaction between a continuous-time ODE solving engine and various discrete simulation engines are discussed. A signal type system is introduced to schedule hybrid components inside a continuous-time environment. Breakpoints are used to control the numerical integration step sizes so that discrete events are handled properly. A "refiring" mechanism and a "rollback" mechanism are designed to manage continuous components inside a discrete event environment. The technologies are implemented in the Ptolemy II software environment. Examples are given to show the applications of this framework in mixed-signal and hybrid systems.