Please enable JavaScript.
Coggle requires JavaScript to display documents.
Pendulum Model (Reachability (Tools (dReal, Flow*, Level Set Toolbox, S…
Pendulum Model
Reachability
-
-
-
-
Reachability Problem: All states for which, for all possible control actions, there is a disturbance action which can drive the system state into an unsafe region in time t.
-
Requirements
-
Given the requirement, find the set of possible actions that could violate it.
-