def test_region_of_attraction(self):
x = Variable("x")
sys = SymbolicVectorSystem(state=[x], dynamics=[-x+x**3])
context = sys.CreateDefaultContext()
options = RegionOfAttractionOptions()
options.lyapunov_candidate = x*x
options.state_variables = [x]
V = RegionOfAttraction(system=sys, context=context, options=options)
def test_region_of_attraction(self):
x = Variable("x")
sys = SymbolicVectorSystem(state=[x], dynamics=[-x + x**3])
context = sys.CreateDefaultContext()
options = RegionOfAttractionOptions()
options.lyapunov_candidate = x * x
options.state_variables = [x]
V = RegionOfAttraction(system=sys, context=context, options=options)
self.assertEqual(
repr(options), "".join([
"RegionOfAttractionOptions(", "lyapunov_candidate=pow(x, 2), ",
"state_variables=[Variable('x', Continuous)])"
]))