Σ K –constraints for Hybrid Systems

Abstract

Abstract. In this paper we introduce and study computational aspects of ΣK-constraints which are powerful enough to represent computable continuous data, but also simple enough to be an approach to approximate constraint solving for a large class of quantified continuous constraints. We illustrate how ΣK -constraints can be used for reasoning about hybrid systems.