Abstract:

Dynamic systems with a mix of continuous and discrete components called hybrid systems frequently arise in chemical engineering applications.Information structure of those systems consists of discrete events and continuous variables.Since many of these applications are safety critical，it is important to use reliable methods to simulate hybrid systems.In this paper，a formal design method based on duration calculi to study modeling and design of such systems with integrated qualitative/quantitative performance is proposed.It is shown that duration calculi represents a very powerful tool in the analysis and design of simple hybrid control systems.The duration calculi can be used to capture and define interval temporal logic requirements for hybrid systems，to define qualitative/quantitative behavior and semantics of hybrid control systems.It also offers the formal description of the behavior of hybrid systems，the formal description of optimizing of hybrid systems and formal methods，and the formal description of design steps based on duration calculi.Finally，an example shows that the design method is effective.