You are here: MIMS > EPrints
MIMS EPrints

2010.40: Σ_K–constraints for Hybrid Systems

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

Full text available as:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
227 Kb

DOI: 10.1007/978-3-642-11486-1


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:


Subjects:MSC 2000 > 03 Mathematical logic and foundations
MSC 2000 > 68 Computer science
MIMS number:2010.40
Deposited By:Dr Margarita Korovina
Deposited On:26 May 2010

Download Statistics: last 4 weeks
Repository Staff Only: edit this item