Computer-controlled systems (3rd ed.)
Computer-controlled systems (3rd ed.)
Creating computer simulation systems: an introduction to the high level architecture
Creating computer simulation systems: an introduction to the high level architecture
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Dynamic structures in modeling and simulation: a reflective approach
ACM Transactions on Modeling and Computer Simulation (TOMACS)
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
Theory of Modelling and Simulation
Theory of Modelling and Simulation
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Simulating Data Generated by a Network of Track-While-Scan Radars
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Distributed Event-Based Systems
Distributed Event-Based Systems
Distributed Systems: Concepts and Design (4th Edition) (International Computer Science)
Distributed Systems: Concepts and Design (4th Edition) (International Computer Science)
R-Charon, a modeling language for reconfigurable hybrid systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Describing the HLA using the DFSS formalism
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Operational semantics of hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Modeling and simulation of mobile phones using dynamic topologies
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
A compositional approach for modeling and simulation of bio-molecular systems
Proceedings of the Winter Simulation Conference
| Hi-index | 0.02 |
This paper presents the semantics of the Heterogeneous Flow System Specification (HFSS). HFSS is a modular formalism able to describe hierarchical event-based systems with a time-varying structure. While using a traditional representation of discrete event systems it introduces the concept of generalized sampling to achieve a description of continuous signals on digital computers. Sampling is treated as a first order concept being explicitly supported. While push event-based systems can be formalized by discrete event systems, sampling is consider here as a formalization of pull event-based systems. We introduce the new concepts of basic and network HFSS components to describe the semantics of the corresponding HFSS models.