Σ_K–constraints for Hybrid Systems

Korovina, Margarita and Kudinov, Oleg (2010) Σ_K–constraints for Hybrid Systems. Lecture Notes in Computer Science, 5947. pp. 230-241. ISSN 0302-9743

PDF lncs5947.pdf Download (232kB)

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.

Item Type:	Article
Additional Information:	CICADA
Subjects:	MSC 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations MSC 2010, the AMS's Mathematics Subject Classification > 68 Computer science
Depositing User:	Dr Margarita Korovina
Date Deposited:	26 May 2010
Last Modified:	20 Oct 2017 14:12
URI:	https://eprints.maths.manchester.ac.uk/id/eprint/1457

Actions (login required)

View Item