172 search results - page 8 / 35 » Controllers for Discrete Event Systems via Morphisms |
DSRT
2005
IEEE
15 years 3 months ago
2005
IEEE
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
HYBRID
1994
Springer
15 years 1 months ago
1994
Springer
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
VALUETOOLS
2006
ACM
15 years 3 months ago
2006
ACM
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...
HYBRID
2005
Springer
15 years 3 months ago
2005
Springer
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic and stochastic events. For such systems, after introducing a suitable hybrid mod...
103
click to vote
HYBRID
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...