Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods - Concepedia

Concepedia

Publication | Closed Access

Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods

45

Citations

11

References

2012

Year

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

Software & Systems Modeling

Numerical AnalysisDifferent Enclosure MethodsSystems AnalysisEngineeringComputer EngineeringSystems EngineeringModeling And Simulation

References

	Year	Citations

Page 1