diff --git a/_pages/research/reachability.md b/_pages/research/reachability.md new file mode 100644 index 0000000..615c21d --- /dev/null +++ b/_pages/research/reachability.md @@ -0,0 +1,15 @@ +--- +layout: page +title: reachability +category: research +description: + Reachability is a central theme in our reseach group. + +--- + + +Reachability is an important, broad, and wide-spread tool for the research group. Reachability is fundamentally the idea of exploring all possible states a dynamical system can visit ("reach") under its dynamics and various forms of uncertainty and input. Our approach is largely set-based and specifically using the tools of zonotopes, constrained zonotopes, and hybrid zonotopes. Our approach to security and safety is tightly coupled with the reachability tools we develop. Below we describe a few of our reachability tools and insights and also our application of the tools to SLAM. + + + +{% include category_index.html %}