27 search results - page 5 / 6 » Modelling Discrete Behaviour in a Continuous-Time Formalism |
MPC
2010
Springer
13 years 10 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
CMSB
2007
Springer
14 years 3 days ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
AGENTS
2001
Springer
13 years 10 months ago
2001
Springer
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
IJCIM
2002
13 years 5 months ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
CORR
2011
Springer
13 years 29 days ago
2011
Springer
This article is set in the eld of regulation networks modeled by discrete dynamical systems. It focuses on Boolean automata networks. In such networks, there are many ways to upd...