Model-based development for complex system design has been used to support the increase of systems complexity. SysML is a modeling language that allows a system description with various integrated diagrams, but SysML lacks formality for the requirement verification. Translating SysML-based specification into Petri nets allows to enable rigorous system analysis. However, for complex systems, we ...

In this paper the problem of modelling partial mixing phenomena, mostly relevant in environmental and reactors modelling practice, is considered. The ultimate modelling goal is to find identifiable, finite-dimensional state-space models, which are physically interpretable, realisable and which describe partial mixing. Hence, realization theory will be linked to prior physical systems knowledge ...

Wastewater treatment processes with activated sludge are described in the specialized literature by complex models with nonlinear parameterization, such as for example Activated Sludge Model ASM1, ASM2 or ASM3. Under these conditions, the design of control structures using the state space representation is very difficult. Suitable techniques to approach the control of these processes are using ...

Often the most difficult step in establishing a control system is the development of a suitable dynamic process model. As such a model is not available elsewhere, a first principle dynamic mathematical model was developed for a coal dense medium separation circuit. Each unit operation was modelled individually and then integrated together to form a complete non-linear state–space model for the ...