AAAI
2004
13 years 6 months ago
2004
We consider a general model of stochastic discrete event systems with asynchronous events, and propose to develop efficient algorithms for verification and control of such systems...
HYBRID
2004
Springer
13 years 10 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...