The state space analysis of systems

2011 ◽  
pp. 7-52
Keyword(s):  
State Space ◽  
The State ◽  
Space Analysis ◽  
State Space Analysis

scholarly journals Modular State Space Analysis of Coloured Petri Nets

1997 ◽  
Vol 26 (524) ◽  
Author(s):  
Søren Christensen ◽  
Laure Petrucci
Keyword(s):  
Petri Nets ◽  
State Space ◽  
The State ◽  
Total System ◽  
Entire System ◽  
State Spaces ◽  
Space Analysis ◽  
State Space Analysis ◽  
Full State ◽  
Local Properties

<p>State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce it have been proposed but cannot yet handle industrial size systems.</p><p>Large models often consist of a set of modules. Local properties of each module can be checked separately, before checking the validity of the entire system. We want to avoid the construction of a single state space of the entire system.</p><p>When considering transition sharing, the behaviour of the total system can be capture by the state spaces of modules combined with a Synchronisation Graph. To verify that we do not lose information we show how the full state space can be conctructed.</p><p>We show how it is possible to determine usual Petri Nets properites, without unfolding to the ordinary state space.</p>

On the state-space analysis of linear R-L-C networks with source derivatives†

1971 ◽  
Vol 14 (5) ◽  
pp. 917-927
Author(s):  
M. LAL ◽  
HARPKEET SINGH ◽  
P. C. SHARMA
Keyword(s):  
State Space ◽  
The State ◽  
Space Analysis ◽  
State Space Analysis

Nonlinear dynamics of a gas–solid fluidized bed by the state space analysis

2011 ◽  
Vol 66 (20) ◽  
pp. 4645-4653 ◽  
Author(s):  
M. Karimi ◽  
N. Mostoufi ◽  
R. Zarghami ◽  
R. Sotudeh-Gharebagh
Keyword(s):  
Nonlinear Dynamics ◽  
State Space ◽  
Fluidized Bed ◽  
The State ◽  
Space Analysis ◽  
State Space Analysis

State-space analysis of linear fractional-order systems

2008 ◽  
Vol 42 (6-8) ◽  
pp. 825-838 ◽  
Author(s):  
Saïd Guermah ◽  
Saïd Djennoune ◽  
Maâmar Bettayeb
Keyword(s):  
State Space ◽  
Fractional Order ◽  
Fractional Order Systems ◽  
Space Analysis ◽  
State Space Analysis
Sign in / Sign up

Export Citation Format

Share Document