摘要：AbstractThis paper focuses on the formal integration of stability and safety of complex systems. We present the initial developments of a holistic modelling framework, which will be flexible enough to allow us to formulate the integration of safety and stability problems and the design of decision and control algorithms for the maintenance of the appropriate levels of safety and stability required by the system specifications.
