1357 search results - page 5 / 272 » Compositional analysis for linear systems |
TACAS
1998
Springer
14 years 2 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
IJAOSE
2010
13 years 7 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
CCE
2005
13 years 10 months ago
2005
This paper presents a comprehensive formulation of a linearized state space process model for a generic two-reactant-two-product reactive distillation system. The development of t...
SOCO
2005
Springer
14 years 3 months ago
2005
Springer
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...