Computes forward or backwards reachable sets
[S, SN] = system.reachableSet('X', X, 'U', U, 'N', N, 'direction', ['forward'|'backwards'])
X |
Polyhedron defining state constraints (optional) Class: polyhedron |
U |
Polyhedron defining input constraints (optional) Class: polyhedron |
direction |
Flag to switch between forward and backwards reachability. Class: char |
N |
Number of steps (defaults to 1). Class: double |
S |
Set of states reachable in ![]() Class: Polyhedron |
SN |
Set of states reachable at each step. Class: cell |
◀ | invariantset | update | ▶ |
© 2003-2013 Michal Kvasnica: STU Bratislava, michal.kvasnica@stuba.sk