177 search results - page 22 / 36 » Polynomial algebra of discrete models in systems biology |
91
Voted
DEDS
2010
14 years 9 months ago
2010
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...
APN
2005
Springer
15 years 3 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract— This paper deals with realization theory of socalled Nash systems, i.e. nonlinear systems the right-hand side of which is defined by Nash functions. A Nash function is...
73
Voted
CORR
2004
Springer
14 years 9 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
80
Voted
FORMATS
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...