Publication | Closed Access
The continual reachability set and its computation using maximal reachability techniques
21
Citations
16
References
2011
Year
Unknown Venue
Computational Complexity TheoryEngineeringMaximal Reachability TechniquesReachability ProblemSurvivable SystemComputational ComplexityFormal VerificationSystems EngineeringEllipsoidal TechniquesDiscrete MathematicsCombinatorial OptimizationMaximal Reachability ConstructsComputer ScienceContinual ReachabilityControllabilityReachability AnalysisMechanical SystemsFormal MethodsComputability Theory
The continual reachability set, the set of initial states of a constrained dynamical system that can reach a target at any desired time, is introduced. The properties of this set are investigated and its connection with maximal reachability constructs is examined. Owing to this connection, efficient and scalable maximal reachability techniques can be used to compute the continual reachability set. An approximation of this set based on ellipsoidal techniques is presented. The results are demonstrated on a problem of control of anesthesia.
| Year | Citations | |
|---|---|---|
Page 1
Page 1