Hybrid control systems and comprehensive Grobner bases

A class of hybrid systems that can be modeled by polynomial differential equations is investigated. By a hybrid system we mean a system which mixes continuous and discrete variables. All variables in the system have the same time scale. The polynomial models have the advantage that constructive methods are available for system analysis. One such method that occurs naturally in this context is so called comprehensive Grobner bases.<>