Semiquantitative simulation is a novel approach for the analysis of uncertain dynamic systems that performs a comprehensive simulation study based on automated reasoning methods (for example with the SQSIM algorithm). Semiquantitative simulation of complex models is, however, hindered by the limited automated reasoning capabilities of the currently available semiquantitative simulation techniqu...

This chapter is about numerical methods for a particular type of equation expressed as a matrix equality. The Lyapunov equation is the most common problem in the class of problems called matrix equations. Other examples of matrix equations: Sylvester equation, Stein equation, Riccati equation. Definition 4.0.1. Consider two square matrices A, W ∈ Rn×n. The problem to find a square matrix X ∈ Rn...

The neutron density is one of the most important dynamical parameters in a reactor. It is directly related to the control and stability of the reactor power. Any change in applied reactivity and some of dynamical parameters in the reactor causes a change in the neutron density. Lyapunov exponent method is a powerful tool for investigating the range of stability and the transient behavior of the...