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
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 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