Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods-Reference-Cited by-同舟云学术

Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods

Published:2011 Issue: Volume: Page:172-187
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Eggers Andreas,Ramdani Nacim,Nedialkov Nedialko,Fränzle Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-24690-6_13

Reference20 articles.

1. Berz, M.: COSY INFINITY version 8 reference manual. Tech. Rep. MSUCL–1088, National Superconducting Cyclotron Lab., Michigan State University, USA (1997)

2. Davis, M., Logemann, G., Loveland, D.: A Machine Program for Theorem Proving. Commun. ACM 5, 394–397 (1962)

3. Davis, M., Putnam, H.: A Computing Procedure for Quantification Theory. Journal of the ACM 7(3), 201–215 (1960)

4. Lecture Notes in Computer Science;A. Eggers,2008

5. Fränzle, M., Herde, C., Ratschan, S., Schubert, T., Teige, T.: Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure. JSAT Special Issue on Constraint Programming and SAT 1(3-4), 209–236 (2007)

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Networked explicit hybrid predictive control of an industrial benchmark process;Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering;2024-03-21

2. SAT-Reach : A Bounded Model Checker for Affine Hybrid Systems;ACM Transactions on Embedded Computing Systems;2023-01-24

3. Railway Scheduling Using Boolean Satisfiability Modulo Simulations;Formal Methods;2023

4. Reachability Analysis for Cyber-Physical Systems: Are We There Yet?;Lecture Notes in Computer Science;2022

5. Event-B Hybridation;ACM Transactions on Embedded Computing Systems;2021-06