Model-based control synthesis of continuous-discrete systems

The design of technical systems can be represented as sequential transfer processes. These so-called phases consist of expressing mental conceptions of a system in models, of transferring models of an implementation in their real shape or in operation as procedural instructions with technical control mechanisms. The models of an implementation can be divided in three components, i.e. in software, communication, and hardware concepts. These concepts are integrated after their actual implementation to the desired product or prototype. Important in this context are also accompanying documentation and quality-assurance measures as well as the gradual, formal comparison of the specification and the models, which are usually called verification. The validation of a product results thereby from the total of all executed verifications. Such a modular framework is referred to as a reference model or architecture for a development environment. We deal only with description means of hybrid systems and design methods, especially synthesis methods. The cooperation between tools is not treated. The paper is organised as follows: section 2 presents a brief introduction of the use of hybrid Petri nets, section 3 gives first an overview of actually existing synthesis methods for hybrid systems. Then a methodology is presented, which avoids the disadvantages of existing methods. Section 4 presents an application of the control synthesis and its results with the help of a simple example